*4/12 + 13*q**3/6 + 3*q**2/2 - 189*q. Let g be m(-1). Is g less than 33?
False
Let h be (2 - (-32)/(-14)) + 244/427. Let k = -32 + 35. Is h >= k?
False
Suppose -73725 = -16*q + 23715. Let d be (-24348)/q - (14 + -18). Do d and -1 have the same value?
False
Let j = -4284 - -38554/9. Which is greater: j or -0.03724?
-0.03724
Let w be (-5450)/(-30) - (-20)/(-12). Is 192 != w?
True
Suppose 418 = 4*v + 130. Let p be (v/21)/(5 + (-243)/49). Which is greater: 83 or p?
p
Let n = 188 + -194.6. Let f = n - -3.6. Which is smaller: 19 or f?
f
Let m = 16.2 - 15.09. Let r be 5*-3 + 22/440*295. Is m greater than r?
True
Let n = -557 + 555. Let r be -1 - -4 - (3 + -58 + n). Is r bigger than 57?
True
Let r = -0.269 - -0.51. Let p = 0.121 - r. Let f be (-4)/(-10) - 1/5. Which is greater: f or p?
f
Let o be (18 - 20)/(5/(-11)). Let q = 868/195 - o. Are q and -1 equal?
False
Let b be (-2)/3 - 188/(-273). Let c = -1294.248 + 1290. Let p = c + 0.248. Which is greater: b or p?
b
Let x = -10711/6 - -74497/42. Is x greater than or equal to 19?
False
Suppose -2*z = -c + 2*z + 11, 8 = 2*c - z. Suppose -5*h = -20, -c + 8 = a + h. Suppose -a = 2*s - y, -y + 2*y - 7 = -4*s. Is -1/18 at most as big as s?
True
Suppose -50*q - 308*q + 4296 = 0. Is 38 equal to q?
False
Let j(m) = -34*m + 395. Let h be j(10). Suppose -12*s - 520 = -17*s. Let t = -50 + s. Is h greater than t?
True
Let m = -748 - -748. Is -2/1091 less than m?
True
Let d be (-22 + 20524/16)*8. Is 10086 < d?
False
Suppose -5*t + 20 = j, -4*j - 22 = t - 9*j. Let m be (-20)/30 - 121/t. Let w = -42 - -1. Do w and m have different values?
False
Let a = 15 + -6. Suppose 5*b + 6 = -a. Suppose y - 11 = -3*g, -4*y = -g - 0*g - 5. Is b <= g?
True
Let z = 173.6784 + -173.37. Which is bigger: z or 1?
1
Let t be 338/364 + (-6)/14. Let x(a) = -13*a - 10. Let l be x(-4). Is t <= l?
True
Suppose -517 = 3*o + 2*b + 1047, 5*b + 1570 = -3*o. Let u = o - -521. Which is greater: 1/158 or u?
u
Suppose -16648 + 5789 = -5*a + 3*n, 3*a - 6529 = -5*n. Which is smaller: 2174 or a?
a
Let r be (-16)/(-420)*-191 + (-56)/(-42). Which is smaller: -5 or r?
r
Let a = -308 - -309. Let p be (-5)/(-3) + 1/3. Suppose 0 = -p*q - 2*q + 8. Which is greater: a or q?
q
Let a = 28 - 15. Let h be -52 + (-4316)/(-78) + 518/48 + -1. Is h at most as big as a?
False
Suppose -12*n = 102 - 630. Let t be (-218)/(-12)*-4*3/(-5). Which is smaller: t or n?
t
Let x = -294 + 151. Let l = 226 + x. Is 83 > l?
False
Suppose 331*b - 355*b + 6552 = 0. Is b at least as big as 3561/13?
False
Suppose 12*w - 6 = 18. Let t be 10/w + (73 - 28). Which is smaller: 48 or t?
48
Let f be 473/5 + 2 - (-57)/(-95). Suppose -4*y - 2*z + 394 = 0, 97 = 4*y + 5*z - 312. Is f equal to y?
True
Let v = -397401 + 397390. Suppose 8*t - 44 = 4*t. Which is smaller: t or v?
v
Suppose -2*s + 300 - 285 = -z, z - s + 7 = 0. Which is greater: 3/799 or z?
z
Let w = 1404 + -1349. Which is greater: w or 2/7?
w
Suppose 440430 = 67*r + 39*r. Which is bigger: -1 or r?
r
Suppose 3*d + 0*d - 37 = 2*u, -3*d = 5*u + 82. Let x(y) = -22*y - 238. Let m be x(-10). Is m greater than u?
False
Let i = -397 + 24625/62. Let g = 2341/434 + i. Which is bigger: g or 7?
7
Let a(m) = -m**2 - 33*m - 118. Let b be a(-4). Let v = -9 - -11. Which is smaller: b or v?
b
Let m be ((-197)/5)/(16 + 805/(-50)). Is 389 equal to m?
False
Let w(f) = f**3 - 3*f**2 - 66*f + 36. Let a be w(11). Let t be 2 - (-2)/(-2) - 23*-12. Which is smaller: t or a?
t
Let l(c) = c**2 + 49*c - 190. Let z be l(-51). Which is smaller: -13 or z?
z
Let q be (-12)/30*(-115)/9. Let x = -781/144 + q. Which is bigger: 1 or x?
1
Let i be 12/(-10)*(-1)/4. Let p be (-14)/21*-15*(-2)/(-5). Suppose -4 = 3*j - z - 0*z, p = 3*j + z. Which is smaller: i or j?
j
Let c(f) = f**2 - 25. Let h = 415 + -420. Let n be c(h). Which is bigger: n or 1/437?
1/437
Let t = 8 + 404. Let h = t - 385. Suppose 5*x = -f + 140, 5*x + 4*f - 155 = -0*f. Is h less than x?
False
Let x = -1784.9 - -1785. Is -220 smaller than x?
True
Let d = 43/2 - 121/6. Suppose 27 - 49 + 82 = 20*y. Is y at least d?
True
Suppose -4*h - q = -3, -9 + 18 = 5*h - 4*q. Is 2/35667 != h?
True
Let m be ((-120)/(-84))/(5/(-42)). Are -1 and m equal?
False
Let k = 429 - 429. Let d be (1952/84)/8 - 3. Which is smaller: d or k?
d
Let t be ((-416)/(-39)*(-2)/(-8))/((-94)/96867). Is t at most -2747?
True
Let m = 34 + 201. Let s = -130 + m. Suppose 5*x + s = -2*x. Is x at most -16?
False
Let i = 125.122 + -125. Let g = -0.2541 - -0.0541. Are g and i equal?
False
Suppose -10*d - 1033 = 843 + 614. Is d > -1241/5?
False
Let k = 27298 - 25640. Which is greater: k or 1657?
k
Let z(d) = -d**2 + 8*d + 5. Suppose 3*u - 40 = 4*r, u + 3*r + 20 = 2*u. Let g be z(u). Suppose g*n + y = 5*y + 31, y + 27 = 4*n. Which is smaller: n or 5?
5
Let g = 36201 - 48545545/1341. Does g = 0?
False
Let h be (-156)/(-4)*((-4132)/824 + 5). Which is greater: -1 or h?
h
Suppose -2*h = 4*h - 582. Let n = -98 + h. Which is bigger: n or -2/649?
-2/649
Let r(g) = 17*g**3 + 103*g**2 + 190*g + 96. Let k(w) = -7*w**3 - 51*w**2 - 95*w - 48. Let h(o) = 5*k(o) + 2*r(o). Let f be h(-47). Is 2/735 at most as big as f?
False
Suppose -60 = 57100*i - 57080*i. Suppose 0 = 5*z + 3*r - 11, 0*z - 5*z + 7 = r. Let v(m) = -5*m + 1. Let f be v(z). Which is bigger: f or i?
i
Let a(s) = s**3 - 3*s**2 - 12*s + 13. Let o be a(9). Let b = -1849 - o. Let v be (-4)/14 + (-668)/b. Which is smaller: v or 0?
0
Let f = -284 - -283. Which is bigger: f or -38/41?
-38/41
Let n be (-16 + (-1408)/(-96))/((-10)/(-51)). Is -48 > n?
False
Let r(i) = i**2. Let g be r(1). Suppose 10*m - 6*m - 364 = 0. Let a = m + -90. Is g at most as big as a?
True
Let y(w) = 7*w**3 - 4*w**2 - 16*w - 14. Let a(r) = -3*r**3 + 2*r**2 + 8*r + 6. Let i(k) = -5*a(k) - 2*y(k). Let s be i(5). Which is greater: 34 or s?
34
Let r = -87 - -131. Let b(i) = -79*i - 10540. Let z be b(-134). Does r = z?
False
Suppose -306 = -33*w + 27*w. Let b = 47 - w. Let k be b/(-20) - (0 + 542/10). Which is smaller: -55 or k?
-55
Let q = 0 + -2. Let j be (3 - -2 - -4) + q. Is j smaller than 22?
True
Let w be ((-4 - -4) + -1)/((-1 - 8)/(-27)). Is w <= -4?
False
Let n(i) = -304*i - 1297. Let a be n(-4). Let f be (-2)/((-6)/(-231)) + -3. Are f and a unequal?
True
Let g = -12990971/22154 - -22571/38. Let q = g + -156/53. Which is smaller: 5 or q?
q
Let u(x) = 27*x**2 - 206*x + 24. Let z be u(7). Is -138 less than z?
True
Suppose h = -4*i - 2, 0 = -9*i + 13*i - 2*h - 4. Are i and 60/173 equal?
False
Let x(t) = 3*t**2 + 67*t + 744. Let k be x(-26). Are k and 1030 nonequal?
False
Let n = 33/7 + -65/42. Suppose -7*a + 21 = -0*a. Which is smaller: a or n?
a
Let i(h) = 32*h - 8. Let f be i(6). Suppose -9*t + 11*t - 370 = 0. Is f <= t?
True
Let f = -131 + 131. Suppose -5*p + 3*o = -2*p + 75, 4*p - 2*o + 94 = f. Do p and -22 have the same value?
True
Let z be (-4995)/65 + 2 + (-4)/26. Is -86 at least z?
False
Suppose -5*n + 2*n = 0. Let x be 117/(-12)*(2 + 24232/(-11562)). Let p = x - 37/41. Is p < n?
False
Suppose -1523*g + 1524*g - 20 = 0. Is g smaller than 68?
True
Let a = 22 + -76. Let d = a + 44. Let z = -18 - -18. Which is bigger: d or z?
z
Suppose 11*u = 515 + 1531. Let h be (4 + (-220)/50)*-465. Is h at most u?
True
Suppose -17*b + 303 = 2785. Let w be b/46 + (-1)/((-5)/15). Is w <= 0?
True
Let n = 1235/8811 - -1/801. Is 1 less than or equal to n?
False
Let i = 7.74 - 10.6. Which is smaller: i or -0.9?
i
Let k = 2/29127 - 1805980/1543731. Are k and -1 nonequal?
True
Let j = 0.1 + -0.06. Let r = j - 0.04. Let q = -1195/44 - -296/11. Are q and r unequal?
True
Let x = -26891 + 26657. Is -242 bigger than x?
False
Let a = -2131 + 2105. Which is bigger: 7 or a?
7
Let y be (-3 - 0)/(562198/(-182)). Which is smaller: 2/5 or y?
y
Let d(p) = -p**2 - 7*p + 3. Let g be d(-6). Let m = g - 20. Suppose 5*k = t + 3, 2*k - k = t - 1. Which is bigger: k or m?
k
Let y = -28.873 + 29.873. Which is greater: -178/23 or y?
y
Let c(u) = -2*u**2 + 14*u + 17. Let v(k) = 2*k**2 - 15*k - 17. Let m(b) = -4*c(b) - 3*v(b). Let h be m(7). Let j be 4/16*22/h*4. Is j less than 7?
True
Let q = 330.2 - -47.2. Let a = q - 397. Is -1 at least as big as a?
True
Let o be 108/198 + (-295)/198. Let g = o + 4/9. Let h be 2*((-5)/2 - 1). Is h > g?
False
Let q = 0 - 0. Let m = -148057 - -1