 292/2225. Is j greater than 1?
False
Let n = 3406.7913 - -1.2087. Which is smaller: 1 or n?
1
Let r(f) = -2*f**3 + 3*f**2 + 9*f + 2. Let l be r(-5). Let m = l - 305. Is -8 greater than m?
True
Let p be -1*((-9)/45 + 95/(-25) + 5). Which is smaller: p or -11/2775?
p
Let b(z) = -29*z**2 - 921*z + 224. Let k be b(-32). Let a be 4/(-7)*(-1)/102. Is k <= a?
True
Let s = -19727/830 + -11/83. Which is smaller: s or -23?
s
Let d = 531/14 - 38. Suppose 2*u = 2*g - g + 4, -4*g = u - 2. Suppose g = -3*f + 4*f. Which is bigger: f or d?
f
Let d = -48760.8 - -48601.8. Let w = -0.5 + 0.3. Is w smaller than d?
False
Let m = 22 + -21. Let i be (1 - 5)*(-39)/(-2158). Which is bigger: m or i?
m
Suppose 0 = -4*b + h + 43, 3*h + 49 = 3*b + b. Let j be (-44)/(-20) - (-8)/b. Suppose 5*z = -2*y + j, -3*z - 3*y = y - 13. Which is smaller: z or 5?
z
Let u be 6/30 + (-46)/130. Let n be 18*2/4*(-4)/(-4). Let r be -4 + 2/n + (-290)/(-72). Is u bigger than r?
False
Let q be (-4)/30 - 10/(-75). Suppose -t + 5*t - 8 = q. Let j be (t/3)/(11/15) + -1. Which is bigger: j or 0.06?
0.06
Suppose 0 = -m + 10 - 2. Let h = 133 - 421. Let o be (-6*(-6)/144)/((-10)/h). Is m at most o?
False
Suppose 5*k = 2*h + 105, -4*k - k - 95 = 2*h. Let d = 57 + h. Let w(f) = -f**3 + 7*f**2 - f + 5. Let p be w(d). Is p bigger than 9?
False
Let y = 500 - 43498/87. Is y <= -1?
False
Let v = -76.2 + 68. Let q = 8.26 + v. Which is bigger: q or 0.3?
0.3
Let t be (-34)/(-2) + 1 + 1. Suppose 5*d = -3*o + 6*d + 18, 0 = 4*o + 5*d - 5. Suppose -5*p - 80 = -5*q, -2*q + 130 = 3*q + o*p. Are t and q equal?
False
Let a = -24.23 - -24. Let c = -126 + 144. Let q = 71/4 - c. Is q at least as big as a?
False
Suppose -12*n + 3*i - 179 = -14*n, n - 4*i = 95. Let p = n - 149. Is p > -55?
False
Let j(q) = 45*q**3 - 14*q**2 + 91*q + 2. Let p be j(4). Which is greater: p or 3024?
3024
Suppose -5*u + 5*z + 2200 = 0, 0 = -3*u - 2*u - 3*z + 2232. Let r be u/2632 + 14/(-49). Is r at least as big as -1?
True
Suppose 5*w + 18 = -7, 5*n + 5520 = -w. Which is greater: -1102 or n?
-1102
Let a be -1 - 1 - (-3 - 143). Let c(r) = 10*r**2 - 79*r + 300. Let t be c(4). Is a smaller than t?
False
Let d(p) = 116*p - 579. Let n be d(5). Suppose -2*j = -q + 3, 0 = -4*j + q + 1 - 4. Let u be (-5 - (-184)/28) + n + j. Which is bigger: 4 or u?
4
Let f be ((-112)/(-168))/(92/(-9)). Let t(g) = 5*g - 30. Let y be t(6). Is f < y?
True
Let l(c) = -2*c**3 + 6*c**2 - 4*c + 27. Let y be l(4). Let b = 10 + y. Is b greater than -4?
False
Suppose 8222 = 4*t - 306*z + 308*z, -t - 5*z + 2087 = 0. Which is smaller: t or 2055?
t
Suppose b + 2*a = -480, 3*a - 932 = 2*b - 0*b. Let o = b + 15577/33. Which is smaller: 0 or o?
0
Let m = 5896 - 88414/15. Is 1 greater than m?
False
Let w be (27/18)/(1/584). Let a = -903 + w. Is a at most -26?
True
Let t(q) = 0*q - 154 + 149 + q**2 - q**3 + 2*q. Let r be t(0). Let s be (4 + r)*1 + 2. Is s < -5/16?
False
Suppose 0*h = 5*h + 210. Let a = h - -42. Suppose a = 4*t - 4*r + 32, -3*t - 5*r = -5*t - 25. Is t > -5?
False
Let a = -8179/13312 + -1/1024. Let m be 2/5 + (-178)/445. Which is bigger: a or m?
m
Suppose -2*c + 4*p = 892, 5*c - p + 76 = -2163. Let j = -198015/442 - c. Which is smaller: -1 or j?
-1
Let s = -86429 + 86353. Let u be (-14 + 1)/((-3)/(-18)). Are u and s non-equal?
True
Let c = 11594 + -9749. Which is smaller: 1848 or c?
c
Suppose 4*k = -q - 591, 11*q = 3*k + 8*q + 432. Is k smaller than -139?
True
Suppose -13713 - 15144 + 597 = -18*s. Is 1569 < s?
True
Let d(h) = 2*h**3 - 42*h**2 + 8*h - 183. Let r be d(21). Which is smaller: r or -121?
-121
Let v = 3498 + -6995/2. Which is smaller: 29.42 or v?
v
Let x be (2 + -8)/2 - -6. Suppose x*v + 10 = 2*v. Let q be (-90)/75*v/4. Which is greater: q or 4?
4
Let h = -55 - -65. Let g(j) = -j**3 + 11*j**2 - 9*j - 33. Let w be g(h). Which is bigger: -24 or w?
w
Suppose 4*c + 4 = 0, -4*p = 3*c - 1 - 8. Let t be 2 - ((-38)/(-6) - (p + 1)). Is t greater than or equal to -1/3?
True
Suppose 0 = 5*i + n - 4072 - 3049, 2*n + 1411 = i. Is i >= -0.1?
True
Let j = 20156 - 20156. Is j smaller than -11.922?
False
Suppose 2*d + y + 1833 + 68 = 0, -2*d = 5*y + 1897. Is -948 not equal to d?
True
Suppose -2*f = 5*s - 338, -2*f = -12*s + 7*s + 362. Is 30 greater than or equal to s?
False
Let w = 14591 - 15040. Is w != -410?
True
Let k be ((-1)/77)/(13/(-143)) - (-670)/14. Which is greater: k or 616/13?
k
Suppose 0 = 5*g - 2*i - 59, -102*i - 4 = -100*i. Which is smaller: 100/9 or g?
g
Let h = 605117/6635 + -456/5. Which is bigger: -1 or h?
h
Let c = 181 - 116. Let t = 65.037 - 0.037. Let z = c - t. Which is bigger: 2.2 or z?
2.2
Let i = 21108 + -21110. Is -0.749 at least i?
True
Let n = 20 - -43. Suppose 56*x - 52*x - 250 = 3*f, -2*x + 126 = -f. Is n greater than x?
False
Let g(v) = -2 - 4*v - v + 4*v. Let r be g(-3). Let j(d) = -2960*d + 5918. Let k be j(2). Which is bigger: k or r?
r
Suppose -48 - 1230 = -71*f. Suppose -f*u = 248 + 1282. Which is smaller: u or -0.1?
u
Suppose -4*m + 27 = 3*g - 52, 4*m - 13 = -g. Suppose g*s = 31*s - 134. Which is bigger: -69 or s?
s
Let h be (38/(-10))/(26/2405)*2. Let b = h + 2077/3. Which is smaller: -4 or b?
b
Let m = 392.2 - 392. Is m != -0.632?
True
Suppose -3*i = b + 499 - 467, 3 = -3*i. Which is greater: b or -54?
b
Let d = -0.04749 - 32.95251. Let s be -1 + -9 - (-4 - -3). Is s greater than d?
True
Suppose -10*m = -2*m + 40*m + 140544. Is m at least -2924?
False
Let t(g) = 20*g**3 - 5. Let u be t(-2). Let p = u - -105. Is -60 at least p?
True
Let n = 5.23 - 5.33. Let s = 2.67 + -0.27. Is n not equal to s?
True
Let q = 55528/9754517 - -2/28111. Let r be (-6 + 21 - -1) + -17. Do q and r have different values?
True
Let a(i) = -i**3 - 3*i**2 - i - 4. Let v = 450 - 453. Let t be a(v). Which is bigger: -11/36 or t?
-11/36
Let l = -2.03 + 2. Let i = l + -11.97. Suppose 13*s + 4*s - 34 = 0. Which is greater: s or i?
s
Suppose -7*u + 12*u - 110 = 0. Let t = 27 + -23. Let h be ((-12)/(-9))/t - u/30. Is h bigger than 0?
False
Let v(q) be the first derivative of -q**4/4 + 13*q**2/2 + 22*q - 40. Let t be v(-4). Is 33 != t?
True
Let c(d) = -11*d + 452. Let i be c(14). Is 298 equal to i?
True
Let s be (-76)/144 + (-9)/(-12). Let d = s + 8/45. Are 1/40 and d equal?
False
Suppose -134*r + 12895 + 208607 = 0. Is r less than -6?
False
Let m(t) = -7*t**2 - 8*t + 32. Let x be m(-5). Which is smaller: 10 or x?
x
Let m = 2147 - 2175. Are m and -1/2 equal?
False
Suppose 4*b + 17 = -4*t - 3, 4*t = -4. Let x = -63 + 53. Let a be 5/((-100)/48)*x/(-3). Is a bigger than b?
False
Let v(j) = 320*j - 1611. Let u be v(5). Which is bigger: u or -85/8?
-85/8
Let l = 132 + -128. Suppose 5*r + 2*c + 59 = l*c, 0 = 5*c - 10. Which is greater: r or -3?
-3
Let f = 4.4 - -1.6. Let d = 113.8 - 113.5. Is d at least as big as f?
False
Suppose -g = -5*b - 1759, -3538 = -136*g + 134*g + 5*b. Is 1781 > g?
True
Let p = 44 - 39. Suppose 2*w = 3*w, -2*j + p*w = -4. Suppose 5 = 5*g, 0 = 3*c - 2*c - j*g + 2. Are -1/49 and c equal?
False
Let v(a) = -a**3 - 81*a**2 - 836*a - 90. Let x be v(-69). Does x = 3235/7?
False
Suppose -12*h = 14*h - 78. Suppose -3*a = 6, -5*f + 38 = -h*a - 18. Is 10 greater than or equal to f?
True
Let t = 62.06 - 0.06. Let c = t - 50.1. Let q = c + -11.8. Which is smaller: q or 76?
q
Suppose 3*u - 573 = -4*y, 4*u - 885 = -2*y - 121. Let v = -190 + u. Which is bigger: v or 22/9?
22/9
Let y = -2.06 - -1.891. Let q = -0.369 - y. Is -6.9 at least as big as q?
False
Suppose 2*w = -w. Let o be (162407/(-963))/7 + -2. Let t = -235/9 - o. Is w at least as big as t?
True
Let z = -4913 + 4933. Is z less than 8?
False
Suppose 4*x + 25 - 5 = 0, 0 = -o + 2*x + 12. Suppose -7*i = -3*r - o*i - 288, -352 = 4*r + 4*i. Let j = 92 + r. Which is greater: j or -1/31?
j
Let a(h) = -h**3 - 6*h**2 - 6*h - 5. Let r(c) = 47*c - 2. Let z be r(1). Let d = z - 49. Let g be a(d). Which is bigger: g or -11?
-11
Let f(w) = -10*w + 298. Let h be f(18). Do h and -0.08 have the same value?
False
Let b(p) = -3*p**3 - 64*p**2 - 37*p - 116. Let j be b(-18). Is j at least -2693?
True
Let i = -23 - -15. Let w = 136141 - 1225333/9. Which is smaller: w or i?
i
Let q = 148/93 - 39/31. Do 0.01651 and q have the same value?
False
Let l(s) = -s**2 - 54*s - 200. Let v be l(-50). Are v and -3/241 nonequal?
True
Let 