/(-60). Let y = z + -649/15. Which is bigger: -14 or y?
-14
Let y be 2/(-6) - (-5620)/12. Let j = 12634/27 - y. Let v be (-2)/8 + (7 - 7). Which is smaller: v or j?
v
Let z = -16 - -18. Let y be 5/(-2) + 1/z. Which is bigger: y or -4?
y
Let q be (2 - (-2 - (-1 + -3))) + 0. Suppose 5*j = -4*v + 178, -2*v + q*j = 5*j - 94. Is v >= 41?
True
Suppose 4*p + 5*o + 29 = 0, 23 = -2*o + 13. Which is bigger: 19/67 or p?
19/67
Let v = -3.98 - -4.08. Which is greater: v or 739?
739
Let y be 3/5 - (-178)/(-5). Let i = 36 + y. Which is smaller: -6/17 or i?
-6/17
Let q = -149.82 - -134.8. Let p = -46 + 31. Let f = p - q. Which is bigger: 0 or f?
f
Let v be ((-20)/15)/(2*(-1)/(-6)). Let k be 6/(-60)*v - (-6)/10. Which is smaller: -2/107 or k?
-2/107
Let f = 507.687 + -1.687. Is f at least as big as -1?
True
Let r = 9.9 - -1.1. Let f = -11.7 + r. Let n = 1.3 - f. Is -1 greater than or equal to n?
False
Let p be (4/4)/(-19 + 18). Which is smaller: p or 1/13?
p
Let t be (10/4)/(1/(-2)). Let p(k) = -3*k**3 - k**2 + k + 1. Let m be p(-2). Let b = m + -23. Which is smaller: t or b?
t
Suppose 0 = 2*z - 5*z + 6, 3*z - 101 = -5*x. Let i = -19 + x. Which is bigger: i or -5/2?
i
Let d = -610 + 607. Let t = 0 + 1. Which is bigger: d or t?
t
Let r = 85 + -79. Let c be 0*1/r*-3. Is -2/7 greater than or equal to c?
False
Let d = -7557/5 - -1545. Let k = -13949/415 + d. Is -1 less than or equal to k?
True
Let h = 16.92 - 17. Let p = h - 0.14. Let t = p - -0.52. Is t >= -2/5?
True
Let m = 197 - 198. Which is smaller: 1.75 or m?
m
Suppose 0 = -a - 2 + 1. Let f be -2 - -2 - (-634)/30. Let z = f + -21. Which is smaller: z or a?
a
Let a = 22 + -15. Let t be 4 + 23/((-69)/(-9)). Is t < a?
False
Let l be 4*((-76)/(-16) + -4). Suppose 0 = l*w + 5*a + 5 + 14, -w = -5*a - 7. Is -1 >= w?
True
Let w = -421 + 475. Suppose 5*l = 5*y + 280, 2*l + y = -0*l + 103. Which is smaller: l or w?
l
Let z(a) = -a**2 - a - 3. Suppose 15 + 5 = 4*v. Let w be z(v). Let r be 6/2 + w/12. Which is greater: -0.7 or r?
r
Let t be ((-2)/164 - 0)*4. Let j(d) = 4*d**2 - 5*d - 13. Let u be j(-6). Let p = u + -160. Which is bigger: p or t?
p
Suppose h = 5*h + 4. Let z = 1424.18 + -1424. Is h equal to z?
False
Let i be 1290/280 + 6/(-8). Suppose 44 = 6*s + 5*s. Is s less than i?
False
Suppose 0 = -4*h - 2*y + 4, 5*y - 3*y = 8. Let s = -2 - -9. Suppose -u = s - 3. Is h less than or equal to u?
False
Let w = -192/1147 + 5/37. Is w at least as big as 0?
False
Let q be (-9)/(-6) - 813/(-42). Let c = 21 - q. Let x = c + -10/21. Which is greater: 0.05 or x?
0.05
Suppose -6*u + 2*u = -20. Suppose -3*n - l + u*l = 53, -5*n = -4*l + 75. Let y = -11 - n. Is -1 != y?
True
Let q be (-27)/(-9)*(-5)/(-18). Is q < 2?
True
Let p = 0 - 0. Let g = 554 + -556. Do g and p have different values?
True
Let d = -1128243/4655 - -852/245. Let f = -239 - d. Let x be (0 - -1)*1 + 0. Are x and f equal?
False
Suppose -4*z = i - 6*i + 20, -16 = -4*i. Let c be 1/6*8/44*18. Is z greater than c?
False
Let r(s) = -205*s + 7 - 2 + 204*s. Let g be r(4). Are 4/15 and g equal?
False
Let z = 178 - 178. Which is smaller: z or -0.1?
-0.1
Let s = -1243 + 1265. Is -3 less than s?
True
Let a = -67 - -75. Let d be 5 + (5 - (5 - 3)). Is a at least d?
True
Let n = -4 - -14. Let l = 12 - n. Suppose 2 = u - l*u. Is -3 > u?
False
Suppose -4*p - 2*l = 4, 7*l - 2*l - 20 = 0. Let z be 1*p + (-39)/(-27). Is z != -2?
True
Let l be 382592/38262 + (-20)/2. Which is bigger: l or 1?
1
Let v be (-2 - (-9)/2)*-2. Is -1 at most v?
False
Let u = -0.9 + -4.1. Let c = u - -5.1. Let s be 140/68 + (-3 - (-4)/4). Which is smaller: c or s?
s
Suppose 4*z + 4*x = 6*x + 1290, 5*z - 2*x - 1612 = 0. Is z > 322?
False
Let z(m) = -m**2 + 6*m + 19. Let r be z(8). Let c = -9 - -12. Suppose -s + 5*w - r = -8, 15 = c*s - 2*w. Are 5 and s equal?
True
Suppose -3*i = -5*h + 66, 14 - 2 = -4*h. Is i greater than -26?
False
Let k be ((-60)/8)/(36/236). Let a = -49 - k. Is a not equal to -4?
True
Let d = -572 + 566. Which is bigger: -37 or d?
d
Let q = 41 + -25. Which is smaller: 1 or q?
1
Suppose -3 - 7 = 5*d. Let m be 0/d + 11 + 4. Suppose -5*q + 5*y = -50, -3*q - 3*y - 41 = -107. Which is smaller: q or m?
m
Let h be 17/119 + 1226/(-7). Let g = -3326/19 - h. Is g greater than or equal to 1?
False
Suppose -4*q = -j + 4, -30 = -4*j + q - 29. Which is smaller: -3/980 or j?
-3/980
Let z = 5 + 7. Let a be (-24)/165 + z/(-30). Let s = a - -9/11. Which is smaller: 1 or s?
s
Let o = 1722 - 1761.86. Let w = o + 40. Is w greater than 0?
True
Let r = 21 - 20. Let u = 0.58 + -0.41. Let y = 1.17 - u. Is r > y?
False
Let w be (-4)/12 + (-267)/(-855). Which is smaller: 0 or w?
w
Let t = 309 - 5255/17. Let h be -3 - -3 - (-5 + 0). Suppose 0 = -3*j + h*j. Which is bigger: j or t?
j
Let l = 14 + -2. Let t(q) = 13*q**2 - 2*q + 1. Let n be t(1). Do l and n have different values?
False
Let n be ((-2)/80)/(4/588). Let c = 29/8 + n. Is 1 smaller than c?
False
Let o(s) = -s**3 + 8*s**2 - 7*s + 12. Let b be o(7). Which is smaller: b or 4?
4
Suppose 2*y + 127 = -125. Let l be (-4)/8 + y/(-4). Suppose 0*h + l = 4*h + n, 2*n = -4*h + 30. Which is smaller: 10 or h?
h
Let i be (-16)/68*(-155)/290. Let p = i - -10/29. Which is bigger: p or 1?
1
Let o = -0.283 + 0.533. Is 1 at most o?
False
Let c be (-10)/4*(-13 + (-434)/(-70)). Which is smaller: c or 28?
c
Let a be 159/24 + -6 + 19 + -19. Which is smaller: 2 or a?
a
Suppose 0 = -5*o - 16*r + 15*r - 305, -37 = o + 5*r. Is -64 smaller than o?
True
Let q = -132 + 527/4. Is q greater than or equal to 440?
False
Suppose -208 = -188*t + 214*t. Is t greater than or equal to -16?
True
Let i(a) = -22*a**3 - 2*a**2 + 2*a - 1. Let c be i(1). Let n = -184 - -373. Suppose -8*v + 5 = n. Is v < c?
False
Let n = -29.7 + 29.889. Let c = 0.089 - n. Is c >= -0.03?
False
Let b be 4/(-32) - (-4)/(-32). Let g = 0.8 - -2. Let n = g + -3. Which is smaller: n or b?
b
Let s be (1/(-3))/((15/(-162))/5). Is 18 greater than s?
False
Let h = 1.32 - 0.46. Let p = -0.06 + 0.2. Let f = p + h. Is f at most -3/7?
False
Let n be (8/24)/(68/(-12) + 6). Which is greater: n or 2/91?
n
Let t(p) = p**3 - 10*p**2 - 16*p - 34. Let n be t(12). Are n and 67 equal?
False
Let b = -3 + -8. Let m = -8 - b. Let u = -95 - -93. Which is smaller: u or m?
u
Let v be 0 - 5/(130/3). Suppose h + 3*h - 3*h = 0. Is h at least as big as v?
True
Let p = -189 + 196. Are 3 and p equal?
False
Let k = 27 - -7. Suppose -5*r + 0*r - 4*v + 31 = 0, -v = 5*r - k. Let j = r - 11. Which is smaller: j or 2?
j
Let b = 385.345 - 385. Is -1 bigger than b?
False
Suppose -2*x = -2*m - 42, -5*x = m - 3*x + 30. Let h(v) = 7*v + 32. Let w be h(-8). Is m > w?
False
Let v be 4/14 + 32/(-14). Let f be (80/12)/(-4) - v/3. Are -2/11 and f nonequal?
True
Suppose 775 = 4*o + 307. Is 117 not equal to o?
False
Let l = 130284/5 + -4169217/160. Let u = 1/160 + l. Does u = -1?
False
Let d = -35 - -31. Let b = 21 + -24. Let u be 5/3 - 1/b. Which is smaller: u or d?
d
Let c = -20 - -4. Let w = 588 + -605. Which is bigger: w or c?
c
Let t(g) = -g**3 - g**2 + 4*g - 1. Let w be t(-3). Let q be (2/w)/(-4 - 48/(-14)). Is -1 < q?
True
Let i = -31 - -49.3. Let g = 18.2 + 0.8. Let u = i - g. Which is smaller: u or 1?
u
Let z be 123/615 - 239/20. Let n be -11 + -2 + (2 - 1). Is z > n?
True
Suppose -23*n + 17 = -5*h - 27*n, 0 = -h + 2*n + 5. Let q = 114/7 - 2729/168. Which is smaller: h or q?
h
Let c = 1912 - 933. Let k = -2963/3 + c. Are k and -10 nonequal?
True
Let n be (41 - 39)/((-1)/(-7) - 0). Is n at most as big as 27/2?
False
Suppose 5*i = -4*j + 220, 4*j + 165 = 7*j - 2*i. Let b = j - 99. Is -45 != b?
True
Let j = 330 - 329. Is -2.32 smaller than j?
True
Let m be (-6)/33 - (-300)/(-44). Let p = -2.5 - -4. Let y = p - 0.5. Which is smaller: m or y?
m
Let q = -2131 + 27733/13. Suppose -2 = 4*u - 6. Which is bigger: u or q?
q
Let h = -108 - -538/5. Let u = -370 - -344. Which is smaller: h or u?
u
Let z(j) = j - 5. Let g(r) = r. Let o(q) = 6*g(q) + z(q). Let i be o(-5). Let a be i/14 + (1 - -2). Which is smaller: a or 1/5?
a
Let n = 2799.69 - 2815. Let d = n - -0.31. Let h = d + 15. Which is bigger: 10 or h?
10
Let o be (2 - (7 - 6)) + -1. Is o equal to 1/55?
False
Suppose 3221 = -5*m + 1286. Let u be 27/m*2/3. Is 0 smaller than u?
False
Let o(s) = s**2 + 10*s - 12. Let c b