 -3*u - 11. Is -0.51 < k?
True
Let c = 160/93 + -227959/132339. Is 0 < c?
False
Suppose -4*m = 5*k - 232, -m + 5*m + 56 = k. Let h be (-7*(200/105 - 2))/(2/(-144)). Let u = h + k. Do u and 20 have different values?
True
Let r = -1097.9 + 1098.22. Which is bigger: 120 or r?
120
Let n(h) = h**2 + 3*h - 169. Let f be n(12). Which is smaller: f or 9?
9
Let a be ((-3856)/36)/4 + (-14)/63. Suppose -5*h = -3*o + 120, -2*h - 15 = o + 44. Is h > a?
False
Let w = 7709 + -8277. Which is greater: -570 or w?
w
Let l(n) = -2*n**2 - 28*n - 46. Let c be l(-20). Let t be 77/c*6/(-14). Which is smaller: t or 1?
t
Let g be ((-2)/((-4)/(-54)))/(153/(-408)). Suppose 3*l + g = -4*y, -17*l = -20*l - y - 81. Is l at least as big as -6?
False
Let u = -361 + 362. Let c be 3/(-3) + 44/58. Is c < u?
True
Let r(y) = 3*y - 2. Let n(h) = h**2 - 4*h + 6. Let z be n(0). Let d be r(z). Suppose -5*t - 9 = -2*c, c - 37 = -3*t - d. Which is greater: c or 11?
c
Let g = -32.5 + 28.6. Which is smaller: -1/22 or g?
g
Let o(y) = 15*y**3 - 5*y + 5. Suppose 16*j + 208 = 224. Let t be o(j). Which is smaller: -13 or t?
-13
Let h be (-9)/(-4) - (-4)/(-16). Suppose -4*z + 6 = 2*p, -2*p + h*z + 1 = p. Let q = 519/15158 - -1/286. Do q and p have the same value?
False
Let q = -53.57 + 54. Let b = -0.33 + q. Let z be -1*4/(-3)*12/(-20). Do b and z have the same value?
False
Suppose -37*x - 1763 = -6*v - 42*x, 4*x - 1180 = -4*v. Which is bigger: 295 or v?
295
Let t = 1014 - 1021. Let l = -2 + -5. Let q = l - 0. Is t at most as big as q?
True
Let c = -26 - 8. Let z = -39196 + 39162. Is c at most z?
True
Let z = 748 + -777. Let o = 2/3 - 1/3. Is o bigger than z?
True
Let a(g) = -g**3 + 7*g**2 - 4*g + 3. Let p be a(1). Suppose -5*u = -p*f + 9 + 6, 3*u + 3 = f. Which is bigger: -3/97 or u?
u
Let g be -13664061 - 4/(-8)*0. Let v = g - -18528465707/1356. Let u = 2/339 - v. Which is bigger: u or 2?
2
Let b = 18 + -26. Let n be 48/126*3105/(-138). Which is bigger: n or b?
b
Let s be (2/(-36))/((-77)/(-231)) + 1/6. Let u be (-2 + (-214)/(-106))*3. Which is smaller: s or u?
s
Let l = -292 + 350. Let c = 295 + l. Which is bigger: c or 0.1?
c
Let o = -122607075/77 - -1592025. Let u = -1098/11 - o. Let j = 177 - u. Which is smaller: j or 2?
2
Let b = 567 - 1700/3. Let c = -1.988 - 0.052. Let x = c + 0.04. Do b and x have different values?
True
Let k(l) = -63*l - 765. Let c be k(-75). Which is bigger: c or 3962?
3962
Let l = -349 + 2441/7. Suppose -g - 8 = -5*n, -5*g + 1 + 15 = 3*n. Suppose 2*h - 3 = x, h - 1 = g*h. Which is bigger: x or l?
l
Let k(q) = -654*q - 3704. Let w be k(-6). Is -7 > w?
False
Let i = 114/11 + -1037/99. Suppose 0 = 635*h - 652*h - 17. Which is bigger: h or i?
i
Let u = 15250 + -15250. Is -5/4848 != u?
True
Suppose -5*s + 3*h + 29 = -3*s, 6 = -2*h. Suppose 10 = -l + c + 3*c, -3*l = -2*c - s. Let v be 440/594*l/(-4). Which is greater: -2 or v?
v
Let p be 1 + 2 - (-48)/(-20). Let u = -2.79 + -161.21. Let v = -164.2 - u. Does p = v?
False
Let d be (-12)/9*105/(-2). Let n = 11 + d. Suppose 40*r - 15040 = -148*r. Is n not equal to r?
True
Suppose -2280 = 47*v - 57*v. Let a be (-2)/(-8) - 39/v*-5. Which is smaller: 1 or a?
1
Suppose 0 = -5*u - 3*q + 18, 77978*u - 4*q = 77974*u + 104. Let c = 26 + 42. Suppose -3*a + c = a. Is u less than a?
True
Let o(v) = -11*v - 17. Let x(f) = f. Let b(y) = o(y) + 6*x(y). Let i be b(-4). Suppose p = 3*d - 8*d - 80, -i*p - 160 = -5*d. Is p bigger than -59?
False
Let l(a) = 35*a - 8. Let y be l(-6). Suppose 3*t - 2*q + 14 + 634 = 0, -869 = 4*t - q. Do t and y have different values?
False
Let q = 138 + -228. Let t be (-34)/4*((-642)/q + -7). Which is bigger: t or -2?
t
Let j = 186 - 251. Suppose 3*w - w - 12 = 0. Let v be ((-14)/w - -2)/(j/10). Which is bigger: v or 0?
v
Suppose -5*c = c - 30. Let r be (-5 - -11 - c)/(-1). Which is bigger: 3/59 or r?
3/59
Let f = -131/1428 - -11/84. Let c = 60.5 + -65.5. Is f smaller than c?
False
Let w = -0.14 - 14.86. Let y = w + 14.7. Let f = -0.5 - y. Is f at least -0.4?
True
Let k be 21420/153 - 0*(3/2 - 2). Which is greater: k or 135?
k
Suppose 220 = -3*w + u, -6*w - 4*u + 232 = -9*w. Suppose -6*l = 188 + 250. Is w greater than l?
True
Let c = -0.0226 + 123.0226. Let b = c - 124. Is 11/16 smaller than b?
False
Let s = -1.46 - -190.46. Let z = s - 190. Which is greater: -96/7 or z?
z
Suppose -2*j = 21 + 13. Let o(i) = i**3 + 17*i**2 - 2*i - 21. Let t be o(j). Let w be 1/3*(t + -1). Is w <= 4?
True
Let o(y) = 2*y + 29. Let v be o(17). Let r = 59 - v. Let j be ((-1 - 2) + -1)*3/r. Are 10/3 and j equal?
False
Let b = -2816 - -2818. Let z be 5*(1 + (2 - 2)). Suppose 0 = -z*t - 0 - 10. Are t and b nonequal?
True
Let p(u) = -u**3 - 13*u**2 + 187*u + 2113. Let s be p(-12). Which is smaller: s or -284?
-284
Let y = 14.0716 + 0.0124. Let i = -0.084 + y. Let b = i - 13.9. Which is smaller: b or 6?
b
Let j(p) = 15*p. Let r be j(-3). Suppose -5*y - 10 = 0, 6*n - 3*n - y - 11 = 0. Suppose -5*m - n*k - 227 = 0, -m - 3*k + 0 = 43. Are m and r equal?
False
Let k = 5441/15 - 363. Let n be (-4)/5*5/(-60)*-9. Let o = n - k. Which is smaller: -1 or o?
-1
Let v(p) = -2*p + 14. Let r be -3*((-40)/(-12) + -4). Let h be v(r). Suppose h*t + 4*t = 6*t. Which is smaller: t or -1/97?
-1/97
Let x = 39 - 505/13. Let n = 0.05 - -1.65. Let f = -1.9 + n. Is x <= f?
False
Let h(x) = -8*x + 19. Let n be h(3). Let a be (n/(-3))/(38*5/(-60)). Is a smaller than 3?
True
Let l be 2/(-5) - 2624/(-560). Let b = 7 - 6.1. Let f = b + 0.1. Which is bigger: f or l?
l
Let g = -413 + 2333/5. Let j = 100 - 45. Is g > j?
False
Let x be ((-1008)/(-108))/(2/(-3)). Suppose -5*w - 64 = -3*k, -3*k + 91 - 38 = -4*w. Is w greater than or equal to x?
True
Let f(q) be the first derivative of -9*q**2/2 + 17*q + 53. Let i be f(2). Which is greater: i or -4/21?
-4/21
Let p(x) be the third derivative of -x**4/4 - x**3/6 + 4*x**2 - 20. Let j be p(0). Is -15/22 smaller than j?
False
Let w be (-3)/6 - 1/(-3). Suppose 5*r = -3*k - 33 + 10, 0 = 3*k + 3*r + 15. Is w at least k?
True
Suppose -1 = -5*g - 0*w - 2*w, -13 = -5*g + 4*w. Let k be g/(1*(-5)/55). Is k smaller than 6?
True
Suppose t = -3*j + 15313 + 6591, -3*j + 21912 = 3*t. Let u = j - 80416/11. Which is greater: -10 or u?
-10
Suppose -61*j + 59*j = 5*x + 1592, 30 = -5*x. Is -773 > j?
True
Let t(s) = -2*s**2 - 30*s - 105. Let j be t(-9). Let y be (153 + -43)/(j + -1). Which is smaller: y or 0?
0
Let b(s) = -4*s**3 - 2*s**2 - s + 10. Let i(k) = 3*k**3 + 3*k**2 - 10. Let o(c) = 2*b(c) + 3*i(c). Let x be o(-5). Which is bigger: x or 4/63?
4/63
Let s be ((-4 - -1)*402/(-27))/((-56170)/(-615)). Is 1 at least s?
True
Let r = -666 - -15322/23. Let l = r - 51/161. Suppose y - 3 = 5*n, 4*y + 2 - 14 = -4*n. Which is smaller: l or n?
l
Let j be 15379/(-56) - (-5)/(80/(-6)). Let l = 345 + j. Which is smaller: 73 or l?
l
Let a = 0.708 - 0.078. Let c = -95.63 + a. Does -2 = c?
False
Let h be ((-1)/2)/(10/(-100)). Suppose -5*m + 31 = w - h*w, -2*m + 5*w = -9. Which is smaller: 3 or m?
3
Let q = 4 - 2. Suppose 8 = -t + j - 12, t = q*j - 18. Is t greater than -22?
False
Suppose 3*w - 27 = -9. Suppose -10*m + w = -4*m. Let r be (m/(-3))/(4/516). Which is smaller: r or -42?
r
Let h = -116191/1012 - -16/253. Which is bigger: h or -115?
h
Let q = 249 + -206. Let c = 101 - 57. Let z = q - c. Which is smaller: z or -1/24?
z
Let v = -670871759/894321 + 60761/81. Let z = v - 4/181. Let a = 16 + -17. Which is smaller: z or a?
a
Let j = 3617 + -3617. Which is greater: -2/9831 or j?
j
Let a be (-90)/(-1395) - 374/31. Let g be (-13 - a)/(-2*3/6). Which is bigger: 2/515 or g?
g
Let z = 37965 + -65109979/1715. Is z greater than -1?
True
Let l(m) = -20*m**3 + 4*m**2 - 5. Let s be l(3). Let p = -427 - s. Is 83 greater than p?
True
Let f = -7.9 - -8. Let j = 2.0463 + -58.0463. Is f bigger than j?
True
Let b(g) = g**3 + 9*g**2 - 5*g - 1. Let q be b(-9). Suppose -q*c + 42*c = 100. Let d be (-5)/c - (-4)/10. Which is smaller: 3/5 or d?
d
Let b = 1817/2046 + -82/33. Which is greater: b or -3?
b
Suppose 0*v = 31*v + 7*v - 0*v. Which is bigger: v or 2/22657?
2/22657
Suppose -2*v - 110 = -2*t, 5*t + 3*v = 4*v + 295. Suppose 25*x - t = 20*x. Let g be (0 + -1)*(18 - x). Do -36/5 and g have different values?
True
Let m = 1093/385 + -20/7. Let t(c) = 7*c**2 + 39*c + 65. L