 j. Let i(c) = -3*c**2 + 3*c - 2. Let m be i(2). Is b > m?
False
Let n be 176/30 - -4*1/30. Suppose -7*x - 71 = n. Is -15 greater than x?
False
Let b(u) = u**3 - 8*u**2 - u - 10. Let i be b(7). Let o = 67 + i. Does -1/56 = o?
False
Let p be (1626/63)/((-2)/(-6)). Let c = -2528/35 + p. Which is bigger: 4 or c?
c
Let z be 0*(1 + 3/(-2)). Suppose -3*m = -z*m - 3. Let t be 0 - (m + 3)/2. Which is greater: t or 0?
0
Let i = -0.047 + 14.047. Let w = -14.1 + i. Which is smaller: 0.38 or w?
w
Let n be ((-22)/8 - -1)*16/(-10024). Is 0 smaller than n?
True
Let b(y) = 9*y - 1. Let i be b(7). Let l be (-13)/65 + i/410. Let k = l + -27/287. Is k bigger than 1?
False
Suppose -2*v + 5 = -19. Let f = v - 9. Suppose 2*m + m + f = 0. Which is greater: m or -2?
m
Let i be (54/14 - 2) + -3. Is i > 0?
False
Let z be (-6)/(-9) - (-32)/480. Which is smaller: 2 or z?
z
Let q(g) = -47*g - 6. Let x be q(-3). Let r be 1/5 + (-42)/x. Is -1 > r?
False
Let u(j) = -j**3 + 6*j**2 - 7*j + 6. Let l be u(5). Let g = 12 + l. Let t be (2/g)/(63/72). Do t and 1/5 have the same value?
False
Let d = 2 + 1. Suppose 8 = -4*i + 108. Suppose 2*t = 5*u - 11, t + 5*u = -4*t + i. Which is greater: t or d?
d
Let v(p) = p**2 - 24*p - 24. Let y be v(-14). Is 507 equal to y?
False
Let j be 78/(-5) - 5/(100/8). Let s = j - -15. Let k be ((-6)/28)/(1/2). Is k greater than s?
True
Let h = 24 + -15.5. Let w = h + -8. Let u = -19/7 - -69/28. Which is greater: u or w?
w
Let j(c) = 22*c**3 + 3*c**2 - c - 3. Let o be j(3). Let r = -4317/7 + o. Is r != -3?
True
Let g = 1 - 1. Let d = g - 0.1. Let p be ((280/(-25))/(-7))/(6*(-14)/(-60)). Is d less than or equal to p?
True
Let s(i) = i**3 + 10*i**2 - 10*i. Let y be s(3). Is y greater than 90?
False
Let n = -17949/4 - -4460. Which is smaller: -28 or n?
-28
Let g = 3 - 5. Let t = 4 + 15. Let r = -22 + t. Which is greater: g or r?
g
Let t(y) = -2*y - 5. Let a be t(-3). Let p be -13 + 1 + (a - 1). Suppose d + 20 = -2*k - d, 0 = 3*k - d + 34. Which is bigger: k or p?
k
Let o be 3133370/78064 + 2 + 3. Let k = 6095/136 - o. Let s = k - -3/82. Does s = 1?
False
Suppose -2*i + 21 = w - i, 2*w = 3*i + 17. Suppose -3*d = 25 - w. Is d bigger than -4?
True
Let t(i) = i**3 + 3*i**2 + 12. Let g be t(-4). Let u be (-3)/g + 112/(-64). Which is smaller: 21 or u?
u
Let a = -121 - -177. Suppose r - 3*g - 28 = a, 0 = -3*r + 4*g + 237. Let o be (-65)/r - 1/(-5). Is -2/7 >= o?
True
Suppose 0 = -4*z + 5*v + 104, -z + 175 = 4*z + 5*v. Is z <= -0.3?
False
Let j be ((-92)/(-69))/((-2)/(-3)). Suppose -8*t = -12*t + 56. Let z = -16 + t. Is z at least as big as j?
False
Let r = 0.142 + 0.058. Is r < -83?
False
Let j = -3/1393 + 811/6965. Suppose -5*b + 9 = -14*b. Which is smaller: j or b?
b
Let g(c) = -2*c - 6. Let x be 3 + (-8)/4 + -7. Let q be g(x). Suppose q = o + 2*o. Which is smaller: 1 or o?
1
Let b(v) = -2*v**3 + 3*v**2 + 3*v - 2. Let a be b(-1). Let o(y) = -y - 1. Let l be o(2). Which is greater: l or a?
a
Let r be (-11 - -12)/((-1)/(-9)). Suppose -r = 5*t - 4, t + 1 = -5*l. Let i be 10/6*16/(-100). Which is greater: l or i?
l
Let k = 105/46 - 228283/100050. Which is smaller: k or 0?
0
Suppose -5*x + 2874 = 549. Which is smaller: x or 466?
x
Let k be 15/78*4/(-5). Let t(q) = q**2 - 3*q + 2. Let b be t(2). Let o be (2 + -4 + b)/(-2). Which is smaller: o or k?
k
Suppose -5*t + 5*r + 25 = 0, r = 3*t - 3 - 16. Suppose 0 = 3*q + t + 14. Let c be (-4)/6 - q/9. Is c < 1?
True
Suppose 0 = 55*z - 17*z + 152. Does z = -23/5?
False
Let h = 76.9 + -7.9. Let x = h - 63. Suppose -5*g = -2*g. Is g greater than x?
False
Let m(c) = -2*c**2 - 3*c - 3. Let p(z) = -z**2 + 13*z - 1. Let d be p(13). Let k be m(d). Which is bigger: 2 or k?
2
Let q be (-8)/140*-10 + 2928/(-4977). Is q equal to 1?
False
Let k = -50 - -43. Which is greater: -26 or k?
k
Let m = -165 + 165. Which is bigger: m or 6.03?
6.03
Suppose -101*c - 15 + 116 = 0. Which is bigger: 12/197 or c?
c
Let i = -0.67 - -0.45. Let a = i + 0. Which is smaller: 1 or a?
a
Suppose 3*o = 11*o + 1368. Which is smaller: o or -175?
-175
Let k = -27727/10 - -5473/2. Is -35 <= k?
False
Let a(i) = -32*i**2 + 60*i + 62. Let t be a(-1). Which is smaller: t or -18?
t
Let z be (4/(-3)*-1)/(4/18). Suppose -y - b + 1 = z, -5*b - 25 = -5*y. Is 15/16 at most y?
False
Let m(o) = -o - 24. Let t(i) = -i + 1. Let u be t(20). Let y be m(u). Do y and -4 have the same value?
False
Let n = 0.2 - 0. Let q = 115 - 93. Let i = 32 - q. Is i less than n?
False
Suppose 12*g - 10*g - 2*r + 30 = 0, -5*r = g + 21. Is g greater than -8?
False
Let h = 23445 + -23444. Let m = -1451/594 + 57/22. Which is greater: m or h?
h
Let l = 50 - 67. Let u = 49 + -30. Let i = l + u. Which is greater: i or 2/15?
i
Let q = -23 + 25. Let i = -23 + 14. Let v = i - -8.9. Which is greater: v or q?
q
Let x = 13 + -21. Let v(m) = 3*m + 7. Let l be v(x). Let w = 17 + l. Is 13 less than w?
False
Let y be 26208/(-1386) - 2/22. Which is smaller: y or -18?
y
Let x be 0 - (0 - 3/(-12)). Let h = -153 - -193. Is x at most as big as h?
True
Let c be (8/(-456))/(100/45528) + 8. Is c at most as big as -1?
False
Suppose 0 = 2*u - 8, 3*d + 2*u - 4 = u. Suppose 0 = 3*i, -p + d*p = -2*i + 3. Is p > -4?
True
Let b(j) = -11*j + 15. Let d be b(2). Let m be ((-2)/7)/(-4*d/(-126)). Is 1 <= m?
True
Suppose -4*g - 12 = 21*m - 25*m, 2*m - 10 = 3*g. Which is bigger: -16.4 or g?
g
Suppose 0 = 3*i - 275 + 1703. Which is greater: -475 or i?
-475
Suppose h = -4*l - 24, -25 = 3*h - l + 21. Let q be -5*1*h/10. Let j be (-41 + 35)/((-2)/3). Which is smaller: j or q?
q
Let n(x) be the first derivative of -7*x**4/4 - x**2 + x - 1. Let s be n(1). Let u(v) = v**2 - 44*v + 35. Let f be u(43). Is s smaller than f?
False
Suppose 2*r = b + 6 + 53, -4*b - 224 = -2*r. Let w = b + 28. Is w bigger than -25?
False
Suppose 21 = 5*s + 4*j, j + 10 = s + 4. Suppose d + 2*d = -5*a + s, -3*d = -5*a + 5. Let c = 2 - 5. Which is bigger: c or d?
d
Let d = 0.065 - -0.035. Let i = -3 - 0.6. Which is smaller: i or d?
i
Suppose -14*o + 1050 = -8*o. Suppose 15*f - 20*f = o. Do f and -35 have the same value?
True
Suppose -4*y + 94 = 38. Let g be 1416/(-84) - 2/y. Does -15 = g?
False
Let k be (-1 - (1 - 2))*-1. Let h(j) = 4*j - 4. Let g be h(2). Let r(o) = -o**3 + 4*o**2 + o - 5. Let w be r(g). Are k and w non-equal?
True
Let o = -436 + 66706/153. Let s = 3 + -3. Which is smaller: o or s?
o
Let u(q) = q - 2. Let i be u(18). Suppose -4*c + 1 + 19 = -2*l, -2*l + i = 5*c. Which is bigger: l or -22/9?
l
Let z be ((-1)/2)/(1/(-8)). Suppose 7*o = z*o + 6. Which is smaller: -3 or o?
-3
Let n be -21 + (10/(-5) - (-5)/1). Let y be 32/n - (2 - 4). Which is bigger: y or -3/2?
y
Suppose -2*n + 5*n = -6, 24 = -2*z - n. Let q be ((-65)/5 - -1) + 0. Is q > z?
False
Suppose 12 = -3*s - s - 2*i, -4*i = 3*s - 1. Is s at least -66/13?
True
Let y = -7.4 + 1.4. Let z = -5 + y. Let i = -19 - z. Which is greater: 0 or i?
0
Let w = 303/26 - 132/13. Let k = 0 - -3. Is k equal to w?
False
Suppose -568 = -5*h + 3*t, -4*h + 387 = 4*t - 61. Suppose -h = -5*p - 23. Suppose -5*d + q + 22 = 0, -5*d + 2*d + 3*q + p = 0. Is 4 at least as big as d?
True
Suppose 146 - 29 = -3*h. Let j = h - -37. Which is smaller: -5/6 or j?
j
Let d(u) = u**2 - 41*u + 80. Let q be d(39). Are 149 and q equal?
False
Let l = 359 - 328. Which is greater: 30 or l?
l
Let w(c) = -c**3 + 7*c**2 + 10*c - 2. Let k be w(8). Let d be (-5034)/208 - (-7)/k. Let u = d - -300/13. Which is greater: -1 or u?
u
Let c = -113/2 - -1913/34. Let t(u) = -u - 12. Let i be t(-12). Is c smaller than i?
True
Suppose -12 = -2*d + d. Let t be (-14)/(-7) + 1*(5 + 6). Which is smaller: d or t?
d
Let s = 654.9 - 655. Are s and 38 equal?
False
Let q = 4444 + -3142. Which is smaller: 1303 or q?
q
Let b(r) = -4*r - 11. Let s(c) = -7*c - 21. Let g(d) = 5*b(d) - 3*s(d). Let h be g(-9). Suppose -k = 3*k + 16. Is k at least as big as h?
False
Suppose 14*g + 6 = 8*g. Suppose 2*y = 4*f + 2, 0 = 2*y + 2*f - 3*f - 5. Suppose -5*o - 3*c + 10 = 0, 4*o - c - y = -12. Is o greater than or equal to g?
True
Suppose 0 = 5*j - 37 + 62. Let r(k) = k**3 + 5*k**2 + 4*k - 9. Let c be r(j). Which is smaller: -27 or c?
c
Let j = -5 - 7. Suppose -2*a = -6*a + 12. Suppose -30 = a*g + 3*n, -3*g - 2*n - 2*n - 28 = 0. Is j not equal to g?
False
Let t be -1*85830/365