t q = -1 + h. Let u = -113/20 + 379/60. Which is smaller: q or u?
u
Let u = -32.29 + 0.29. Let q = 31.9 + u. Let h = 2.32 + -14.32. Which is smaller: q or h?
h
Suppose 15*x - 16*x + 2 = 0. Suppose -2*m = 3*u + 137, 4*u + 186 = -4*m + 2*m. Let h be ((-21)/u + 10/(-7))*-4. Is x bigger than h?
False
Let g(x) = -x**3 + 2*x**2 - 11*x + 9. Let l be g(4). Let k = -65 - l. Let q be 0 + ((5 - 4)*154)/k. Is 76 >= q?
False
Let c = 16638 + -16587. Which is bigger: c or 65?
65
Suppose -176 = -253*u + 77*u. Which is smaller: 1/1056 or u?
1/1056
Let r = -4375 + 4373. Are r and -56/111 non-equal?
True
Suppose 3*n = 9*n + 486. Let g = -78 - n. Let w be -3 - -3 - (g + -2). Which is bigger: -7 or w?
w
Let p = -349.8 + 519. Let o = -169 + p. Do o and 17 have different values?
True
Let r(c) = 107*c - 1071. Let d be r(10). Let i = 1946 + -21423/11. Is d at most as big as i?
False
Suppose 3*a + 2*a = 0. Suppose 2*n - n = a. Let v be (0 - 1)/((6/(-8)*86)/3). Is n <= v?
True
Let i = -10641 - -9827. Is -814 not equal to i?
False
Let f = 557 - 557.6. Suppose -4*h = -2*h - 12. Which is smaller: h or f?
f
Suppose 5*u - 4*c - 33 = 12, 10 = -u - 3*c. Let b be (u/5 - 2) + (-2)/3. Is b at least as big as 1?
False
Let n be (4/(-6) - -2)/(2/321). Let j be 8 + (-2 - n/26). Which is smaller: -1 or j?
j
Suppose 4*p - 3*p + 19 = -5*u, p - 5*u - 11 = 0. Let a be 9 + (-107919)/8302 - p. Is a greater than 1?
False
Suppose -195 = -4*f + 4*m + 9, 0 = -5*f - 4*m + 282. Is 59 > f?
True
Let j = -3903 - -3903. Which is greater: -90 or j?
j
Let h = -32 - -35. Let q = 24 - 22.7. Let o = h - q. Are o and -2 nonequal?
True
Let g = 35.44 + 0.56. Let v = g + -36.005. Let l = v + -0.995. Are l and -0.025 equal?
False
Let x be (-255)/200*820/2464 + 30/70. Which is greater: x or -1?
x
Suppose -w + 52 = -5*b, 166 - 324 = -5*w + 8*b. Let y be (-2)/(-7) - 865/(-35). Which is bigger: y or w?
y
Let b = 1687 + -1688. Is b greater than or equal to 1/13960?
False
Suppose -h - 9*c = -4*c - 42, 0 = -5*h - 3*c + 232. Is 233/5 greater than or equal to h?
False
Suppose -4*d + 38 = 2*z, 49 = 3*z - 3*d + 5*d. Let q = -12 + z. Let f be 0/(4 + -2) + q. Which is greater: 2 or f?
f
Let d = 3221 - 2698. Which is greater: d or 525?
525
Let r = 65.3 - 65.07. Which is bigger: r or 0.3?
0.3
Let k be (2 + 0 - (-35)/(-4))*12350/(-1425). Suppose -9 = n - 67. Which is smaller: n or k?
n
Let x = 5170.1 - 4895. Let d = -275 + x. Is -59 less than d?
True
Suppose 21*b + 721 = 4291. Suppose -b + 674 = -36*m. Suppose -4*k - 2 = 54. Do k and m have the same value?
True
Let p be (-4 + 29 + -5)*(-1)/1. Let t be (213*p/15)/85. Let c = -35/17 + t. Which is greater: -4 or c?
-4
Suppose 13*s = -q + 9*s - 68, 0 = 2*q + 3*s + 126. Let v be 252/q - (-2)/10. Is v bigger than -48/13?
False
Let m be (-471)/(-3)*-1 + 2. Let b = -1704/11 - m. Let c be 1/(10/(-2))*(-15 - -10). Is b smaller than c?
True
Let f(w) = 3*w - 36. Let l be f(12). Suppose -2*r + 2*g + g + 6 = l, -3*g = 5*r - 57. Suppose -36 = -r*h - 0*h. Do h and -2 have different values?
True
Let o(y) = 126*y + 138. Let x be o(-1). Which is greater: 143/12 or x?
x
Let w = 340 + -292. Suppose -w = 221*o - 223*o. Is o greater than 22?
True
Let b(r) = -r**3 - 34*r**2 - 32*r + 46. Let j be b(-33). Which is bigger: j or 62/5?
j
Suppose -h + 0*n - 34 = 5*n, 0 = -4*n - 20. Let k be 1 - (-3 + 3) - 10. Let j be -2*h/k*2/4. Which is bigger: -1/6 or j?
-1/6
Let o = -21 - -37. Let x(g) = -2*g**3 - 20*g**2 + 22*g + 32. Let i(n) = n**3 + 10*n**2 - 11*n - 16. Let k(l) = 7*i(l) + 4*x(l). Let z be k(-11). Is z >= o?
True
Let r = 1660 - 2208.5. Let o = 543 + r. Does o = 1?
False
Let o(y) = 2*y**2 + 34*y - 57. Let a be o(-20). Let p be (a/45 - 1)/(6/10). Which is smaller: p or -108?
-108
Suppose 24*t - 2156 = 20*t. Let m = t - 2145/4. Which is greater: 3 or m?
3
Let q be 168/(-3528)*(0 + -21). Which is greater: 117.1 or q?
117.1
Suppose i - 40 = -52. Let p be 67/259 - i/(-42). Is 1 bigger than p?
True
Suppose -4*y + 5 = -5*h - 9, h = 2*y + 2. Let q be h/(-8)*(-6)/36. Let w = q - -1/4. Which is smaller: 6 or w?
w
Suppose 0 = -53*t + 72*t - 3040. Let y be (-41 - -46)/((-2)/(-64)). Do y and t have the same value?
True
Suppose 0 = 3719*i - 3685*i - 13294. Is 397 equal to i?
False
Let j = -286 - -726. Suppose -2415*t - 5707 = -2428*t. Is t at most as big as j?
True
Let q = 17/14 - 3/2. Let l = 500 + -619. Which is smaller: q or l?
l
Let i = -107 + 256. Let f = 150 - i. Let r be (-19)/(-15) - (2 - 1). Is r at least f?
False
Let i = 1005 - 600. Let k be -3*(18/i)/((-3)/(-5)). Does k = -0.82?
False
Let k(w) = 2*w**2 - 34*w - 240. Let b be k(30). Is b >= 0?
True
Let d(p) = -2. Let h(f) = f - 17. Let a(l) = -2*d(l) - h(l). Let w be a(22). Is w bigger than -4/23?
False
Suppose -3*c - 705 = 3*f, 5*f - 3*c - 468 = 7*f. Let o = 243 + f. Is o less than 11?
True
Suppose -25*c + 2485 = -20*c. Let a = -509 + c. Does -14 = a?
False
Let z(j) = 2*j + 4. Let x be (-8)/(-56) - (-184)/(-14). Let f be z(x). Let n = -1561/3 - -498. Is f less than n?
False
Let v(q) = 3*q - 4. Let f be v(24). Suppose -4*u = -4*m - f, 0 = 7*u - 8*u + 3. Which is bigger: m or -13?
-13
Let i = -2454 + 2454. Let q be 2/(-5) - (-3)/9. Which is bigger: q or i?
i
Suppose -17*c = -10*c - 14. Suppose -m - 28 = 2*n, 0 = -c*m + 3*n + n - 16. Which is smaller: m or -25?
-25
Let p be ((-1908)/(-106))/(6/(-4)). Which is smaller: p or -54?
-54
Let i = -0.019 - 7.011. Let m = 95.9 + -89. Let a = m + i. Is a at least 0.2?
False
Let k(n) = -n**3 + 4*n**2 + 8*n - 11. Let t(j) = j + 5. Let z be t(1). Let q be k(z). Let f = 47 + q. Which is bigger: 13 or f?
13
Suppose -3 + 4 = y. Let l = y + -1. Let q = -14470/43 - -1273489/3784. Which is greater: l or q?
q
Suppose 4*d - w = -0*d + 37, 0 = -3*d + 3*w + 30. Suppose -5*r = -d*r - 8, 5*r = 5*j. Let n be j/(2/(3 - 14/6)). Which is smaller: 4/5 or n?
n
Let y = 3586 + -3587. Is y != -7/58?
True
Let h(z) = 12*z + 162. Let k be h(-17). Let m be (k + 1)/(12 + 77/(-7)). Do -39 and m have different values?
True
Let p(d) = -d**2 - 8*d - 10. Let u be p(-4). Let y(x) = 0*x**3 - 9*x**3 + 8*x**3. Let r be y(-2). Which is smaller: u or r?
u
Let y = -2028463/89 + 22792. Is y < 0?
False
Let b(s) = 524*s**2 + 6*s - 7. Let v be b(1). Let n = v - 524. Let x = 213281/124 + -1720. Is x bigger than n?
True
Let v = -276.06 - -276.4. Which is greater: v or 0?
v
Let q(m) = -3*m - 5*m + 0*m - m**2 + 34 - 7*m. Let f be q(-17). Let t be (-1 + 2)/(-1)*f. Which is bigger: t or 2?
2
Suppose 69 + 12 = -95*z + 14*z. Which is smaller: z or 548?
z
Let h be (-10)/145 - 25377/(-29). Is 875 at most as big as h?
True
Let f be (-8)/22*(-1)/(-2). Let x be (2/90)/(75/(-4125)). Is f at most as big as x?
False
Let f = 199 - 38. Let a = f - 69. Which is smaller: a or 93?
a
Let n(z) = -z**2 - 9*z + 24. Suppose 0 = -2*a - 6 - 16. Let p be n(a). Suppose 5*l = -r, 0 = p*r - l - 2*l. Is 2/11 < r?
False
Let x be 2/(-12)*(-9)/(-2). Let g be 68/(-119) + (-3)/7. Is g at most x?
True
Let w = 2603 - 2604. Is -9/728 < w?
False
Let b(x) = -3*x**3 - 4*x**2 - 4. Let z be b(-3). Let i = z + -51. Let a be (-65)/25 - (-2)/i*2. Is 0 at least a?
True
Suppose -5*o + 5*y = -40, -37 = -5*o + 2*y - 12. Let m be (o/(-60))/(12/(-32)). Is m > -1/2?
True
Let z = 3874 - 3871. Let g be (8/(-530))/(8/(-20)). Which is smaller: g or z?
g
Let h = -2462.8 + 2461. Let c = 3.46 + 0.34. Let g = c + h. Is 7 greater than or equal to g?
True
Let y = -395.7 - -404. Let k = 0.5 + 7.6. Let a = y - k. Which is bigger: -0.38 or a?
a
Let x = -11167 - -11081. Is x not equal to -84?
True
Let s = 8947 - 8903. Which is smaller: 51 or s?
s
Suppose -2*i + 2*w = 296, -16*i + 287 = -18*i - w. Let c = i + 514. Let q be 2/(-3)*(999/c + -3). Which is smaller: q or 1?
q
Let z = -2 + 2.1. Let l = z - 1.1. Let m = -16481 - -16481.5. Are m and l equal?
False
Let d = -63069/29 - -2175. Is d < 4/5?
True
Let g = -0.25 + -14.75. Let l = -13.824 + -1.346. Let a = g - l. Is a < 0.2?
True
Let x be (-6 - (10 + -14))*2/(-4) - 3. Do x and -100/53 have different values?
True
Let k be -1*1 + 16/14. Let i = -1018 + 467. Let r = 1654/3 + i. Is r bigger than k?
True
Let j = 33.037 - 33. Let r = j - -0.363. Which is greater: r or -36?
r
Let w be (-156)/390*(-10)/124. Is -12/11 less than w?
True
Suppose -4 = -4*o + 12. Let m = 12.5 + -12.3. L