 -g*i + 12*i. Which is bigger: i or 23?
23
Let k = -0.1 + -4.9. Let j = -1877 + 1870. Let o = k - j. Which is bigger: -5 or o?
o
Let h(s) = 12*s + 16. Let g(o) = -61*o - 79. Let v(n) = 2*g(n) + 11*h(n). Let x be v(-6). Let a be -4 + 1 - x/((-9)/(-3)). Is 52/5 != a?
True
Let m be 3 - 2/(-9)*(-297)/44. Is m at least -36/97?
True
Suppose 3*t + 8 = m - 7, -5 = m + 2*t. Suppose m*x = -2*l - 17, x = -18*l + 16*l - 7. Is l < -1/3?
True
Let g be (10/9 - 1)/((-57749)/258). Do g and 0 have different values?
True
Let z = -25386 + 20986. Are -4402 and z non-equal?
True
Let o = 2297 + -668. Which is smaller: o or 1630?
o
Let k = 0.84 + 33.16. Let n = -226 + 236. Let b = n - k. Is b at least as big as 1/2?
False
Suppose y - 5*r - 143 = 0, -r - 735 = -5*y + 4*r. Suppose -338 = 3*z - a, 0 = -2*z - 5*a - y - 49. Is z equal to -112?
False
Let o = -83/2676 - 35/669. Which is greater: o or 0.0016?
0.0016
Suppose -35*k + 120*k - 1360 = 0. Let g be 1 + (-16 - 4/2). Let f = k + g. Are 1/96 and f non-equal?
True
Let x = 6 - -14. Suppose 5 = 2*f - 5*v + x, 3*f - 3*v + 9 = 0. Is -1/173 at most f?
True
Let p = 6997 + -8930. Which is smaller: p or -1932?
p
Let w = -3550 - -3549. Is 9/47 greater than or equal to w?
True
Let t = 393/4 + -99. Let b = 3019.97 - 3040. Let w = 20.1 + b. Is w bigger than t?
True
Let h = 7.06 - 0.16. Let d = h - 6.9. Is 3/13 < d?
False
Let x = -66.62 - -63.62. Does x = 449?
False
Let o = -332 + 344. Let n = 15.9 - 18. Which is bigger: n or o?
o
Let a be -25 - -30 - (-11574)/(-2331). Which is bigger: 0 or a?
a
Suppose -f - 18 = 2*f. Let v be f/15 - 0 - 6471/(-5910). Let p = 1/197 + v. Which is bigger: 0 or p?
p
Suppose -2*u = -2*o - 8, 35*o - 6 = -3*u + 36*o. Let s(p) = -5*p**3 + p**2 + 2*p + 1. Let a be s(-1). Which is bigger: u or a?
a
Let l(w) = 1622*w - 2129. Let n be l(-4). Are n and -8617 non-equal?
False
Suppose 2*d + 4*d - 30 = 0. Suppose 28 = 3*o + 5*p - 7, -5 = -d*p. Let r = -57 - -56. Does r = o?
False
Let c(y) = y**3 - 12*y**2 - 36*y - 30. Let h be c(14). Let j = 154 + h. Which is greater: 5 or j?
j
Let q(o) = 4*o + 8. Let t be q(1). Suppose -5*n = 4*c - 3, 0*n - n = -c + t. Which is smaller: 2 or c?
2
Let z be ((-5158300)/92110)/7 - -8. Which is greater: 0 or z?
0
Let q = 16480 + -8194. Which is smaller: 8285 or q?
8285
Let u = 0.3 + -0.6. Let o = 54.7 - 33.7. Is o greater than u?
True
Let v = 655183/24 - 27294. Which is smaller: v or 4?
4
Let t = 6168 + -10470. Is t != -1?
True
Let x = -531 - -505. Are x and -4 equal?
False
Let d(q) = q**2 - 145*q + 4603. Let i be d(49). Is 0 not equal to i?
True
Let s = -2417 + 2424. Let k = 16 - 9. Suppose 42 = 5*d + k. Are s and d unequal?
False
Let p = 1550 - 1553. Let i = -1409/63 - -182/9. Is i >= p?
True
Let r = 4.2 + -4.84. Let d = r + -0.16. Let j = 6.0462 + -0.0462. Is j greater than d?
True
Let v be 1755/(-26)*8/(-6). Let p be 70/(-8)*(-8 - (-783)/v). Is -6 bigger than p?
True
Suppose 635*h = -156591 - 78994. Which is smaller: h or -363?
h
Let d be (0/1)/(-2) - 55/(-55). Which is smaller: d or 1/3505?
1/3505
Suppose 0 = -4*u + 3*s + 2*s + 1, -3*u = -4*s - 2. Let z be u*((-77)/38 - -2). Suppose b - 84 = -83. Is z equal to b?
False
Let i = 15.83 - 8380.83. Is -1 at least i?
True
Let z(w) = w**2 - 33*w - 34. Let l be z(17). Let h = 19892/65 + l. Which is greater: 1 or h?
1
Let v = 982 + -772. Suppose v = -r + 61. Is -149 equal to r?
True
Let y be (-2)/1 + 2 + 1. Let f(t) = 5 - 5 - 2*t**2 + 4*t - y. Let u be f(2). Which is bigger: -4/11 or u?
-4/11
Let l be ((-1)/(-3))/((-7)/(-21)) - -46. Let w = l + -45. Suppose w*a - 1 + 1 = 0. Which is smaller: a or 1/25?
a
Suppose 30*z + 5*s - 4891 = 31*z, 0 = -4*s - 16. Is z smaller than -4910?
True
Let g(t) = t**3 + 4*t**2 - 6*t - 26. Suppose 0 = 4*d - 4*l + 4, -l + 13 = -3*d - 2*d. Let s be g(d). Which is smaller: s or 68?
s
Let s = -3872 - -3872. Is -17/87 at most s?
True
Suppose 32*v - 243 = 29*v. Let w = 1137/14 - v. Let y = -60 - -59. Which is bigger: y or w?
w
Suppose -2526*l + 8140 = -2528*l + 5*s, 4*l + 16336 = 3*s. Which is bigger: l or -4092?
l
Suppose 3*p = -760 + 240 - 1124. Which is smaller: p or -1?
p
Let x = 11 - -20. Suppose 2*j + 644 = 9*j. Suppose j*r - 96*r = -120. Is x at most as big as r?
False
Suppose -24*w = -28*w + 3*c - 1256, 3*w - 5*c = -942. Is -302 <= w?
False
Let y = 96694393/45265 + 140/9053. Let d = y + -2079. Is 58 equal to d?
False
Suppose 15 = -5*h - 2*c, 14 + 1 = h + 4*c. Let q be h*4/(-20)*2. Let u = 28/47 - -377/235. Which is smaller: q or u?
q
Let i be 2051544/(-360) - (-4)/(-15). Which is smaller: i or -5700?
-5700
Let w be 18 + -3 + 27/9 + -2. Suppose -15*a - 14 = -w*a. Does a = 55/4?
False
Suppose -103*t + 34 = -69*t. Let b = -2843/12095 - 17/295. Is b at most t?
True
Suppose -12*s + 57800 = 88*s. Is 582 > s?
True
Suppose 4*l + 41 = 57. Suppose -3*y + 4*u = -4 - l, -y + 2*u = -4. Which is smaller: y or 6/35?
y
Suppose 77*y - 145*y - 56 = -76*y. Let l = -3.2 - -1.8. Are l and y equal?
False
Suppose -4*t = -8*t + 16, 3*o - t = 2192. Let p = 2458876 - 41813330/17. Let f = o + p. Is -1 equal to f?
False
Let m = 19526/3 + -156547/24. Which is smaller: m or -2/5?
m
Let f(g) = -g**3 - 4*g**2 + 9*g + 19. Let y be f(-5). Let w be -6*y/10 - 6/10. Let b be (-1)/((86/(-3))/(-2)). Is b != w?
True
Suppose 33 = 5*f - 2*h, 0 = 5*f - 3*h - 0*h - 37. Let m = 237 - 234. Is m < f?
True
Suppose -3*b - 5*f + 3*f - 1901 = 0, 3117 = -5*b + 4*f. Is b at least -629?
True
Let g(b) = -b + 4. Let f be g(1). Let a be ((-648)/71)/f - 72/(-24). Are -1 and a non-equal?
True
Suppose 3*d + 12 = 18. Let z(a) = -3*a**2 + 11 + 17*a**2 + a**d + 15*a + a**3 + 0*a**2. Let m be z(-14). Is m less than -2?
True
Let y = 1.824 - -43.176. Let j = 51.48 + 0.52. Let t = y - j. Which is smaller: t or 1?
t
Suppose -4*a + 20 = 0, 4*a = 5*j + a + 45. Let v be (-27)/(3 + j) + -4. Suppose -v*f + 3*i = -1, -2 = 4*f - 6*f + 2*i. Are -3 and f equal?
False
Suppose 0 = g - 189 + 1271. Let l be (-240)/300 - g/1390. Which is bigger: 1 or l?
1
Let s = -565 + 569. Suppose -6*i + 1 = -4*r - 5*i, 2*r = -s*i + 22. Let v be (-3)/(-10)*2/(-102). Are v and r unequal?
True
Let i = 565 + -569. Let o be (75/(-18) - i)/(69/(-6)). Which is smaller: o or -1?
-1
Suppose 7*s + 8 = 78. Let v be (((-855)/10)/9)/(85/s). Which is smaller: -2 or v?
-2
Let m = 6713.75 - -81.25. Is m less than or equal to 2/5?
False
Let j(v) = -6*v**2 + 12*v + 45. Let l be j(-4). Is l at most -98?
True
Let q = 392 - -390. Let l = 782 - q. Which is greater: -2/1971 or l?
l
Let t = 228 + -531. Let g = t + 303.1. Which is smaller: -103 or g?
-103
Suppose 4*q + 4*y + 13 = 5*q, -q = -3*y - 10. Let x = 98149635/884 + -111029. Is x != q?
True
Let q = -10 + 9. Let h = 4/383 - -2445/22597. Which is smaller: h or q?
q
Let u(h) = -2*h**3 - h**2 + h + 2. Let p = -24 - -22. Let v be u(p). Suppose 0 = v*a - 15*a. Is -4/11 not equal to a?
True
Suppose -31 - 9 = 5*i. Let h be (-4)/i*(3 - 1). Let t = -295/231 - -13/11. Which is bigger: t or h?
h
Let g be -1 + 5 - (5117102/319821 + -12). Which is greater: 0 or g?
g
Let w = -9 + 14. Suppose 4*g - b = -62, -w*g - 5*b - 94 = -4. Let i = 609 + -624. Is i smaller than g?
False
Suppose -b + 2 = f, 5*b + 2 = -f - 8. Let y be 153/(-68)*56/b. Let l be 12/4 - 156/(-2 - 2). Is y bigger than l?
False
Let k = 1554 - 1065. Let t = -492 + k. Is -7/4 greater than t?
True
Let o be 3/((-16)/(352/(-99))). Let q = 80.96 + -79. Let u = q - -0.04. Which is bigger: u or o?
u
Suppose 283*j + 1124375 = -6*j - 3592. Which is bigger: j or -3902?
-3902
Let t be 4/(-12) + (-23)/21. Let o = t - -95/42. Let v(l) = 651*l - 3253. Let b be v(5). Which is greater: o or b?
b
Let g be ((-3)/18)/((-3)/12). Let h = 9.32 + -112.32. Do g and h have the same value?
False
Let d = -506.011 - -503. Which is smaller: 1 or d?
d
Suppose 17*p + 7929 - 1248 = 0. Is p greater than -394?
True
Let v = -26.8472 + 0.7992. Let f = -26 - v. Let d = 3.048 - f. Is 2 greater than d?
False
Let w = -19 - -38. Suppose 3*b - 2*b + 3*x = -12, -5*x - w = 2*b. Let f be b - (1 - (-24)/33). Does f = 0?
False
Suppose -2*g + 1 = -5. Suppose -5*a - q + 7 = -27, -g*q = -4*a + 12. Suppose 0 = -h - 4*c + 3 - a, 0 = -h - 2*c - 1. Do h and 1/37 have the same value?
False
Let k(p) = -191*p - 1600. Let t be k(24). Which is smaller: t or -6185?
-6185
Let