True
Suppose -2*j + 2*w = -66 + 166, -3*j - 3*w = 168. Which is greater: j or -317/6?
-317/6
Let j = 4690 + -4690. Do 2/1243 and j have the same value?
False
Let z(q) = 2*q**3 - q**2 + 2*q + 378. Let h be z(0). Let v = 356 - h. Let y be (1 - 3)*(-92)/(-8). Which is smaller: y or v?
y
Let u be 1422/(-54)*12/(-8) - 12. Are u and 27 nonequal?
True
Let v = -36113/1020 + 177/5. Suppose 0 = 9*t - 2*t. Which is smaller: t or v?
v
Suppose -1 - 14 = -3*d. Suppose d*m + l + 39 = 0, 2*m + 7*l - 5*l + 14 = 0. Is 5 smaller than m?
False
Let i = 8.04 + -8.174. Which is smaller: i or 1.8?
i
Let b(l) = -l**3 + 15*l**2 - 23*l - 27. Let f be b(13). Suppose 9 = -21*r - f. Which is smaller: r or 2/673?
r
Let f = 120.79 + -115.6. Let j = f + -5.34. Let s = 104/3 + -35. Is j at least as big as s?
True
Let n be (5/91 + 0)*-1. Let i(h) = -4*h**2 + 935*h - 45375. Let d be i(165). Is n bigger than d?
False
Let w = -3070/13 + 9262203/39221. Are 2 and w non-equal?
True
Let o = -0.141 - -0.041. Let b(t) = 9*t**2 + 7*t + 22. Let u(v) = -4*v**2 - 3*v - 11. Let i(z) = 3*b(z) + 7*u(z). Let a be i(0). Which is greater: a or o?
o
Suppose 83703 = -6*m + 250005. Let y = m + -418064/15. Let i = y + 154. Which is smaller: i or -1?
-1
Let v be 3/15*(-10)/(-8). Let n = 21.8 - -123.2. Let a = n - 144.55. Which is bigger: v or a?
a
Let q(b) = 712*b + 710. Let h be q(-1). Which is smaller: 602 or h?
h
Let m = -47.758 + 47.7. Let d = 68.942 - m. Which is smaller: d or -5?
-5
Let g = -2875.1582 - -2878.1. Let q = -0.0582 - g. Which is smaller: q or -3/5?
q
Suppose -y + 7 = 4*y - 3*t, 9 = 2*y + 5*t. Suppose -y*p = -u - 4 - 13, 0 = u - p + 12. Let c = 1512 + -7592/5. Which is smaller: u or c?
u
Let u(w) = w**3 + 12*w**2 - 13*w + 30. Suppose 0 = -44*i + 46*i + 26. Let j be u(i). Is 29 != j?
True
Let f be (-2)/3 + (5 - 4) - 777/2373. Is f not equal to 1?
True
Let g = 0.10029 + 0.04971. Which is bigger: 169 or g?
169
Let n = 1870 + -1869.8. Which is smaller: 0.015 or n?
0.015
Let l = 33 - 53. Let h = -20.6 - l. Let d = 284/3 + -95. Is d bigger than h?
True
Let p(k) = -11*k**3 + 7*k**2 - 16. Let i be p(3). Let b = -465 - i. Is -215 equal to b?
True
Let v = -51794478947/162375 + 39872538/125. Let w = v - -1/1299. Suppose -5*r = j + 10, 4*j + 16 = -3*r + 7*r. Which is smaller: w or r?
r
Suppose 0*a + 4*o = 5*a - 2675, -2*a + 3*o + 1070 = 0. Let h = a - 406. Is 129 smaller than h?
False
Let n = 98174/13 - 7547. Suppose -4*v - 60 = 0, -7*m + 22*m - 19*m = 4*v + 40. Is n at most m?
True
Let n(l) = 2*l**3 - l**2 - l + 1. Let t be n(0). Let r be 6/(-15) - 9214/(-22610). Which is greater: t or r?
t
Suppose -42*j - 190*j + 85*j - 441 = 0. Are j and 37 equal?
False
Suppose -23*o + 8*o + 510 = 0. Suppose -6*q = 11*q - o. Suppose -3*i + 2*a - 127 = 0, -q*a = a - 15. Is -39 < i?
False
Suppose -390 = -5*c - d, 2*c + 2*d - 227 = -c. Let g = c + -63. Suppose 0 = x - 5*f + g, -2*x + f - 11 = -2*f. Is -1/60 < x?
False
Let w = -598.2 + 699. Let a = w - 95. Let y = a - 5. Which is smaller: -3/2 or y?
-3/2
Suppose 2*q = -5*y + q + 17, -4*q - 16 = -y. Let p(h) = 4*h + 16. Let b be p(-6). Let j be (64/10)/(b*77/(-440)). Is y bigger than j?
False
Suppose 29*v - 9*v - 41*v - 10017 = 0. Which is greater: v or -478?
v
Suppose 668*i - 32976 = 620*i. Which is greater: 686 or i?
i
Suppose -o + 7*c = 12*c - 17, 2*o - 2*c = -26. Let p(l) = l**3 + 10*l**2 + 18*l + 28. Let b be p(o). Which is greater: b or 142/13?
b
Let f = 32127272/115971 + 3532/1333. Let c = 839/3 - f. Which is smaller: c or -1?
-1
Suppose 2*n + 3*g + 6 = 0, -n - 3397 = g - 3400. Let o(y) = -5*y - 2. Let i be o(3). Let c be -2*(-2)/(-2) - i. Is n smaller than c?
False
Let d = 6.918 - 7.058. Which is smaller: 23 or d?
d
Let l be -16 + 14/(-9)*-9. Is l bigger than 38?
False
Let f = 646 - 747. Let h be (103 + f)/(2*11). Is h at most as big as 1?
True
Let h be 305/(-50) + 1/10. Let w be (-3 - 22/h)/((-6)/54). Let g(l) = -l**2 + l + 36. Let k be g(w). Is -6 less than k?
False
Let m = 173 + -95. Let q = 0.02285 - -78.97715. Let y = q - m. Which is greater: -1/11 or y?
y
Let a = -16.411 + 16.511. Is -13124 equal to a?
False
Let n = 1041/5 + -206. Let i = n - 107/35. Suppose -2*j = -3*b - 3*j - 4, -4*b - 5*j = 9. Which is smaller: i or b?
b
Suppose -2*t - 159 = -5*g, -2*g - 2*t + 110 - 38 = 0. Which is smaller: -37 or g?
-37
Let y = 550.693 + -551. Let o = -0.257 - y. Is -0.03 greater than o?
False
Let t be -3 + (-185)/(-25) + 56/(-140). Is t > 188/35?
False
Suppose -796 = -2*g - 2*g + u, -4*u - 16 = 0. Suppose -4*o + 10*o = g. Do o and 33 have the same value?
True
Let z(v) = -12*v**2 + 23*v**2 - 8*v**2 + 1 - 69*v. Let n be z(23). Are -59/3 and n nonequal?
True
Let g = -708 + 715. Suppose 3*t - 2*t - 4 = -5*k, -4*t + 3*k - g = 0. Is -13/9 equal to t?
False
Let i be 382 - 395 - (1 - 4834). Is 4821 >= i?
True
Let d = 2.2 + -2.251. Let h = d + -53.949. Let y = h - -58. Do y and 8 have different values?
True
Let l = 8042 - 8044. Do 221 and l have the same value?
False
Let y be (16/5)/(14/175). Let d = -41 + y. Let m = -10280/53 - -194. Which is bigger: d or m?
m
Let l = -38.266 + -16.334. Are 2/11 and l unequal?
True
Suppose 0 = -2*u + 10*q - 5*q + 25, 5*u - 19 = -2*q. Let v = 13 - 15. Let s be v - (7 - 3 - 12). Which is smaller: u or s?
u
Let p = -22/435 - -236/2755. Do p and 7 have the same value?
False
Let j = 1 - 0. Let h be 11/(-20)*(-346)/17127. Which is smaller: j or h?
h
Let q = -695664 - -11822273/17. Is q less than -236?
True
Let o = 7295.486 - 7296. Does -4 = o?
False
Let j(m) = -385*m + 161. Let x be j(7). Let o be x/(-40040) - (-1)/(-13). Are o and 1 nonequal?
True
Let s = -217 - -222. Let m = 1163 + -1120. Which is bigger: s or m?
m
Let l = 172 - 102. Let d = 70.39 - l. Let b = -1 + 2. Are d and b non-equal?
True
Let h = 5499 - -1024. Are 6522 and h equal?
False
Let d be 10/(-110) - 2498/(-11). Let p = d + -229. Does p = -15/17?
False
Let k = -5 - -11. Let v(c) = -c**2 + 8*c - 15. Let g be v(5). Suppose -9*f - 3 + 57 = g. Are k and f non-equal?
False
Suppose 4*h - 3 - 5 = 0. Suppose -3*d - 78 = h*t, 148 = -0*t - 4*t - 2*d. Let l = t + 38. Which is smaller: 0.1 or l?
0.1
Let h = 86 + -82. Let y be (-5)/h + (15/12 - 1). Let a be (-3 - (-9 - y))*1. Is a greater than -2?
True
Let a = -150 + 41. Is a at most -92?
True
Let n be (-8)/(-36) + 1864/36. Suppose -y + n = 3*y. Let b be y/(-26) + (-38)/(-60). Which is smaller: 0 or b?
0
Suppose 5*h = -5, -5*u + 230 = h - 6*h. Suppose -b + u = 14*b. Which is greater: b or -0.04?
b
Suppose -5*g = -4*y - 15, 19 + 1 = -3*y - 5*g. Let k = y - 23. Let j be 32/(-56) - 65/k. Which is greater: j or 2?
2
Let g = 0.252 + 0.036. Let i = -0.641 + g. Is -0.1 greater than or equal to i?
True
Let n = -11 + 9. Let f = 2 - -10. Suppose -f*g - 3 = -9*g. Which is smaller: n or g?
n
Let w(j) = 75*j + 8820. Let g be w(-127). Is g greater than or equal to -3532/5?
True
Let a(r) = -r**2 - 5*r - 5. Let f be a(-4). Suppose -35*d = 19*d - 1099 + 127. Which is bigger: f or d?
d
Let t = -590 + 4727/8. Let r = 53/3 - 17. Is t less than r?
False
Let a be (8/(-12))/((-2)/3) + 0. Let i be ((-6)/4 + a)*4. Let p be i/1 - 8/36*-6. Is p smaller than 0?
True
Let z = -107245 + 1674523431/15614. Which is greater: z or 0?
z
Suppose 3*a - 15*q = -10*q - 81, 0 = -3*a - 3*q - 105. Is a < -31?
True
Let n = -8 - -13. Let y = 3 + n. Let b be y/28 - (-2)/(-7). Does -7 = b?
False
Suppose 41*k = -221*k + 19388. Suppose 0 = -0*q + 2*q - 148. Is q > k?
False
Let x be (-19890535)/(-54623195) + (-8)/22. Which is greater: 0 or x?
x
Let w = 5429/357 - 1882/21. Which is smaller: -73 or w?
w
Let q(m) = -2*m**2 + 16*m - 59. Let s be q(11). Let r = 62 + s. Which is greater: -65 or r?
r
Suppose -18*h = -97 - 11. Let i be (-68)/h*(-297)/(-66). Is 0 at most i?
False
Suppose -4*b + 2*r = r - 22, 0 = -b - 2*r + 10. Let a be 414/60*5*(168/9 - 2). Let d be ((-1)/(-3))/(b + a/(-90)). Do 2/7 and d have different values?
True
Suppose 66*p - 148241 = 45667. Which is smaller: p or 2937?
2937
Suppose -67 = -4*o + 3*b + 1, -2*b = 2*o - 48. Suppose q - 6*q + 4*a = o, 3*a - 15 = -3*q. Is 0 >= q?
True
Let s = -5067 - 2500. Is s equal to -1?
False
Let d(f) = 7*f**3 - 4*f**2 + 4*f - 7. Let p = -60 + 63. Let k be d(p). Are k and 157 unequal?
True
Suppose -2*u + 24 = -4*i, u - 3*i - 28 = -3*u. 