 p be (-2)/(-8)*8*-43. Let r = -102 - p. Suppose 2*j - 4*b = -j - 29, -3*j + 2*b = 37. Which is bigger: j or r?
j
Let r = 2.534 - -0.066. Let d = 42.8 - 45. Let h = d + 2.2. Are h and r equal?
False
Let t be 0/4*(-1 + 5 + -3). Suppose 3*k = -4*p + 289, t = 3*p + p + 2*k - 290. Is 73 < p?
False
Let b(r) = r**3 + 15*r**2 - 2*r + 10. Let m be b(-15). Suppose 37*y = m*y - 3. Let l be -1 - -4 - (0 - (14 - -1)). Which is smaller: l or y?
y
Let h = -0.13035 + 5438.13035. Which is bigger: -2/5 or h?
h
Let h = 44323/423 + -4930/47. Let r = 11 + -6. Suppose 0 = -0*l - 5*l - r. Which is bigger: h or l?
h
Suppose -2*s + 1 = 2*s + 5*t, 5*s - 2*t + 7 = 0. Let h be ((-200)/(-300))/((-210)/(-18) + 6). Which is smaller: h or s?
s
Let v = 700 - 688.76. Let d = 0.04 - v. Let a = d + 15. Does -1/4 = a?
False
Suppose -626*c = -317*c - 290*c - 1007. Are c and 139 non-equal?
True
Let f = 36 + 551. Let d = f - 588.4. Is -19 equal to d?
False
Suppose 0 = 4*m + 13 - 33. Suppose -260 = m*k - x, 2*x - 6*x - 232 = 4*k. Suppose -5*v = 3*f + 269, 3*v = f - 83 - 70. Which is smaller: v or k?
k
Let j = 7.3 + -50.3. Let f = j - -42.98. Let m = f - 0.2. Is m at most as big as -1?
False
Let j = 536 - 545. Let a = 1 - 2. Which is smaller: a or j?
j
Let k be (80/(-24))/(-2 - (-10)/6). Let t = k + -6. Let l be 5/t - 13/52. Which is smaller: -1/38 or l?
-1/38
Let d be (-9 - -11) + -13 + 14. Which is smaller: 315/131 or d?
315/131
Let b = 16 + -8. Suppose -b*r - 21216 = -0*r. Let q be (r/40)/(-13) + -5. Which is greater: -1 or q?
q
Let z = -6898 - -6899. Is z < 1/4055?
False
Suppose -3 = -c + 4*c - 4*s, -2*c - 4*s = -18. Suppose 0 = c*u - 5*u. Let a = -1288 - -225402/175. Which is bigger: a or u?
a
Let c = 225154914/3061 - 73556. Which is smaller: c or 4?
c
Let p = -1.8 - 66.2. Let m = -2976.4 + 2908. Let y = p - m. Is -0.3 greater than y?
False
Let n be ((-50)/(-30))/(1/15). Suppose 0 = -16*o + 8*o + 200. Let y = o - n. Which is greater: 2/49 or y?
2/49
Let s = -33836 - -67671/2. Is 7891 at most as big as s?
False
Let u = -58 - -76. Let q = u + 7. Let k = q + -22. Which is greater: k or -6?
k
Let h = -363.8 - -388.8. Do 1/8 and h have the same value?
False
Suppose 0 = -10*v + 16*v + 78. Let j(i) = i**3 + 12*i**2 - 12*i + 13. Let b be j(v). Which is smaller: -6/23 or b?
-6/23
Let f(z) = 4197*z + 400. Let j be f(1). Are 4596 and j unequal?
True
Let c = 109 - 271. Let w be 14/((-3360)/c) - (-1)/8. Let b be 3/(-4)*2/(-3). Which is greater: b or w?
w
Let l = -20 + 23. Let p be (((-3)/2)/l)/(9/6). Let f be 6/(-30)*2/(-2). Are p and f nonequal?
True
Suppose 8*b + 3*c = 3*b + 63, 0 = -4*b + 5*c + 43. Let x = -1368 - -1380. Is b less than x?
False
Suppose i + 5*y - 10 = 0, -40 = -4*i - 0*y - 2*y. Suppose 7*x + i = 52. Let d be (-1)/x*9/(-6). Which is smaller: 12 or d?
d
Let k(g) = -6*g + 41. Let c = -85 - -92. Let b be k(c). Let m be 42/(-54)*1 - b. Which is smaller: -26 or m?
-26
Suppose -3 = 3*x, -312 = -2*f + 4*f - 4*x. Let m = 113 + f. Which is bigger: m or -47?
m
Let g = 50.924 - -0.076. Let l = g - 55. Let a = 3 + l. Which is greater: a or 40?
40
Let s = -1455 - -975. Let v = s + 479.9. Which is bigger: -40.3 or v?
v
Let b = -72 + 11. Let x = -132 - b. Which is greater: -70 or x?
-70
Let a = 1141217/170 - 6713. Let h = a + 16937/1530. Is h smaller than 0.1?
False
Suppose 0 = 3*y + 19 + 2. Let k be (-2130)/(-12)*2 - 2. Let d = k + -1079/3. Which is smaller: y or d?
y
Let f = 75.85 - 37.15. Which is greater: 0.07 or f?
f
Let j = 23.627 - 23.606. Is j < 10?
True
Suppose -1510 + 2017 - 5280 = -111*n. Is 72 bigger than n?
True
Suppose -3*d = 5*k - 2873, 3171 = 4*k - 4*d + 847. Suppose -l - 1456 = -5*t, -2*t - 5*l + k = -0*l. Let p be ((-3)/(-6))/(t/12). Are p and -1 non-equal?
True
Let s = 12741426608/31855 + -399982. Is -1 greater than s?
False
Let i = -156.38389 - 0.05611. Let j = 159 + i. Let d = -0.44 - j. Which is bigger: 1/3 or d?
1/3
Let b = -3363064/223 + 15081. Are 0 and b unequal?
True
Let l(f) = 5*f + 322. Let y be l(-58). Is y bigger than 43?
False
Suppose -5*d - 11 = -f, 4*f + 5*d + 32 - 1 = 0. Let c be -5 + 81/9 - 3/f. Which is greater: 4 or c?
c
Suppose 42*p = 7*p - 4060. Is p at least -125?
True
Let h = 0.22 + -5.22. Let i = h - -5.112. Let v = i + -0.012. Is v < 0.2?
True
Let h be 28/14 - -2*1. Suppose h*g + 0*x - 2*x = 14, 3*x = -3*g - 12. Suppose f + g = 3. Are 4 and f unequal?
True
Suppose -62360 = -5*q + 5*l, -3*q + 27732 = -2*l - 9691. Is q bigger than 12479?
False
Let a(f) = f**3 + 50*f**2 - 336*f - 5. Let g be a(-56). Which is bigger: 143 or g?
143
Let s be (-10)/((-40)/78)*4/6. Let j(n) be the first derivative of n**3/3 - 13*n**2/2 + 22. Let i be j(s). Is 22 bigger than i?
True
Suppose -8*o + 850 = 2*o. Suppose 5*f - 5*h - o = 0, 2*f = 2*h + 2*h + 44. Suppose f*u = 17*u + 20. Which is smaller: u or -11/3?
u
Let u = 729 + -449. Let d = 230 - u. Is d greater than 4?
False
Let k = 0.06002 + 0.03998. Which is bigger: k or -4769?
k
Let s be 176/132 - (-26508)/(-19827). Is 1 < s?
False
Let q(s) be the first derivative of 2*s**2 - 65*s + 47. Let r be q(19). Let h(i) = -i + 12. Let k be h(r). Which is smaller: k or 51?
k
Let j be (-557)/(-5) - 18/45. Let g be j*4/108 - 5. Suppose 0 = 4*q + 3*o, 10*q - 14*q - 5*o = 0. Is q less than g?
False
Let m = -45.595 - -160.543. Let o = 115 - m. Let v = -2/31 + 35/62. Do v and o have the same value?
False
Let d be (49/(-7) - -9)/(-1 - 0). Let y be (-1)/5 - d/110. Which is smaller: y or -1?
-1
Let s = -14.11 - 62.79. Let b = 321 - 398. Let f = b - s. Is -12 at least as big as f?
False
Suppose -b - 17 = 4*m, b - 18 = 5*m - b. Suppose 0 = l + 1, -d + 3*l - 6*l = -28. Let x = 25 - d. Which is smaller: x or m?
x
Let g be (-1 - 35) + -1 + 1. Let d = -0.75622 + 0.55622. Which is smaller: g or d?
g
Let o = 8 - 7. Suppose -4*m - 42 = -g - o, -104 = -2*g - 3*m. Suppose 192 = -0*k + 4*k. Which is smaller: g or k?
k
Let m = -648436/935 - -7624/11. Is m bigger than -2/3?
True
Let s be (-855)/(-6)*(-2)/4*2. Let r = -152 - s. Suppose -42 - 8 = 5*h. Are r and h nonequal?
True
Let j be (-14*190/1064)/(1/(-8)). Suppose 0 = k - 3 - 2, 4*k = -5*u + 100. Which is greater: u or j?
j
Let s be ((6/4)/(-1))/(8/(-224)). Let c be s/(6 + -3) - (-1 + 4). Let o be (-2)/c - 541/(-11)*1. Which is smaller: 50 or o?
o
Let o = -13020 - -19838. Which is smaller: 6819 or o?
o
Let t = -2.133 - -2.26. Let p = -57.873 - t. Let k = p - -53. Is k at most as big as -2/3?
True
Let u be -3 - 646*(-1)/(-2). Let a = -315 - u. Is a > 7?
True
Let l = 521 - 466. Suppose 2418 = l*m - 61*m. Is -402 at least as big as m?
True
Suppose 0 = 2*a - 4*v - 8, -3 = v - 2. Suppose 4*n - 2*q = a*n + 8, -2*q = 4*n - 4. Which is smaller: -2 or n?
-2
Let n = 21855 - 64898/3. Let l = n + -223. Which is greater: 1.21 or l?
1.21
Let o = -105.1633 - -105.22. Is o equal to -5?
False
Let k(w) = -24*w**2. Let f be k(-1). Let m = 103 + -128. Let x = f - m. Which is bigger: x or 0?
x
Let h be 4 - -3 - (-9 - (-532 - 2)). Is h not equal to 0.2?
True
Let y = 23746141/2685 + -8844. Is y smaller than 0?
False
Let h be (46 - -2)/12 + (-1 - (-33978)/(-11330)). Is 0 < h?
True
Let m = -1199 + 1199.2. Which is smaller: m or -15.03?
-15.03
Suppose 4*p - 2*o + 268 = 0, 52*o = 57*o - 20. Which is greater: p or -58?
-58
Let j be ((-2)/4)/((-100)/8). Let f = 1.198 - -0.212. Let i = f + -1.51. Is i not equal to j?
True
Let d be (-2813)/(-388) - (-105)/(-12). Suppose -r - 15 = -6*r. Suppose -16 = 2*p + r*y, 2*y = p - y - 10. Which is greater: d or p?
d
Let q = 23681965823/1947 - 12163311. Let b = q - -14/33. Do b and 0 have different values?
True
Let p = 0 + -0.1. Let m = -3750 - -4080.4. Let z = 327 - m. Is z >= p?
False
Let k = 60 + -55. Suppose -29 = -0*m - k*m - 2*x, -4*m + 4*x + 40 = 0. Let d be 2 - 0/(6/3). Are m and d unequal?
True
Let t(w) = -4*w**2 - 27*w - 44. Suppose -2*o = -2*x - 2, 8*o - 5*o + 2*x = -12. Let y be t(o). Is 3.1 less than y?
False
Let b be ((-12)/30)/((-3)/30). Suppose -o - 3 = 0, -19 = -3*j + b*o - 1. Suppose -j*d = 2*d. Which is greater: d or 3/5?
3/5
Let r = 2844 - 2843.87. Which is smaller: 0.9 or r?
r
Let r = -1001 + 1428. Which is smaller: r or 1.3?
1.3
Suppose 2*o + 5*i + 20 + 23 = 0, 0 = i - 5. Suppose 71 = 2*s - 13. Let c = o + s. Which is bigger: c or -2?
c
Let u(h) = -h**3 + 9*h**2 