be x/(175/40)*(6 + -1). Let z(a) = -a**3 - 7*a**2 + 7*a - 16. Let r be z(w). Which is smaller: r or -6?
r
Let z = -44 + 249. Let k = 244 - z. Which is smaller: 41 or k?
k
Let v = -4016 + 4019. Is v bigger than -47/9?
True
Let h = 14 - 14. Let j be -12*2/(-4)*5/6. Let p be 332/5280*-3 - (-1)/j. Is h >= p?
False
Suppose 73*n + 2173 = 114*n. Which is bigger: -54 or n?
n
Let w = 321.5 + 68.5. Let a = w + -413. Which is bigger: a or -4?
-4
Let k(o) = 55*o**2 + 588*o + 13. Let a be k(-13). Do 1664 and a have the same value?
True
Let b be ((-198)/(-15))/(2/(-150)). Let z be (2/3)/(44/b). Let f = 18 - 36. Is f less than or equal to z?
True
Let j = 10395 + -17604. Which is smaller: 0 or j?
j
Let n(y) = y**3 - 52*y - 7. Let o be n(-7). Let z be (161/o - 7)/(1/(-4)). Are -14 and z non-equal?
True
Let p be -3 + (14 - 4*(-1 + 0)). Suppose 5*g = 3*j - 25, 4*j - p = -18*g + 21*g. Which is greater: 0.53 or j?
0.53
Suppose 13*v - 15 = 8*v. Let u(y) = -y**2 + 4. Let s be (-4)/14 - 10/(-35). Let w be u(s). Is v <= w?
True
Let f = -3 - 1. Let s = f - -4.7. Which is smaller: 6/5 or s?
s
Let l(v) = 3086*v + 141957. Let t be l(-46). Let z be 2/(-4) + (-1087)/(-2166). Do t and z have the same value?
False
Suppose 0 = -4*i - 118 + 22. Let w be 15/60 - 3/(i/(-418)). Let t be (w/65)/(2/(-5)). Which is smaller: -11 or t?
-11
Suppose -13 = 8*q + 19. Let s be (-1)/(-22)*q + 172/(-22). Let o be (-6)/4*7*s/(-12). Do 0 and o have different values?
True
Let f = -6347 + 6342. Is -0.0574 > f?
True
Suppose 0 = -g - 1 - 2, 3*j - j + 2*g = -44. Suppose -2*v + 4*v + 50 = 0. Which is smaller: v or j?
v
Suppose 0 = 104*d - 106*d + 158. Let a be 7/(-8)*(d + 13). Is -82 at most a?
True
Suppose 3*t - 328 = 3*j - 55, -t + 76 = 2*j. Let d = t + -79. Which is bigger: 2 or d?
d
Suppose 172 = -6*p - 1166. Let q = p - -258. Which is greater: 33 or q?
q
Let l = -4.0334 - -0.0334. Let p = 0.01 - -0.99. Are l and p non-equal?
True
Let b(j) = -109*j**2 + 108*j**2 + 3*j + 14 + 7. Let l be b(0). Let z be (-6)/l + 2/7. Which is greater: -19 or z?
z
Let n be ((-84)/10)/1*(-314)/6. Is 439 < n?
True
Let a = -34 + 275/8. Suppose -10*z + 17 + 23 = 0. Suppose -4*i = z, -5*i + 0*i - 3 = 2*c. Which is smaller: a or c?
a
Suppose 5*o + 142 = 7*o. Suppose 11*r = 25*r - 1008. Which is smaller: o or r?
o
Let f(j) = j**2 - 67*j - 1889. Let m be f(-40). Which is smaller: m or 2388?
2388
Suppose -10*t = -3*t - 10*t - 2190. Which is smaller: t or -733?
-733
Let x = 210.8 - 205.8. Is 210 > x?
True
Suppose 7*u + 319*y - 48 = 324*y, -4*y = 4*u + 48. Let r = 7 + -17. Are u and r non-equal?
True
Let n be 2 + 2 + 7*-4. Let v = n + 22. Let c = 24 + -14. Is v greater than or equal to c?
False
Let l = 555 + -791. Let v = l + 225. Is v at most -14?
False
Suppose 55 = 5*p - 25. Suppose -o + 0*o - 4*v = 2, 2*o - p = 2*v. Let y(h) = -2*h**2 - 5*h + 1. Let b be y(-2). Is b less than o?
True
Let r be -9*(-2 - (-654)/18). Let j = r + 15. Is j at least as big as -295?
True
Let u = -3 - -6.6. Let p = u + -3.596. Let g = p + -0.034. Is g at least -0.7?
True
Let s = 2892546145/3849263 + 3/349933. Which is bigger: 752 or s?
752
Suppose -8*w + 22 = -30*w. Let s be w*0/(2 + -3) - -63. Is 63 at least as big as s?
True
Let l = -208929 - -208930.84. Let s = -0.2 + 0.1. Is l equal to s?
False
Suppose -14*z - 5*z = 190. Let o be z/(-28)*56/70. Let h be 0 + 1 + 6/(-10). Which is greater: o or h?
h
Suppose 3*r = -0*r + 5*z + 10, 3*r + 3*z + 6 = 0. Suppose -85*g + 80*g + 5 = r. Which is smaller: -0.2 or g?
-0.2
Suppose 48 = -3*s + 45. Which is greater: 733 or s?
733
Let j be (0 - (-10)/(-4)) + (-969)/342. Which is smaller: 2/79 or j?
j
Suppose 2*x - 6*x = -1312. Suppose -16*k + x = -14*k. Does 164 = k?
True
Let a = 8.5 - 8.5. Let s = 96 + -176. Let u = 80.18 + s. Is u less than a?
False
Let m = 40 - 35. Suppose 37 = m*z + 72. Let a = -2 - 7. Do a and z have the same value?
False
Let v = -97 - -97.631. Is -0.3 at most as big as v?
True
Let i = -1.0323 + 1.1553. Is 103 at least as big as i?
True
Let k = -8 + 6. Let q = 1 + k. Let f = -123799 + 123799. Is q less than f?
True
Let h(r) = r**3 - 50*r**2 - 58*r + 292. Let o be h(51). Is o equal to -589/9?
False
Let j be 2/12*(-5 + 1). Let i be (-816)/(-17)*2/2. Suppose 2*z - 3*r = -39, -5 = -4*z - r - i. Which is smaller: j or z?
z
Let t(w) = -3*w**2 + 9*w + 49. Let i(b) = -b**2 + 5*b + 25. Let o(u) = 5*i(u) - 2*t(u). Let m be o(-7). Which is smaller: 2 or m?
2
Let v be (9/((-9)/(-10)))/((-4)/(-2)). Suppose -9*o = -v*o - 16. Are 39/10 and o equal?
False
Let j be 25377/3625 - ((-44)/(-6) - (-8)/(-24)). Is j greater than 1?
False
Let l = -314 + 310.42. Let t = -0.42 + l. Which is bigger: 27 or t?
27
Let o(y) = 17*y - 18. Let f(g) = 2*g + 1. Let m(s) = -3*f(s) + o(s). Let x be m(3). Which is greater: x or 4?
x
Let a = 92/11 + -357/44. Is a >= -0.46?
True
Suppose -4*z + 2 = i, -2*z = -2*i - 2 + 6. Let o be (-3)/(-12)*164/i. Is o greater than 21?
False
Let l = -1/111 + -181/444. Which is greater: l or -1?
l
Let o be ((-4)/16)/(2 - ((-32476)/16 - 2)). Is -1 at most o?
True
Let f(z) = -49*z**3 + 1. Let n be f(1). Let w be (-412)/590 - n/60. Is w <= 0?
False
Let o = 7.73 + -7.725. Let t = o - -0.095. Which is bigger: t or -636?
t
Let c = 27.68 + -28.68. Which is bigger: 0.6482 or c?
0.6482
Let g = 1242358/47 - 26434. Is g < 0?
True
Suppose -2*o + 9070 = -y, -18140 = -4*o - 11*y + 14*y. Is 4535 >= o?
True
Let o = 75 + -74.973. Let p = -0.057 + o. Let n = p + 30.03. Which is smaller: 0 or n?
0
Let w = -2681 - -2679. Is w less than -0.2?
True
Let f be (16*8/(-108480))/(14/(-5) + 2). Are 0 and f nonequal?
True
Let v = -448381/28 + 16017. Is 3 bigger than v?
False
Suppose -13*h + 41*h - 24*h - 396 = 0. Is h greater than 14?
True
Let k(h) = 15*h + 21. Let s be k(-9). Let w = -113 - s. Which is greater: -1/6 or w?
w
Suppose 4*s - 22 = -5*l, 0 = -3*l - 5*s + 3*s + 12. Is l less than or equal to 732?
True
Let g = 14236 + -6348. Which is smaller: 0 or g?
0
Let s = -1818 - -1817. Are s and 42/239 non-equal?
True
Let g = -5217091/12920 - -2019/5. Is 1 greater than or equal to g?
True
Suppose 11*c + 7369 - 142 = 0. Is c != -657?
False
Let d be 84/35*(160/(-15) - -4). Is d equal to -11?
False
Let x = 1.94951 - -0.05049. Let y = 3811/14 - 272. Which is smaller: x or y?
y
Let v be 90/12*(-224)/(-21). Suppose -2*n = -3*q - v + 9, -4*q + 120 = 5*n. Which is smaller: 320/11 or n?
n
Let h(g) = -27*g + 213. Let f be h(8). Let x be (-5)/(1*1/f). Is x equal to 111/8?
False
Suppose -d - m - 287 + 0 = 0, 0 = -2*d - 5*m - 571. Let c = 287 + d. Is c != -12/17?
True
Let j = 37 + -32. Let p = 4.365 - 4.4. Let g = p - -0.035. Is g bigger than j?
False
Let o = -29629 - -80027932/2701. Do o and -1 have different values?
True
Let j = 10.4 + -13. Let w = -1.23 - -77.23. Let d = w + -75. Which is smaller: d or j?
j
Suppose 0 = 18*o - 11*o - 602. Let f = 94 - o. Do f and 12 have the same value?
False
Let s = -606 + 687.8. Let z = s - 2.8. Do 2 and z have the same value?
False
Let p be 0/(3 - 1) + 24 + -20. Suppose -72 = -p*s + 24. Suppose 4*r + 12 - s = 0. Is r greater than or equal to 5/3?
True
Let w(j) = 5*j + 6*j**2 + 0*j - 34 - 9*j + j**3. Let k be w(-6). Is -10 greater than k?
False
Let f = -32588.2 - -32645. Is -3 greater than f?
False
Let p = 0.2 - 1.2. Let c = -1506 + 1505.9359. Let a = c - -11.0641. Is p at most as big as a?
True
Let p be -4*(-6)/(-24)*1/(-4254). Let i = p - -12599/693402. Is i > 0?
True
Let o = 492 - 494.71. Let g = 2.61 + o. Which is bigger: 17 or g?
17
Suppose 38*f = 24*f + 54*f - 1040. Suppose 2*b + 37 = 5. Let s = b + 41. Are s and f non-equal?
True
Let d = -2.716 - -1.62. Let k = d - -0.096. Does k = 61?
False
Suppose 41 = -6*w + 149. Suppose -w*u + 23*u + 435 = 0. Which is smaller: -86 or u?
u
Let z(s) = 2*s**3 + 7*s**2 - 16*s - 4. Let l be z(-5). Let h be 20/(-15) - (7/(-3) + l). Is -33/8 at most as big as h?
True
Let x = 30.01 - 69.8. Let c = x - 0.21. Let o = 38.7 + c. Is -0.1 smaller than o?
False
Let v be ((-21)/136836)/(159254/(-79628) + 2). Let d = -1/1086 + v. Is -7 not equal to d?
True
Suppose -67*c - 61*c = -c - 9017. Does c = 50?
False
Let n(z) = -z**3 - 6*z**2 + 3*z - 24. Let w = -118 - -111. Let k be n(w). Suppose k*c - 5 = 51. Is c less than 17?
True
Suppose 1529*x + 26128 = 1537*x. Is x at least