?
n
Let x = 6.4 + -9.3. Let t = x + 2.78. Let c = t + 0.22. Is c greater than -11?
True
Suppose -5*v - 235 = -5*f, 2*v + 2*f = -70 - 36. Let t = -96 - v. Do t and -44 have different values?
True
Let v = -51.2687 - 0.0313. Let s = -40.2 + v. Let m = s + 91. Which is smaller: -2/5 or m?
m
Let a = -11.79 + -0.21. Let r = -5772 - -5771. Which is bigger: a or r?
r
Let z be 2/144*-4702 + 3/(-4). Let s = -200/3 - z. Let b = s + 1/9. Is b bigger than -20?
True
Let v = -351 - -542. Let n = v - 189. Which is smaller: -23 or n?
-23
Let d(w) = -w**3 - 52*w**2 + 45*w - 421. Let a be d(-53). Is a != -3/16?
True
Let f(r) = 2*r**3 - 18*r**2 + 148*r - 797. Let p be f(8). Which is greater: p or 170?
p
Suppose -1105*s + 1101*s + 252 = 0. Is 87 at least s?
True
Let s = 85.15 + 0.85. Let u = s - 86. Which is smaller: u or -7/24?
-7/24
Suppose 0*k = 3*k + p - 164, -3*p = -2*k + 102. Suppose -619*z + 626*z = 378. Are k and z equal?
True
Suppose 5*y - 8 = -2*v, 2*y + 1 - 3 = -2*v. Suppose -96 = 5*q + 674. Let d be (-3)/7 + (-38)/q. Which is smaller: d or v?
v
Let q(o) = -o**2 + 18*o + 134. Let w be q(-16). Let p = 88 + w. Which is smaller: -321 or p?
p
Suppose a + 4*a = -6230. Let y be (-7)/(a/4) + 0. Let m = 203 - 203. Which is smaller: y or m?
m
Let f = 18 - 19. Let v be (3/(-9))/(2/6*f). Which is smaller: v or 11?
v
Suppose 0 = 2*t - 42 - 16. Let p = -39 + t. Let w be (-2 - 15/p)*0. Which is bigger: -1 or w?
w
Let o(l) = 2*l**2 + 3*l + 20. Let a = 24 + -8. Suppose -8*c + 12*c - a = 0, 3*f - c + 19 = 0. Let y be o(f). Do 53 and y have the same value?
False
Let q be 12/(-26) - 2679190/11505. Which is greater: q or -234?
q
Let l = 150 - 247. Let j(i) = 30*i**3 - 6*i + 17. Let p be j(4). Suppose -458 = -15*q - p. Is l not equal to q?
False
Suppose -5*z = -4*h + 8, 0 = -h + 376 - 374. Let q = -1114/5 + 222. Which is bigger: q or z?
z
Let w be (-19 - -4) + 10 + 144/29. Which is greater: w or -21?
w
Let f be 46*(0 - (36/(-8) + 4)). Suppose -20 - f = -4*d + 3*s, 4*d = 2*s + 38. Suppose -11*y = -26 - d. Which is greater: y or 34/9?
34/9
Let a = -14 + 9. Suppose 2*y - 15 = -5. Suppose -23 = w + y*c, -4*w - 2*c - 2*c = 28. Which is smaller: a or w?
a
Let u(c) = -c**3 + 3*c**2 + 4*c - 14. Let s be u(4). Let g be -54*(s/30)/7. Let j(n) = n - 7. Let p be j(6). Is p less than g?
True
Suppose -19 = 9*r - 64. Suppose -r*m - 600 = -7*m. Suppose 0 = z + 4*z + m. Are z and -0.1 unequal?
True
Let p = 24.2708 - -0.0292. Let k = p - -77.7. Is 1/2 at least k?
False
Suppose 4*v - 3*d = 6*v - 59, 2*v - 58 = -4*d. Is v at most as big as 286/9?
True
Let q be 1416/1 - (5 - 2 - (3 + 2)). Is q at most 1419?
True
Suppose -4*l = 2*a - 14, -5*l = 2*a - 0 - 9. Suppose -21*u = -a*u + 52. Which is bigger: -17 or u?
u
Suppose 114*h + 1015 = 29939 + 20324. Is 4748/11 > h?
False
Let u be (34 - 37)*(505*5/525 + -5). Let k = 1.2 + 4.8. Which is smaller: k or u?
u
Suppose -3*s + 27 = 18. Let r = -7 + 11. Suppose -s*n - r = n. Does n = 2/125?
False
Let j = 4.3 - -83.1. Let n = 93 - j. Let r = -6.5 + n. Is r smaller than 0.3?
True
Suppose 26*n - 16 - 13 = -3. Is n less than -1/21008?
False
Let m = 0.1 - 0.3. Let j = -356/15 - -2552/105. Which is smaller: j or m?
m
Let h = -1726/6771 + 15/61. Suppose 4*j = 3*r + 5, 5*j + 2 - 11 = r. Is h not equal to r?
True
Suppose 33*d + 973 = 4339. Does 94 = d?
False
Let g(s) = -31*s**2 + 9*s + 4. Let v be g(-2). Let p = -119 - v. Let y be (-1)/(5 - p/4). Which is smaller: 0.05 or y?
y
Let f be 1 + 484/2 - 0. Let w be 6/7 + -1 + (-18645)/(-77). Which is bigger: f or w?
f
Let k be 145 + 4 + 7 - -9. Which is smaller: k or 4/5?
4/5
Let h(r) = 93*r + 1025. Let d be h(-11). Is 45 at most as big as d?
False
Suppose 0 = 8*t + 470 + 106. Let z = t - -14. Let l = -39 - z. Which is bigger: 18 or l?
l
Suppose 0 = -2*v - 5*d - 140, -9*v + 3*d = -13*v - 252. Let o be (6 - 3)/(-15)*v/12. Which is smaller: o or 2/43?
2/43
Let t = -3285 - -3284. Let m = -8495/24 + 354. Is t >= m?
False
Suppose 2*q = 3*s + q - 10, 0 = 5*q - 10. Suppose -s = 12*w + 296. Is -24 at least w?
True
Let t = -17 + 26. Suppose -7*h - 9 = -t. Suppose h = 5*d + 5*o - 185, 4*o - 5*o = -3. Does d = 33?
False
Let k = 7 - -32. Let r be 10/3*k/(-26). Suppose -4*u + o = -u + 22, -5*o - 10 = 0. Is u greater than r?
False
Let b = 75648.4 - 75648. Let u = -2 + 2.04. Which is smaller: b or u?
u
Let d = -15635 + 14994.3. Which is smaller: 1 or d?
d
Let l be -3 + 1 - -1 - (-2 - 1). Suppose 3*r + s + 2 = 0, 3*r + 5*s + 0*s - l = 0. Let f be -3*(2/(-6) - r). Is f < 3/8?
True
Let f = -96.283 + -0.717. Let y = -114.8 - -17.8. Let w = f - y. Which is greater: -1/11 or w?
w
Let n = -18717.944 - -18717. Is 18 bigger than n?
True
Let w be -1 - 9 - 78*287/70. Which is smaller: -331 or w?
-331
Suppose 0 = 6*f - 14 + 84 + 110. Is f bigger than -1419/47?
True
Let p = 22419 + -67258/3. Let t = -5.03 + 1.37. Which is smaller: p or t?
t
Let r = 20 + -21. Let t = 0.5 + -13.5. Let o = r + t. Which is smaller: 0.1 or o?
o
Suppose -f + 20 = -5*r, 0 = r + r - 2*f. Let h(b) = -485*b + 2893. Let j be h(6). Which is bigger: j or r?
r
Let n = 122 - 124. Which is greater: n or 0?
0
Let s = -64.6 + -30.4. Let h = -181 - s. Is h < 0?
True
Let w(z) = -z**3 + 3*z**2 + 4*z - 1. Let a be w(4). Let d be (1 - (a + 2))*-1. Let k be -1*2/70 - 208481/(-831285). Which is smaller: k or d?
d
Let i = 108 - 84. Let x be ((-24)/(-1))/(-2*2/i). Is x greater than or equal to -144?
True
Let c be (-6)/18*-114*85. Suppose 9*z - c = -10*z. Which is bigger: z or 169?
z
Let t be (-49)/168 + 1/3. Let b(q) = -q**2 + q + 1. Let s be b(0). Which is greater: s or t?
s
Suppose 5792 = -51*b - 12109. Is b > -351?
False
Let i = 6 + -6. Let c = 473 + -210. Let a = c + -2896/11. Which is greater: a or i?
i
Suppose 6*q - 7 = -5*d + 12, -4*d - 3*q + 8 = 0. Which is smaller: d or 417?
d
Let t = 439 + -538. Let n be t + (-15)/((-45)/24). Let i = 101 - 193. Is n bigger than i?
True
Let k = 0.2 + -0.3. Let p be (-2*(-1)/(-4))/((66/(-900))/(-11)). Are k and p equal?
False
Let g = 685.2 - 685.4. Let l be 444/14 + 2/7. Let m = l + -129/4. Which is greater: g or m?
g
Let m = 3926 + -3741. Which is greater: 181 or m?
m
Let y(q) = q**2 + 14*q - 12. Let d be y(-15). Let w = d + 17. Let h be 1*((-1)/55)/(w/(-50)). Is 0 smaller than h?
True
Let k(m) = 75*m + 463. Let r be k(-6). Which is bigger: r or 40?
40
Let k = -12827 - -6614. Which is bigger: k or -6211?
-6211
Suppose 0 = -85*j - 5*j + 6300. Which is smaller: 71 or j?
j
Let n be 6/(-75) + (-2808)/(-100). Let m = -3 + 30. Which is greater: m or n?
n
Suppose -7*o + 93 = -4*o. Let q be ((-124)/14 + 2)/(96/(-448)). Which is bigger: o or q?
q
Let g = 70564 + -70563. Let p be (1/(-24))/(4/(-90)). Are p and g equal?
False
Suppose 0 = z + 2*u - 202, 4*u + 55 = 2*z - 397. Is 218 < z?
False
Let f be 60296/948*(45/(-42))/5. Let c = f - 176/79. Which is bigger: -17 or c?
c
Suppose -42 = -2*w - 4*w. Let r be w/(-42)*(-657)/114. Let x = -4/19 + r. Which is smaller: x or 1?
x
Let z = -2899 - -107260/37. Which is smaller: z or -3/26?
-3/26
Let x = -2/32053 - -1448/32053. Which is smaller: x or 0.1?
x
Suppose 7*d = 4*w + 2*d + 638, -2*d = 2*w + 328. Let j = w + 203. Let v = 96 + -55. Is j at least as big as v?
True
Let v = -206 + 163. Let x = 43.41 + v. Let g = -0.23 + 0.13. Which is smaller: g or x?
g
Suppose -3*m = z - 0*m + 34, 4*z + 129 = -5*m. Let w(i) = -i**3 - 15*i**2 - 6*i - 60. Let p be w(-15). Let q = z + p. Which is greater: q or -2/127?
-2/127
Let j be (4/4 - 68/28)*357/(-102). Which is bigger: j or 227/58?
j
Let x be 2/7 + (-8)/77. Suppose 1738*q + 2*c = 1735*q + 13, -4*q = c - 9. Which is smaller: x or q?
x
Let q = -116.79 - -60.79. Which is bigger: -87 or q?
q
Let p(w) = -w**3 - 2*w**2 + 4*w + 2. Let m be p(-3). Suppose -550 = -12*o - 10*o. Let g be 10/12*5/o. Are m and g nonequal?
True
Let m(u) = u**3 - 8*u**2 + 21*u - 53. Let f be m(6). Suppose 2*s - 3*h + f = 0, -5*s + 7*s + 4*h = -22. Do s and -15 have the same value?
False
Let p be (2/(-4))/(4400/736 + -6). Suppose -1050 = p*n - 30*n. Which is bigger: 147 or n?
n
Let w(c) = -10*c - 97. Let i be w(-10). Let p be 7/28 + (-51)/i + -2. Is p less than or equal to -19?
False
Let t(v) = 2*v + 4. Let s be t(-3). Let u be (62/403)/(s/28). Is u equal to -2?
False
Suppose -3*g = 4*m - 499, -5*g - m = 