t t = -11.6451 - 0.0549. Which is greater: -1 or t?
-1
Let q be 8/(-44)*165/(-60). Do 1.387 and q have the same value?
False
Let s be (-1)/2*32/(-40). Let m = -15 + 20. Let n(w) = w**3 - 5*w**2 + w - 7. Let q be n(m). Do q and s have the same value?
False
Let h = 1.89 + -0.19. Let g = -4.7 + h. Are g and 2 non-equal?
True
Let p = -2 + 4. Let w(v) = v + 1. Let i be w(p). Suppose -10*y = -i*y - 21. Is 2 smaller than y?
True
Suppose -4*n + 2*j = 806, 0 = 15*n - 17*n - 4*j - 408. Is -203 at most n?
True
Suppose 0 = -6*y + 32*y - 2288. Is y less than 85?
False
Let l be (-1005)/183 - (-12 - -7). Are l and 1 non-equal?
True
Suppose 0 = -w + 2, 3*w = -3*z + 4*z + 3. Let g be -6 - -3*z/36. Which is smaller: -5 or g?
g
Let k(o) = -o - 3. Let p be k(3). Suppose 10*f = f + 54. Let z be (p/9)/(14/f). Which is bigger: -1 or z?
z
Let t = -0.037 - 0.163. Let m = 4.27 - 0.47. Let n = m + -4. Is n at least as big as t?
True
Let h = 0.0332 + -0.2132. Is -15 greater than h?
False
Let g = 151 + -11. Let t be (-2)/(-6)*(-120)/g. Is t at least -2/15?
False
Let o(q) = -3*q + 24. Let l be 4/(-26) - 14*(-34)/52. Let h be o(l). Is -5 greater than or equal to h?
False
Let y = 34.06 + -32.8. Which is bigger: y or 2/7?
y
Let d be (-4 + 32/28)*7/(-2). Suppose 2 = -2*j + 8. Let s(v) = -v**3 + 3*v**2 + 4*v - 1. Let b be s(j). Is d < b?
True
Let h = -58 - -56.07. Let i = 1.9 + h. Which is bigger: 5/3 or i?
5/3
Let r be (-297)/390 + 28/35. Let f = r + 21/130. Suppose 3*p + 42 = -5*g + 4, -3*p - 30 = 3*g. Which is greater: f or p?
f
Let n = -290/3 + 95. Let k be -1 + (-6 - 9/(36/(-16))). Is k >= n?
False
Let j(x) = -x - 2. Let o be j(-3). Let t be (-1376)/(-1584) + 1/(18/4). Is t smaller than o?
False
Let y = 12838 + -192676/15. Does -7 = y?
False
Let q = 610 + -534. Are q and 76 unequal?
False
Let a be 2 + 2/(3/((-18)/3)). Which is bigger: a or 429?
429
Let a = -19 - -20.3. Let s = 101.7 - 108. Let g = s + a. Which is smaller: g or 0?
g
Suppose 3*s + 8 + 10 = 0. Let j be 4/(s/(0 + -3)). Let t = j - 9/4. Is t equal to -5?
False
Let b be ((-2)/4)/((-3)/42). Let f = 20 - b. Let d be 190/(-455) - 2/f. Does 1/2 = d?
False
Let s be 18/4*(-11)/(-198). Which is greater: 57/4 or s?
57/4
Let b = -1.59 + -3.41. Let c = -2 - -2. Which is greater: b or c?
c
Let i = -4879/3040 + 3/608. Is 0.16 greater than i?
True
Let u(n) = -n**3 + n**2 - n + 2. Suppose -6 = -3*z + 6. Suppose -z*y = -y. Let s be u(y). Which is greater: s or -0.09?
s
Let u = 8.06 + -7.06. Is u greater than -2/831?
True
Let n = -34063366/1587 - -21464. Let t = n + 3088/68241. Is -1 less than t?
True
Let a be 1/4 - (-8 + (-42)/24). Let h = 6 - 3. Suppose 2*j + h*j = -a. Which is greater: -1/2 or j?
-1/2
Let c = -31 + 19. Let f be -1 - (c/3 - -3). Let a = f - 1. Does a = -1/14?
False
Suppose -4*w = -2*w + 4. Let u be -8 - -7 - (-2 + 6). Is w > u?
True
Suppose 18*a - 7 = -z + 20*a, z - 15 = 4*a. Let l = 1 + -2. Is z at most as big as l?
True
Let f be (16/(-8))/(129*1). Let v = -133/258 - f. Which is bigger: 41 or v?
41
Let j be 8524/10*(-4)/32. Let a = 261/5 - j. Let y = 158 - a. Is y at most as big as -2?
False
Let k = 942 - 944. Let m be (-34)/8 + 2/8. Is m greater than or equal to k?
False
Let u be 331 + 4*7/(-4). Is u bigger than 326?
False
Let m = 36 - -1. Let a = m - 35. Which is smaller: -8 or a?
-8
Let g = 1092610/369 + -2961. Which is smaller: 1 or g?
g
Let g = -76 + 84. Let f = 1.1 - 1. Is g < f?
False
Let q(a) = 6*a**2 + 6*a - 2. Let x be q(-7). Suppose -5*j - x = 3*k, -2*k - j - 25 = 130. Let r be (-45)/k + 154/(-265). Is 1 less than r?
False
Let n = 9.9 - 10. Let g = -0.9 + n. Let p = -36 - -36. Are p and g unequal?
True
Let l be (-41)/3 - (-188)/282. Suppose 3*a - 3*o + 6*o + 39 = 0, 0 = 4*a + 2*o + 54. Is a smaller than l?
True
Let r be 3 + (0 + -1)/((-1)/(-2)). Let j be (-82)/56 + 3/(-12). Let y = j - -58/35. Do y and r have different values?
True
Let c = -62.6 - -63. Are -1.63 and c equal?
False
Let r be -4*(-5 - 0) - -4. Suppose 4*p = -16, -5*p = 4*u + r - 0. Let k be (-24)/(-7) - u - 3. Is 2 >= k?
True
Let a be 25/5 + -5 - 150/(-48). Is 3 not equal to a?
True
Suppose 0 = 50*d + 130 - 530. Which is bigger: 10 or d?
10
Suppose 228 = 4*y + 4*q, 4*y + 3*q - 108 = 123. Let t be 10*3*8/y. Suppose 4*n = -2*f + t*f, 2*n - 4 = 3*f. Is n at most as big as -2?
False
Suppose -4*j + 13*j = -9. Which is bigger: -4/19 or j?
-4/19
Let t be (-18)/(-24) + (-134)/8. Let w = t - -18. Suppose -w*i = 2*i. Is 7/8 <= i?
False
Suppose -10 = -5*g + 2*n + n, -5*g + 5*n = 0. Suppose 0 = -g*p - 3*w + 19, 6*w + 15 = p + w. Suppose 0 = 9*k - p*k. Are k and 5/4 unequal?
True
Let n = -228/13 + 28526/1625. Does n = 1?
False
Let j = -360/13 - -2390/91. Does 0.11 = j?
False
Let j be (6/(-15))/(3/45). Suppose 3*t + 3*o - 52 = -2*t, -3*t = -2*o - 16. Let x(w) = -w**3 + 7*w**2 + 9*w - 11. Let u be x(t). Is j at most u?
True
Let l = -1003 + 962. Is -32 less than l?
False
Suppose -138*c = i - 140*c - 9, -i = 4*c + 21. Suppose 2*t - 2*o + 42 = 0, 2*t + 4*o + o + 35 = 0. Which is smaller: i or t?
t
Let p = 112 + -125. Let k = -4 + 7. Suppose 0 = 2*x - k*x. Are p and x non-equal?
True
Let z = 11 + -21. Let t be 118/(-6) + z/(-15). Let j = 13 + t. Is -6 less than j?
False
Let d = -4140 + 45380/11. Which is greater: d or -16?
d
Suppose -4*r - 4 = 4. Let f be ((-2 + 2)/3)/r. Suppose f = -0*t + 3*t. Which is smaller: 2 or t?
t
Let q be 1 + -40 + 2 + 2 + -3. Which is smaller: q or -41?
-41
Let u = -118 - -56. Let m = u - -146. Let f be (-75)/m - 3/(-21). Is -2 at most as big as f?
True
Let z = 1873 - 1872. Which is bigger: 337/2 or z?
337/2
Suppose 0 = -4*w - 0*x + x + 133, 0 = 3*w - 5*x - 104. Let s = w - 10. Is 24 less than or equal to s?
False
Let x = -8/5 - -517/320. Suppose 4*h = -5*i + 9 - 15, -2*h + 4 = -i. Is x at most as big as h?
True
Let r = -51778698091/312 - -165957223. Let p = -428/3 - r. Which is bigger: p or 0?
p
Let z = 90 - 42. Let x be ((-2)/5)/((-5)/600). Is z greater than or equal to x?
True
Let p(k) = -k**3 - 8*k**2 + 9*k. Let z be p(-9). Let f = z + 2. Suppose 3*h - f*u - 27 = -3*u, 3*u = h - 19. Which is smaller: 9 or h?
9
Let r be (-16 - 2) + 1 + 2. Let b be (r/12 + 3)*8. Suppose -b - 18 = 4*k. Is -7 equal to k?
False
Suppose 0 = -17*g + 18*g + 36. Which is bigger: -145/4 or g?
g
Suppose -2*u - 67 = 5*h, h - 5*h - u = 53. Let b = h + 12. Which is bigger: 2/75 or b?
2/75
Let l be 93/4*(-5)/3. Let z = 39 + l. Which is smaller: -2/43 or z?
-2/43
Let d = -32 - -27. Let h(r) = -r**2 - 2*r + 16. Let a be h(d). Do a and 4 have different values?
True
Let b = -263/14 + 19. Let c = 0 - 3. Let m be (-1)/c - (-6)/9. Are b and m non-equal?
True
Let z(f) = -6 - f - 6 - 4 + 2. Let b be z(-6). Which is greater: b or -12?
b
Let w be 1*(2 + 11824/11). Let y = w - 1076. Let n = y + -91/88. Which is bigger: -1 or n?
n
Let b = 2.07 + -4.07. Are -3/16 and b equal?
False
Let p = 1412 + -1413. Do p and -2/1169 have the same value?
False
Let m = 677 + -444. Is -1 greater than m?
False
Suppose -7*i + 64 + 62 = 0. Which is bigger: i or 4?
i
Let t be -9 + 6 + -2 + 7 + -2. Is -1/473 less than t?
True
Let m = 6 + -9. Let b be m*2*(-2 - -3). Let h be 20/(-30) - 10/b. Is h at least 0?
True
Suppose 30*w - 23*w + 7 = 0. Do w and -16/39 have the same value?
False
Let k(w) = w**3 - 9*w**2 + 13*w + 6. Let h be 42/15*5/2. Let o be k(h). Is o > 11?
False
Let a = 2.4 + 2.3. Let k = 0.1 - 5.1. Let s = k + a. Which is smaller: -1 or s?
-1
Let l be ((-81)/(-36))/((-3)/56). Let b = l - -40. Is b > -2?
False
Suppose -4*i = -2*k - 0*k - 6, -2*i + 6 = -2*k. Let p be -2 + ((-2)/(-2) - 0). Which is bigger: p or i?
i
Suppose -s + 82 = s + 3*h, -155 = -5*s + 5*h. Does s = -0.4?
False
Let k = -0.8 - 0.2. Let i = -51 - -50.94. Let n = 0.02 + i. Is n equal to k?
False
Let g = -498 + 532. Which is greater: 27 or g?
g
Let v = 1.58 - -0.29. Let w = v + -2.5. Let q = -0.5 - w. Is 0 smaller than q?
True
Let b = -3.05 - -4.05. Let v = 2.1 - 12.1. Let k = v + 25. Which is bigger: k or b?
k
Let r = 227 + -147. Are r and 5 unequal?
True
Suppose 4*y + 32 = -3*f, 7*f = 11*f + 3*y + 31. Is 4 < f?
False
Let g = -8/39 - -89/624. Which is greater: 0 or g?
0
Let d = -24.91 - 2.29. Let c = -32 - d. Let s = c - -5. Which is smaller: -3 or s?
-3
Let z = -18 - -9. Let f = -0.05 - 0.15. Is z <= f?
True