3 + 5*f**2 - 5*f - 3. Let d be j(3). Suppose 2*t + 7 - 1 = d. Is t <= -2?
True
Let j = -55 - -54. Let a be 3 + j/((-3)/3). Which is bigger: a or 14/5?
a
Let b = 1.2 + -5.2. Let f = b + 7. Let j = -2 - f. Which is greater: 0.1 or j?
0.1
Let y(z) = -9*z**2 + 15*z - 15. Let o be y(11). Let k = -23471/25 - o. Let r be 1*3 - (6 - 3). Which is bigger: k or r?
k
Let v be ((-2960)/(-20))/((-2)/1). Is v smaller than -71?
True
Let x = -2.6 - 3.4. Let b = -7 + x. Which is smaller: b or -1/4?
b
Let m = 100 + -95. Which is smaller: -4 or m?
-4
Let h be 1/(-2) + 23/2. Suppose -7*w = -4*w - 15. Suppose w*c = -3*d + 28 + h, -5*c - 13 = -d. Which is smaller: d or 12?
12
Let j(g) = -9*g**3 + g**2. Let b = 11 - 12. Let c be j(b). Suppose 0 = 2*u + 2*s + c, -2*u = -4*u - 3*s - 10. Is u at least -7?
True
Let t be (12370/30)/(-127*47). Let f = -2/381 - t. Are 0.2 and f equal?
False
Let a = 49403/65376 + -114/227. Let b = -1/32 + a. Which is smaller: -7 or b?
-7
Suppose 2*a = 3*m + 11, 71*a = 66*a - 25. Let p(x) = -x**3 - 3*x**2 + 5*x + 6. Let i be p(-4). Let s be 46/(-8) + i/(-8). Is s at most as big as m?
False
Suppose 5*v = 4*v + 4. Let n(k) = k**3 + 10*k**2 - k - 9. Let x be n(-10). Suppose 4*q - 5*o = 8, -v*q = o + 17 - x. Is 2 smaller than q?
False
Let v = -626 + 267301/427. Which is bigger: 1 or v?
1
Suppose -5*q + 34 = -3*q. Suppose 2*j + 0*j = 10. Suppose -7 = -3*k + 5, -3*k = j*f - q. Is 6/11 less than or equal to f?
True
Let c = -9284/21 - -442. Is 1 greater than or equal to c?
True
Let g(h) = 4*h - 3*h - 3*h + 3*h - 5. Let j be g(11). Let s be (2/(-4))/(3/j). Is s bigger than 2/31?
False
Suppose -5*m + 4872 = 7*m. Which is smaller: m or 407?
m
Let g(s) = -3*s**3 + 17*s**2 - 2*s - 1. Let f be g(5). Which is greater: f or 37?
f
Let w(z) = -z**2 - 12*z + 4. Let l be -1 + (-32)/(2 + 2). Let x be w(l). Let c = 63/2 - x. Is -2 at most as big as c?
True
Suppose -i + 9 = 5. Suppose -2*n - c = -6*c + 97, -i*n + 4*c = 176. Is -42 at most as big as n?
True
Let h = -326 - -325. Which is smaller: 8/43 or h?
h
Let t = 0.85 - -13.15. Is t less than -22?
False
Let o = -58 + 51. Let n(r) = 3*r + 21. Let j be n(o). Which is bigger: 1/12 or j?
1/12
Let i(t) = -21*t**3 + 1. Let z be i(-1). Let r be (-2)/(-21) - (-44160)/2016. Is z at least as big as r?
True
Let n = 5 - 8. Let t be 5/((-5)/(-2)) - n. Suppose 4*a = -t*b - 13, -2*a + 3*b + 0 - 1 = 0. Is a at most as big as -4?
False
Let j = 1 + -2. Let i be (-28)/14*(-4)/(-10). Which is bigger: i or j?
i
Let s = -10 - -33. Let d be (1*-168)/(-8) + (4 - (2 + -1)). Do s and d have the same value?
False
Let s be (-2 - 1407/(-30))*(-2)/1. Which is smaller: s or -91?
-91
Let i be 16 + 3 + (-3 - -4). Let m be (8/i)/(12/(-20)). Which is smaller: m or 0?
m
Let i = -1.678 - 0.322. Which is greater: 3 or i?
3
Let s(l) = 2*l - 25. Let j be s(13). Suppose -n = -3*g - 2*g + j, -3*g + 19 = 4*n. Which is greater: n or 30/7?
30/7
Suppose 5*w + 15 = 0, 15*w + 7 = 4*c + 14*w. Which is smaller: 5/9 or c?
5/9
Let s(w) = w**3 + 5*w**2 + 4*w + 4. Suppose -3*p - 7 = 2. Let h be s(p). Let y = h + -10. Which is bigger: -4/3 or y?
y
Let u be 126/4*(-1)/(-3). Let z(x) = -2*x**3 + 96*x**2 - 84*x - 460. Let o be z(47). Do o and u have different values?
True
Suppose 4*a = -5*i - 60, 3*i = i. Let o be ((-354)/a)/(1/80). Let s = 20784/11 - o. Which is greater: s or 0?
s
Let u = -90.9 + 96. Let m = -5.9 + 6. Let i = u - m. Which is greater: i or -1?
i
Let a be (1 + -1 + -1)*0. Suppose -5*j - v - 5 + 6 = a, 2*j + 5*v = -18. Let b be 1 + 1 + 0/1. Is j > b?
False
Let n(w) = -5*w - w + 0 + 1. Let t = 1002 - 1001. Let z be n(t). Is z < -4?
True
Let f = 282 + -268. Is f >= 12?
True
Let u be (6 + -8)/((3/(-4))/3). Let w be ((-3)/5)/(1/(-5)). Suppose -4*n = -w*n - 9. Are u and n equal?
False
Let b be 0 - 4/(-14) - 258/903. Which is greater: b or -2/481?
b
Let q be (10/(-4))/(11/(-44)). Let b(p) = p**3 - 10*p**2 + p - 15. Let l be b(q). Is -10 bigger than l?
False
Suppose -7 = -0*i + 7*i. Let r = -16 + 15. Let q be (r/20)/(8/(-48)). Which is bigger: i or q?
q
Let q(y) = 61*y + 3. Let b be q(-1). Let m = b + 58. Is m at most -1?
False
Let l be 32/(-12) - -1 - -1. Let r be (-8 - -3) + 3 + 2 + -1. Which is greater: r or l?
l
Let s(g) = -g**2 + 4*g. Let p be s(3). Suppose 0 = 8*t + p - 19. Let x = 182/57 + 2/285. Which is bigger: t or x?
x
Suppose 5*x - 9*x = -p - 16, 0 = -5*p + 4*x - 32. Let v = 16 + -23. Which is bigger: p or v?
p
Let k = 7 - 19. Is -2 equal to k?
False
Suppose 4*i = -2*j + 46, -j - 2*i + 6*i = 7. Suppose 5*d - j - 7 = 0. Suppose -d*w - 3 + 15 = 0. Are 3 and w equal?
True
Let l = 0.0565 + -0.0695. Is l equal to -0.06?
False
Let w(r) = -r + 17. Let c be (-130)/(-35) + 2/7. Let s be w(c). Which is smaller: s or 12?
12
Let j = 17/570 + 56209/7410. Is 9 greater than or equal to j?
True
Let o(y) = y**3 - 17*y**2 - y + 22. Let x be o(17). Suppose -x*i = -r + 27 - 6, -5*r = -3*i - 17. Let d be 6/4*(-5)/(-165). Is d at least r?
False
Let j(h) = 44*h - 98*h - 36 + 50*h. Let w be j(-9). Which is greater: w or 4/7?
4/7
Let p(u) be the second derivative of 4*u**3/3 - 15*u**2/2 + 41*u. Let y be p(2). Which is smaller: -66 or y?
-66
Let j be (3135/100)/((-18)/(-4)). Let b = -23/15 - j. Is -8 at least as big as b?
True
Let f = 16.16 + -15. Let v = f - 0.62. Let z = -0.24 + v. Is 3/5 equal to z?
False
Let t = 0.2 - 0.3. Let j = -73.1 - -69. Let o = j + 16.1. Are o and t equal?
False
Let r = -24/869 - -21355/804694. Which is smaller: -1 or r?
-1
Let p(t) = -t**3 + 9*t**2 - 15*t + 9. Let o be p(7). Let r(a) = -16*a**3 + 3*a**2 - a - 1. Let f be r(o). Let u = 1308/11 + f. Are 1 and u non-equal?
True
Suppose 4*r + 38 + 34 = 0. Which is smaller: -53/3 or r?
r
Let k = 36 + -74. Let x = k + 36. Is -15 < x?
True
Let n = 21.72 - 24. Let t = n + 1.78. Which is smaller: 5 or t?
t
Suppose 5*v = -6*v - 726. Let y = 67 + v. Let d = 0 + 0. Which is smaller: d or y?
d
Let b = 9991/198 + -552/11. Is b greater than 1?
False
Let s be (-70)/(((-6)/(-3))/(-2)). Let z = -71 + s. Is 1/15 at least z?
True
Suppose -197*i + 166*i + 62 = 0. Is 187 not equal to i?
True
Suppose -3*z - 3*k = 6, 7*k - 6*k = -2. Let i = z - -1. Let a = -2/145 + 336/3335. Is i bigger than a?
True
Let u be (-2)/(-4) + (-145755)/289542. Which is greater: 0 or u?
0
Suppose 2*m - m - 10 = 5*d, 5*d + 10 = 2*m. Let g be 324/42 - (-4)/14. Let f(l) = l**3 - 7*l**2 - 8*l - 6. Let t be f(g). Which is bigger: m or t?
m
Suppose 3*b - 3 = 2*b. Let f = 202 + -167. Suppose 0 = -16*t - 3 + f. Which is smaller: t or b?
t
Let s = -569.03 - -576. Let u = 0.03 + s. Let c = -0.199 - 0.801. Are c and u unequal?
True
Let n(a) = 15*a**3 + a**2 + a + 1. Suppose 5*r = 4*s - 17, r + 2*s = -2*s + 11. Let m be n(r). Let i be (-7)/m - (-3)/(-14). Is -6 >= i?
False
Let g = 1/19945 - -1978543/19945. Let v = 99 - g. Which is greater: -2 or v?
v
Let t = 1112/6237 - -2/567. Which is bigger: -3 or t?
t
Suppose -5*g - 5 = 2*o - 0, -4*g - 11 = 3*o. Suppose 9*u - 12 = 15*u. Which is greater: u or g?
g
Let w be (-220)/33*42/(-5). Let i be (-26)/w + 60/80. Which is greater: -4/3 or i?
i
Let k(w) = w**3 - 17*w**2 + 37*w + 15. Let j be k(14). Which is greater: j or -281/5?
j
Let k(j) = -6 + 2*j - 1 + 3 + j**2. Let v be k(-3). Let n = 79/308 + -1/154. Does n = v?
False
Let u = 3/361 - -289/8664. Let g = -0.3 + 0.2. Do u and g have the same value?
False
Suppose -i - 4*v = 6 - 18, 0 = v - 1. Which is greater: i or 55/7?
i
Let a be ((-9)/2 + 4)*(7 - 9). Which is smaller: -2/1055 or a?
-2/1055
Let h(i) = 4*i**2 - i + 1. Let p be h(1). Suppose 5 = -31*x + 129. Is x != p?
False
Suppose -3*a + 4*v = -24, 5*a - 19 = a + v. Suppose r - 15 = -0*j + 3*j, -a*j - 20 = -4*r. Is -1/40 less than or equal to r?
True
Let w be (6/8)/(2/(-32)). Suppose 2*c - 2*n + 56 = 4*c, 4*n + 44 = 2*c. Suppose -29*z + c*z = 39. Is z bigger than w?
False
Let g = 353 - 361. Which is smaller: g or 24?
g
Let b(q) = q**2 - 17*q + 28. Let y be b(20). Suppose -h - 4*s + s = -55, -y = -2*h + 5*s. Are 48 and h nonequal?
True
Let w(a) = 2*a**2 - 14*a - 47. Let b be w(14). Is b greater than 149?
False
Let f = -14.2 - 3.6. Let d = f - -18. Is -2/13 greater than d?
False
Let x(g) = 2*g**2 + 2*g + 1. Let k be x(-2). Let z = 22 + 0. Suppose 27*i - 30 = z*i. Which is bigger: i or k?
i
Let l(h) = -h**2 + 