v
Suppose 0 = -51*t + 46*t + 5*i - 955, 3*t + 3*i = -621. Which is greater: -1987/10 or t?
-1987/10
Let c be (966/4)/3*(-20)/(-630)*-18. Which is bigger: -1830/41 or c?
-1830/41
Suppose 4*w - 24*w = 11*w - 5*w. Which is smaller: 4/5965 or w?
w
Let c = 377.6 + -0.6. Let y = -374 + c. Is y equal to -19?
False
Let a(b) = -b**2 + 37*b - 350. Let h be a(19). Is -21 not equal to h?
True
Let f be (-20208)/64 + (-2)/8. Let m = f + 317. Is m bigger than -2/31?
True
Let b = -0.1072 + -11.8228. Let u = 12 + b. Let l = -51 + 205/4. Which is smaller: u or l?
u
Let v = 683/18 + 6449/90. Which is greater: 111 or v?
111
Suppose -848*x + 1608 = -847*x. Let y be -6 - (-3296)/x*3. Is y greater than 1?
False
Let c(a) = -a**3 - 13*a**2 - 6*a - 15. Let t be c(-13). Suppose q + 3*w = 27, 2 + t = 2*q - 5*w. Suppose 0*h - h = -q. Which is bigger: h or 29?
h
Let o = -5901856/1413 + 37588/9. Which is smaller: o or 0?
o
Suppose -667 = -101*a + 343. Let q be ((-42)/(-15))/((-4)/(-20)). Is q at least as big as a?
True
Let t be -8 + 270/33 + (-4)/(88/26). Which is greater: t or -5/14?
-5/14
Suppose 79 - 85 = -2*c, -128 = -2*u - 4*c. Are u and 56 nonequal?
True
Let d be (8 - 1987502/535304) + (-4)/14 - 4. Which is bigger: d or -1?
d
Let h = -1.2 - -1.2. Let r = -0.3244 + 2.7244. Which is smaller: h or r?
h
Let s = -7160 + 7150. Is 443 bigger than s?
True
Let a = -8334.9 + 8335. Which is smaller: a or -30/829?
-30/829
Let v(z) be the first derivative of -z - 25 - 9/2*z**2. Let x be v(1). Is -4 > x?
True
Let t = 55 - -149. Suppose -12*g + 420 + t = 0. Suppose 266 = -6*x + x - 4*d, 0 = x + 2*d + g. Is x less than -54?
False
Let g = -2803 + 2814.5. Are g and 3/2 equal?
False
Let t be (-1)/((13/3 + -4)/(-3)). Suppose 48 = t*c + 84. Let x be 7/(-12)*c/14. Is x >= -1?
True
Let m = 57141 - 57269. Let x(i) = -6*i**2 + 3*i + 5. Let n be x(5). Is n less than m?
True
Let z = -1 + 1.1. Let x = 36386.5 + -36392. Is x at most z?
True
Let a(c) = c**3 + 13*c**2 - 26*c + 66. Let u be a(-15). Which is smaller: -120 or u?
-120
Let u(n) = -7*n**2 + 5*n. Let v be u(0). Is 1709 at most v?
False
Suppose 0 = n + 12*n - 195. Suppose n*h - 11*h + 592 = 0. Is -147 less than h?
False
Let w be ((-5)/(-12))/((-90)/162). Which is smaller: -0.79 or w?
-0.79
Let q = 1112/35 + -11071/105. Let f = -65 + -10. Which is bigger: f or q?
q
Suppose 0 = -4*m - 20, -2*k = -k - 5*m - 41. Let l = 4368 - 4349. Is l smaller than k?
False
Let w = 6/4043 - 15209/7524023. Which is smaller: 12 or w?
w
Let t = -622 + -3890. Which is smaller: -4510 or t?
t
Let m = -69759/8716730 + -3/11990. Is m bigger than 1?
False
Let m = 142 - 119. Let q be (5 - 1) + m*-3. Which is greater: q or -64?
-64
Let m = -71/5 - -74/5. Let y(i) = 3*i**3 + 2*i**2 - 2*i + 1. Let b be y(1). Suppose 0 = -0*q + b*q. Is m > q?
True
Let v(u) = u**3 - 7*u**2 - 13*u - 9. Let i = 31 + -22. Let b be v(i). Let l be (9/b)/((-1)/4). Is 2/99 at least as big as l?
True
Let c be (232/70)/((-4)/10). Suppose 14077*z - 80 = 14087*z. Are z and c nonequal?
True
Let z be ((-4)/(-10))/((-2352168)/3908580) - 2/(-3). Is z >= -1?
True
Let t be -11 - (7 - 12) - -9. Let s be (t/2)/((-24)/1760*5). Which is bigger: s or -23?
s
Let v(a) = -a**3 - 9*a**2 - 6*a + 37. Let f be v(-9). Let y = -95 + f. Is 2 greater than y?
True
Let c = -139 + 173. Suppose 4*j - c = -2*v - 220, 4*v = -2*j - 78. Is -49 at least as big as j?
True
Suppose 2*h = 222 - 192. Let o = -13 + 17. Suppose -3*x - 8 = -p, 0*x = 4*p + o*x - 80. Which is greater: h or p?
p
Let t be ((-58)/(-220))/((-4)/(-11576)). Let k = 763 - t. Let m be 0/(-1) - 7 - (-10998)/1833. Is k at least as big as m?
True
Let i be 261/(-27) + ((-2)/3)/(-1). Let t(m) = -m - 12. Let a be t(i). Let n be 37/a - 16/(-12). Which is smaller: -10 or n?
n
Let p = -2403 - -2405. Is p less than 619?
True
Let x be 1/2 + (-2)/4. Suppose x*y + 6 = y. Let k = 1.848039 + 0.151961. Which is greater: y or k?
y
Suppose 2*w = 3*y - 2421, -w - 1811 = -4*y + 1417. Which is smaller: y or -5?
-5
Suppose 4*r - z + 25 - 132 = 0, 2*z - 83 = -3*r. Suppose 36 = -3*u - r. Is -0.1 less than or equal to u?
False
Let k be -5 + -14 + 18/9. Suppose -4*y = -3*p + 72, -y + 4*p - 28 - 3 = 0. Which is smaller: k or y?
k
Suppose -4*h = -5*b - 43, -3*h - b + 6*b = -31. Let w be h/(-9)*1*12/8. Which is smaller: w or -12/7?
w
Let m = 443/1365 - 119/195. Let o = -2 + 2.08. Let p = 0.38 - o. Which is bigger: m or p?
p
Suppose -15*n - 2329 + 2299 = 0. Let z = 0 - 0. Let d = -2 + z. Is d equal to n?
True
Let x be (24/72)/(0 + (-2)/(-1098)). Let r = x - 184. Which is smaller: r or 4/39?
r
Let y(a) = -a**3 - 6*a**2 + 7*a - 1. Let l be y(-7). Suppose 31 = 5*m + 11. Let q be (2/m)/(325/(-26)). Is l at least q?
False
Let x(q) = 3*q**3 - 5*q**2 + 2*q + 235. Let p be x(-9). Which is bigger: p or -2372?
-2372
Let m(c) = c**2 + 27*c + 4. Let n be m(-26). Let p be -6*6/(-36) - n/(-18). Is p less than -22?
False
Let a = 436.9 + -437. Are a and -2671 non-equal?
True
Let c = -8/803 - 677692/4015. Which is greater: c or 0.2?
0.2
Let j = -224/15 + 2861/60. Suppose 2*i + 2*g - 62 = 0, 6*i - 2*g - 142 = 2*i. Is i <= j?
False
Let m = 13.62 - 13. Let g = -3315 - -3315.53. Let a = g - m. Is a smaller than -5?
False
Suppose -5*k = 5 - 0. Let v(h) = -14*h**3 - h**2. Let a be v(k). Let s(t) = t**3 - 13*t**2 + t - 12. Let l be s(a). Is l > -1/21?
True
Let a = -16857 - -21148. Is a > 4290?
True
Let v(g) = -3*g**2 + 13*g - 4. Let i be v(10). Let q = i + 174. Which is greater: q or -1/46?
q
Let x = 0.3 + -1.3. Let m(u) = 8*u**2 + 4*u + 1. Suppose 3*y - 1 - 9 = 2*o, -o - 12 = -5*y. Let d be m(o). Is x at most d?
True
Let j = -1005050545/34 + 58956271/2. Let n = j + 82144. Let q = -31 - n. Which is smaller: 0 or q?
q
Let d = -253 + 1018. Let u = d + -822. Is u not equal to -2/3?
True
Let b be -5 + (28 - 201 - (-2)/(-4)*4). Is -181 at most b?
True
Let b = -0.003432 + -533.886568. Let w = -531 - b. Which is smaller: -0.1 or w?
-0.1
Suppose 6*b = 401 + 319. Let k = 4801/40 - b. Which is smaller: k or 1?
k
Let n = 10 + -263. Let x = n + 216. Which is smaller: x or -115/3?
-115/3
Suppose -19834 = -5*o - c - 104768, 0 = -o - 4*c - 16964. Is -16990 less than or equal to o?
True
Let s be (-5 - (-102)/18)*15. Let n = 13 - 4. Let o = s - n. Is o less than -1/4?
False
Let z = 1.63 - 12.13. Let p = z + 10.8. Let s = -11 + 10.4. Which is greater: s or p?
p
Let r = 7/1752 + -3/584. Which is bigger: 1 or r?
1
Let o(r) = 2*r**3. Let q be o(1). Let p(z) = -z**3 - 1 + 3*z**2 + 52*z - 46*z - q. Let b be p(4). Which is smaller: b or 2?
2
Suppose -56*k = -8520 - 9176. Is k greater than 319?
False
Let g be (176/(-11) + -2)*(-24)/54. Is 524/75 at most as big as g?
True
Let o = 346 - 349. Let f be (o/(-52))/(495/(-120)). Which is smaller: -1 or f?
-1
Let w = 1799.451 + -5.451. Do w and -0.2 have the same value?
False
Let c = 6833 + -6833. Let s = 3869/4 + -158677/164. Is s > c?
False
Let p be (-19 - -37)*(-1 + 2). Suppose -4*t - 21*l + p*l = 13, -2*l = -2*t - 10. Do t and -5/2 have different values?
True
Let z be 4/32*4*0. Suppose z = -8*m - 90 + 138. Is m greater than -5?
True
Let m be 1800/11745*9/6. Which is smaller: 1 or m?
m
Let d be 3/(-1*3/6). Let y be (-129)/d*(-8)/(-4). Suppose 113*m - 8058 = -3312. Which is smaller: y or m?
m
Let k be ((-18718)/147)/((-4)/(-6)). Which is smaller: -189 or k?
k
Let b be (-42)/(-12) + (-50)/(-60). Let y = b + -227/60. Which is greater: 1 or y?
1
Let n(o) = 11*o + 65*o**3 - 2*o - 17 - 66*o**3 - 7*o + 9*o**2. Let b(v) = v**2 - v + 3. Let p be b(3). Let m be n(p). Is m at least 3?
False
Suppose 0 = 19*s + s - 1580. Suppose -44 = -3*o + s. Is o not equal to 43?
True
Suppose i + 3*i = 0. Let f be (11 - 16)*1*(-1)/(-6). Is i at least f?
True
Suppose -221*p - 198505 = 20506. Which is smaller: p or -1981/2?
p
Let f = -1537 - -1543. Let g be (-4 - (-308)/96)/(1/(-9)). Which is smaller: g or f?
f
Let x(t) = -14*t - 1 + 26*t - 51*t + 3*t**2. Let i be x(13). Is 1/10 at least i?
True
Let l = 8/461 - 11164/112023. Is l less than or equal to -0.1?
False
Suppose 3*o - 17 = -5*t, t - 95 = -5*o + 6*t. Suppose 5*c + 4*j + 96 = 9*c, 0 = -c + 2*j + 34. Is o less than c?
False
Let w(q) = q**2 + 17*q - 57. Let b be w(-20). Suppose -3*f = -3*d - b, -7 + 2 = -4*f + 5*d. Which is smaller: -11/32 or f?
-11/32
Let p(w) = 3*