 5921 and b equal?
True
Suppose 0 = 10*y - 15*y - 3*h - 47, -5*y - h = 49. Let n be 1/1*-2*(-5)/y. Suppose -5*o = -2*a + 202, -2*o + 6*o + 158 = -2*a. Which is greater: o or n?
n
Suppose 2008 = 5*r - 3*o + o, 0 = 3*r - o - 1204. Suppose -b = -5*g - 405, 4*b + 15*g - 511 = 1074. Are r and b equal?
True
Let n = 1.2 + -0.2. Let k = -29.2708 + 112.5708. Do k and n have the same value?
False
Let n be (15 + (-6875)/100)/((-2)/(-8)). Is n < -1?
True
Let z = -3113 - -3112.945. Let d = -6.8 - -9.8. Is d < z?
False
Let d(v) = 93*v - 75. Let q be d(4). Let x = -298 + q. Is x < 4/121?
True
Let s be 9105/(-40) - (-2 - (-76)/32). Which is smaller: -7 or s?
s
Suppose h + 4 = 24. Let j be 16/20 + 4/h. Suppose -4*r - d = 23, 4*r = -3*d - 14 + j. Do -7 and r have the same value?
True
Let k = -13781/1133 - -400/33. Do -1 and k have different values?
True
Let c = 88.1 + -88. Let r = -281 + 2011/7. Is c < r?
True
Suppose -5*f + 3*s + 48380 = -71268, 2*f + s - 47846 = 0. Is 23927 less than or equal to f?
False
Let l = 1.0915 + -1.2915. Which is smaller: l or 776/13?
l
Let t(v) = -v**2 + 30*v + 43. Let q be t(31). Let n be ((-6)/66*(-2)/q)/(-1). Which is greater: 0.1 or n?
0.1
Suppose 1837 = 24*v + 20502 + 2911. Which is bigger: v or -903?
v
Suppose -2*d + 6*d = 3*o + 10, -3*o = 5*d - 26. Suppose u = 4*z + 7, z = 3*z - o*u + 2. Let k be (z/4)/((-9)/(-108)). Is k != -5?
True
Let v be 11/(-44)*30/5. Which is smaller: 3263 or v?
v
Let v = 11 - 5. Suppose -409 + 224 = 122*s + 642*s - 2477. Which is greater: s or v?
v
Let z(g) = 910*g**2 - 44*g - 1. Let r be z(-1). Is r less than 952?
False
Suppose 660*j = 656*j + 20, -5*c - j + 145 = 0. Is 247 at most c?
False
Suppose 0 = -8*f + 79 - 87. Let p = 3.21 - 3.3. Let o = p + 0.14. Is f greater than o?
False
Let r = 12987 + -6024. Which is greater: 6962 or r?
r
Let p = -24 - -100. Let v = 44 - p. Is v < -32?
False
Let g(m) = 7*m**2 + 3*m - 2. Let q be -4*1/2 + 4. Let f be g(q). Let j = -1 - -32. Is j not equal to f?
True
Let r = -221 - -48. Let n = r + 173. Is n bigger than 6/119?
False
Let l(j) = -j**2 + 6*j - 4. Let z be l(0). Does z = -127/24?
False
Suppose 251 = 4*f - 3*t + 259, 0 = f - 5*t + 19. Is f less than or equal to -2/73?
False
Let z(i) = -i**3 + 10*i**2 - 16*i + 12. Let q be z(5). Let p be (q/76)/(((-6)/19)/2). Which is smaller: -1 or p?
p
Suppose -5504 + 82290 - 892 = -973*j. Let b = -1.1 - -1. Is j bigger than b?
False
Let d = 2.3 + 0.7. Let c = -282 + 211.2. Let a = -71 - c. Is a at least as big as d?
False
Let m(f) = f**2 - 1. Let q be m(-1). Let g be (56/(-12) - -5)/(2/(-42)). Let j be (-45)/(-16 - g) - 1048/210. Which is smaller: j or q?
q
Suppose -4*a - 8 = -24. Let k be (-1)/(1/a*-2). Let u = 22 - 19. Is u bigger than k?
True
Let f be 2/(-3)*(-11 - 22). Suppose -5*h = -5*s + 25, 5*h = 4*h - 3. Let d be (s + 1)/(-6)*1*-46. Are f and d non-equal?
True
Let d be -12 - (-1 + -4 + 4). Let h be -3*1 - 99/d. Let j = 5 + h. Is j at most 13?
True
Let k = 127 - -18. Suppose -11*d = -k - 119. Let w = -62/3 + 20. Which is greater: d or w?
d
Let a(l) = l**3 + 74*l**2 + 134*l - 1186. Let y be a(-72). Which is greater: y or -0.1?
-0.1
Suppose -135*x - 19 = -116*x. Let f be 59/306 - (-12)/(-54). Is x at least as big as f?
False
Let v = -12766 - -12766.02. Which is greater: -49/5 or v?
v
Let v(s) be the first derivative of s**3/3 + 12*s**2 + 77*s + 2. Let j be v(-20). Which is smaller: j or -1/9?
j
Let k be 3 + -3 + 7 - 3. Suppose 0 = 4*f - 2*x - 74, -2*x - x = -k*f + 69. Let u(n) = n + 22. Let i be u(-1). Is i at most f?
True
Let i = -2954915/359 - -8231. Is -1 equal to i?
False
Suppose 0 = f - c + 180 - 181, 2*f + 4 = -4*c. Which is smaller: -16/807 or f?
-16/807
Let k be (576/352)/((-9)/(-66)) - -5373. Which is bigger: k or 1?
k
Let d = 822234/25 + -32884. Which is smaller: d or 4?
4
Let b(r) = -14*r - 14. Let h be b(-4). Let j be 1/(-3 + (-12)/h). Which is greater: 1 or j?
1
Let k be (-469 + 58)*(1841/(-147) + (-1)/7). Which is greater: k or -1?
k
Let q(h) = -3*h - 4. Let g be q(-6). Let j(r) = -5*r**2 - 720*r - 4133. Let b be j(-138). Which is greater: g or b?
g
Let i be 6 + -3 + (-36)/(-9) - 6. Let r = 76 - 61. Which is smaller: i or r?
i
Let u = 14.34 + -0.84. Let s = u - 12.5. Do s and 84 have different values?
True
Let l be (-7 + 16)/(5/(-15)). Let i be l + (-9)/((-27)/(-6)). Which is smaller: -30 or i?
-30
Let d(y) be the third derivative of -37*y**4/24 - 4*y**3/3 - 9*y**2 - 5. Let v be d(6). Is -231 greater than v?
False
Let l(u) = -3*u + 14*u - 3*u - 3 - 4*u. Let z be l(1). Which is smaller: 3/23 or z?
3/23
Let t = -2529 + 2529. Which is smaller: t or -41/47?
-41/47
Let t = 1.9 + -2.1. Let b be 10/15*(-6)/(-4). Suppose 4*x - b - 171 = 2*v, 5*x - 5*v - 225 = 0. Is x smaller than t?
False
Let d = -11584 + 11514. Which is bigger: -756/11 or d?
-756/11
Let j = 5.4124 - 2.1994. Which is smaller: j or 0.1?
0.1
Let q(s) = s**3 - 12*s**2 - 3*s - 3. Let k be q(12). Let t be k/(-1 + 7 + -9). Is -5 >= t?
False
Let x be 1 + 2 + 0 - (18 + 7 + -21). Is x < -3/3671?
True
Suppose -258 = 3*o - 6*o - 2*k, 2*k + 94 = o. Suppose 654 + o = -14*s. Which is bigger: s or -51?
-51
Let t = -2089.2 + 2111.158. Let q = 22.1 - t. Are q and -1/4 equal?
False
Let t be -16 + 8/(-2)*(-170)/136. Let x(n) = -18*n + 173. Let c be x(t). Are 370 and c unequal?
True
Let q = -135867 + 1225141/9. Which is smaller: q or 260?
q
Let q = -2232 - -2183. Which is smaller: -481/10 or q?
q
Let v = 14605 + -14607. Let g be -1 - ((-5)/(-9) - 0). Which is greater: g or v?
g
Suppose 0 = -4*n + 171 - 7. Let j = -26 - n. Let p = j + 67. Is 2/139 >= p?
True
Let o be 51/17 - (1 - (2 + -4)). Is o at least as big as -131/21?
True
Let s = 3829.74 - 2.74. Is s not equal to 0.1?
True
Let f be (-20)/25 - ((-8)/(-5))/(-2). Do -301 and f have the same value?
False
Let d be (-3 - (2 - -2)) + (-1)/1. Let r be (1/(-4))/((-1674)/d). Let w = r + -1655/15903. Is 0 > w?
True
Let u = -1434 - -1952. Which is greater: u or 520?
520
Suppose -5*t - v + 14527 = 0, 4*t + t = v + 14533. Let h = 127855/44 - t. Is -1 > h?
False
Suppose 108 = 4*j + m + 116, -2*j - 18 = 4*m. Which is greater: -30/881 or j?
-30/881
Let c = 658.2 - 658.2381. Which is smaller: c or -2/5?
-2/5
Let q be 60/8 + 2 + 68. Is -1 greater than or equal to q?
False
Let b = 3993438605367614558933/11876085 - 336258843328219. Let a = 1/177255 + b. Let k = a - 1/67. Is k bigger than -1?
True
Let b = 9.47 + -109.47. Is -24 at most as big as b?
False
Let o = 206 + -203. Suppose a + 4*x - 40 = -4*a, -x = -o*a + 41. Which is smaller: a or 14?
a
Suppose -7*z = -19 + 5. Suppose -z*c - 3*c = -16*c. Which is smaller: 1/11 or c?
c
Let a(u) = u**3 - 40*u**2 + 78*u - 77. Let m be a(38). Is m > -7/120?
False
Suppose 7 = -i - 0*i - 4*p, 18 = -5*i - 3*p. Let g be i - -2 - 9/(-7). Let t = 0.77563 - -13.22437. Which is smaller: t or g?
g
Let j(n) = 10*n - 6. Let o be j(3). Suppose -18*p = -o*p - 6. Let q be (1/(-69))/(p/(-3)). Are q and 1 non-equal?
True
Suppose -10477*b - 525 = -10512*b. Are b and 57/7 unequal?
True
Let d be 232/(-10) + 4/10. Suppose -1672 = 275*i + 1734 + 2644. Which is greater: d or i?
i
Let c be 4 + -7 + 8 + 0. Suppose 8*h - c = 7*h. Which is smaller: -0.07 or h?
-0.07
Let b = -1.19 - -33.19. Let d = b + -32.37. Let c = d + -0.63. Which is greater: -18 or c?
c
Suppose 2*z - 5*m + 39 = 0, -z + 2*m - 28 = -9. Let s be 88/110 - 99/5. Is z at least s?
True
Let a be ((-31)/(-15) + -2)*(-9)/(-36). Let h be 0/(((-1)/(-1))/((-4)/(-4))). Which is greater: h or a?
a
Let z be ((-6)/(-15))/(24/(-30560)) + -3. Let p = -507 - z. Suppose u + 20 = 5*u + 3*g, 3*u = -2*g + 15. Is p less than u?
False
Let t = -93/833 - -1644554/833. Let j = -1965 + t. Let c be ((-8)/3)/(-4)*(9 - -6). Is j >= c?
False
Let l = -10/1263 - -8891/1601484. Which is greater: l or -1?
l
Let q be 46/(-345) - (35104/(-285))/8. Is 15 smaller than q?
True
Let x = -10.552 + -241.448. Let i be (4/6)/(15/(-9)). Which is smaller: i or x?
x
Suppose 0*i = 4*i + x - 13, 2*i - 20 = 4*x. Suppose i*k - 24 = 2*b + b, -5*b - 40 = 3*k. Let w be 20/16 + (-6)/b. Are -1/5 and w non-equal?
True
Let o(h) = 5521*h + 38565. Let y be o(-7). Let j be (1/(-3))/(8/1956). Is y not equal to j?
True
Let w be (-646)/153*-4*((201/(-24) - -7) + 4). Let h(d) = -8*d - 4. Let a be h(-6). Which is 