 + 4) + 1. Suppose -5*u + 7*u + 22 = 0. Which is smaller: r or u?
u
Let g = -10.54 + 10.94. Does 1/692 = g?
False
Let z = 4028 - 2771. Let g = -1263 + z. Let m = -6 - -20. Is m at most g?
False
Let a = -14143 - -834436/59. Which is smaller: 71 or a?
a
Let c(z) = z**2 - 20*z - 24. Let t be c(15). Let j be (-16)/(-72) + 40/t. Which is greater: j or -24?
j
Let l = 904.04 + -2.04. Let a = 905 - l. Suppose 2*b + 17 = 3*b. Is a at most b?
True
Let q be 2/(-7) - (-282)/(-189). Let p = 1355845/54 + -25110. Let z = q - p. Which is smaller: 0 or z?
z
Let w be (11 - 760/72)/(-998). Is w bigger than 1?
False
Let j be (-4114)/(-180) - (48/12 - 1). Let w = 119/6 - j. Is w <= 3?
True
Let x(c) = -c**3 + 21*c**2 + 23*c - 32. Let z be x(22). Suppose 0 = -4*u - 3*m + 58, -4*u = u - 2*m - 61. Suppose u + 22 = -5*q. Is q < z?
False
Let l be (6/8)/(40/(-800)). Let h = -46/3 - l. Do 19.8 and h have the same value?
False
Suppose 42*x - 11*x + 2797 + 2442 = 0. Which is bigger: -0.03 or x?
-0.03
Suppose 2*b + 2*x = 32, 3*b - 1 = -2*x + 48. Suppose 16*t = 20*t - 68. Are t and b equal?
True
Suppose -3*u - 5*c = -9*c + 57, c = 3. Let r be u/10*(-106)/10. Is 15 less than or equal to r?
True
Let x(v) = -2*v**2 - 1144*v + 46358. Let y be x(38). Let n = -355/1298 + 9/22. Is y bigger than n?
False
Let n = 402/21029 + -1041192270/231319. Let c = -4504 - n. Which is smaller: -3 or c?
-3
Let h = -20 + 22. Suppose -23 = -5*i - 2*t, 16 = 4*i - t + h*t. Let j = i + -7. Is j greater than -5?
True
Let t = -59/20 - 63/10. Let z be (-14)/(-2)*24/7. Suppose z = -5*w - 4*i, 2*w - 3*i = -5*i - 8. Is w smaller than t?
False
Let n(b) = -1862*b + 29. Let m be n(2). Let y = 18417/5 + m. Which is greater: y or -11?
-11
Let m = -855 - -852.662. Let g = m - -0.038. Let a = 1.9 + g. Is a at most as big as 0.3?
True
Let f be (-13)/(442988/68160) + (2 - 3 - -3). Which is bigger: 0 or f?
0
Suppose -183 = 5*b - 243. Suppose -s = -0*s - 25. Let u = s - b. Are u and 14 equal?
False
Let d(i) = i**2 - 4*i. Let l = 22 + -19. Let k(v) = 2*v - 6. Let q be k(l). Let f be d(q). Which is greater: -1 or f?
f
Let p be (-543)/511 + (14 - 13). Let w = p - -2/365. Suppose 0 = 2*k - k - 2*j + 3, 0 = 3*k - j + 4. Which is bigger: w or k?
w
Let c(d) = -d**2 - 5*d - 3. Let k be c(-4). Let t be 4/(-8)*k*2 + 4. Let h be (-1 + -1 + 3)/(t/6). Does -3/25 = h?
False
Let i be (-5 - (-3 - 0))*(-29 + -1). Does i = 62?
False
Let c be 1476/(-20)*540/162. Are -1730/7 and c equal?
False
Suppose -3*v - 4 = 5. Let b = 217 - 202. Let z be (-5)/(b/4)*3. Is z less than v?
True
Let d(a) = -64*a - a**2 + 87 + 6*a + 27*a + a. Let u be d(-30). Which is greater: 88 or u?
88
Let g(i) = i**3 + 6*i**2 - i - 2. Let z be g(-6). Let n be (-255)/(-70)*(4 - (2 + z)). Is -8 <= n?
True
Suppose m + 1691 = h, 0 = 21*m - 17*m + 4*h + 6756. Is -1690 less than or equal to m?
True
Let v be (-1)/(2/8) - -8. Suppose -31*g = -29*g + v. Let t be (105/(-10))/(-1)*g. Is t >= -19?
False
Let k(t) = 30*t**2 - t - 13. Let a(z) = -37*z**2 + z + 16. Let n(o) = 4*a(o) + 5*k(o). Let m be (-1 - 2)*(0 - -1). Let b be n(m). Which is bigger: b or -0.1?
b
Suppose 96*n - 48 = 92*n. Let o be (4*3/n)/(350/4). Which is smaller: 1 or o?
o
Let m = 254.734 + 0.266. Let s = -336 + m. Which is greater: s or 0.1?
0.1
Let o = 9933 + -9943. Do o and -20/7 have different values?
True
Suppose -5*v = 0, 62 = -5*p + 6*v - 9*v + 2. Which is smaller: -270/23 or p?
p
Let q = -3.3 + -12.7. Let g = -0.004 + 22.004. Let b = -22 + g. Is b smaller than q?
False
Let i(o) = -15*o**2 - 11*o + 29. Let s be i(4). Let c = s + 10966/43. Which is smaller: c or 1?
c
Let x = -38 - -13. Let o = -37 + x. Let t = o - -64. Which is greater: t or -0.5?
t
Let q(n) = -2*n**3 - 70*n**2 + 71*n - 259. Let i be q(-35). Which is greater: i or -2743?
-2743
Suppose -3*f - 2*v + 4 = 0, -4*f + 3*v = -1297 + 1303. Which is smaller: -3/4633 or f?
-3/4633
Let z be (-33792)/218 + (4 - 1). Let r = 152 + z. Which is smaller: r or 1?
r
Let w = -0.42 - -34.42. Let y = -19 + w. Let g = y + -14.7. Is 0.02 at least as big as g?
False
Let g = -584 - -585. Let z be (g/450)/(25/(-50)). Which is smaller: -1 or z?
-1
Let c(v) = v**2 - 5*v - 13. Let s be c(6). Let n be (64/112)/(2/s). Which is greater: n or -76?
n
Let b = -38655710/601 - -64319. Which is greater: b or 1?
1
Let g be -8 - (16 + -17)*9. Is -5/162 not equal to g?
True
Suppose 2*p + 10 = -3*p. Let x be ((-3)/(-9)*-2)/((-1)/12). Suppose i + 12 = x. Is i bigger than p?
False
Let l = 12 - 10. Let p be (-192)/(-182) - l/7. Let v = 6.6 + -4.6. Do p and v have the same value?
False
Let o = 618264 + -4347912/7. Is -2865 at least o?
True
Let n = 90 - 92. Let c(s) = -s**2 + 3*s + s**3 + 18*s + 19 + 22*s**2. Let h be c(-20). Is h less than or equal to n?
False
Suppose -95 + 275 = 5*k. Let j = -999 - -999. Is k equal to j?
False
Let d be ((-10)/3)/(2/(-3)) + -5. Suppose 9*v + 6 + 3 = d. Which is smaller: -2/481 or v?
v
Suppose -4*u + 10 = -2*c, -4*u - 3*c = 2*c - 17. Suppose u*a - 41 = -7*r + 5*r, 0 = -r + 5*a - 12. Is r at most 12?
False
Let j = 58/969 - 369595/6783. Let z = j - 421/63. Which is smaller: -60 or z?
z
Let m be -4 + ((-168129)/(-3231))/13. Which is bigger: m or 0?
m
Suppose -11 = -4*n - 5*k + 17, 5*n = 2*k + 35. Suppose 3*w - 1 = -0*w + f, -f + n = 5*w. Is w less than -4/101?
False
Let c = 94 + -14383/153. Let a = -112402 + 112401. Which is smaller: a or c?
a
Let x be 2*(357/102 + (3 - 1)). Let j(d) = -12*d - 6. Let f be j(-1). Which is greater: f or x?
x
Suppose 2*c + v = 5, 0 = -3*c + c + 4*v. Suppose -c*s + 15 = -3. Let d be (-3)/s*(-42)/(-13). Are -1 and d non-equal?
True
Let c(v) = -2*v**2 - 18*v - 9. Let j be c(-8). Let m be (-112)/j*(-18)/51. Let q = m + -927/119. Which is bigger: -2 or q?
-2
Let t = -33571/36 - -3851/4. Let z(k) = -k**3 + 7*k**2 - 2*k. Let q be z(3). Let d = q - t. Which is smaller: d or 0.19?
d
Suppose -247*z = 36*z - 241682. Is 852 not equal to z?
True
Let p(y) = 508*y + 711. Let d be p(-19). Is -8941 less than or equal to d?
True
Let a be 5/(-3) + 2 + 470524/474. Which is smaller: 994 or a?
a
Let k = 70 - 228. Let r = k - -207. Is 48 at least r?
False
Let f = -7767.8877 - -7768. Do f and 1/2 have the same value?
False
Suppose 0 = -2*q - 4*g + 21 + 9, g = 3*q - 31. Suppose -4*u - q*x = -9*x + 12, 5*u + 21 = -4*x. Let j = -1351 - -33781/25. Which is bigger: u or j?
j
Let g = 0.978 - 1.084. Let w = -0.02 + 0.056. Let f = w + g. Which is smaller: -2/3 or f?
-2/3
Let s = -0.32 - 0.17. Let h = -1.24 - s. Let w = 0.45 + h. Is w at least 8?
False
Suppose 4*i = -3*c - 51, 3*c + i + 52 = 10. Let o be 67/13 - (-2)/c. Suppose o*k = -11 + 6. Is k smaller than -3/11?
True
Let x = -28201/32893 + 1/4699. Let z(y) = y**3 - 4 - 2*y**3 + 3*y + 6*y**2 + 6 - 3*y**2. Let h be z(4). Is h < x?
True
Suppose 450 = 5*b + 4*b. Let r = -42 + b. Suppose r*j + 5 = 3*j. Is j < -1?
False
Let q be (187/17)/(2/(-6) + (-255)/(-738)). Is 901 != q?
True
Let n(d) = 72*d**2 + 2*d + 4. Let r be n(-1). Let w = -71 + r. Suppose w*y = 5*x + 13, 2*x = y + 3*x + 1. Which is bigger: y or 1/121?
y
Let s = -8194496905/207 - -39587021. Let c = 1464/23 - s. Are -16 and c nonequal?
True
Let y be ((-2828)/6)/((-12)/(-18)) - (4 + 1). Which is bigger: y or -713?
y
Let z = 7285 - 7285.33. Is -0.097 less than z?
False
Let t = 1238.17 + -1236. Which is greater: t or -37?
t
Let s = 414 - 412.44. Let x = 94.56 - s. Which is smaller: x or -0.1?
-0.1
Let g = 1495.6 - 1495.5. Which is smaller: g or 0.553?
g
Let b(w) = 12*w**2 + 3*w - 15. Let z be b(5). Is -17 at most as big as z?
True
Let x = 0.023 + 0.727. Let u = x + -2.05. Which is greater: u or -3?
u
Let m = 325341511/31437 - 10349. Is m at least 1?
False
Let a = -85567/581 + 1030/7. Which is bigger: 0 or a?
0
Let f be (5/39)/(2/(-18)). Let q(o) = -4*o**2 - 843*o - 7264. Let p be q(-9). Which is smaller: p or f?
f
Let h = -216074092/4663 - -46338. Is h at most 1?
True
Suppose 6*f = -10 - 2. Let o = -1835 - -1802. Which is smaller: f or o?
o
Let d = 1285 + -569. Does 717 = d?
False
Let v be (126/(-4))/(-21) - (-90)/4. Let a be -4*3/300*v. Which is smaller: a or -2?
-2
Let m be 0 + (-2 - -4) + (-6 - -7). Suppose 0 = c - 5*v - 4, -m*c = -2*v + v - 82. Let n = c + -72. Is -44 less than n?
True
Let j = -208 + 210. Let k be ((96/(-104))/3)/(0 - j). Is k at l