 Which is bigger: q or 6492?
6492
Let k be (-14)/(-833)*17 - ((-1048)/469)/2. Is k bigger than 0?
True
Suppose -14 = -x - 2*b + 13, -4*x + 129 = b. Let k be (60/(-90))/(2/(-96)). Which is smaller: k or x?
k
Suppose 810 = -85*o - 5*o. Which is greater: 167 or o?
167
Let n(c) = -c**3 - 12*c**2 - 25*c - 51. Let u be n(-10). Which is bigger: -8/783 or u?
-8/783
Let f = 96 - 95.218. Let h = 3.612 - f. Is h at most -1/5?
False
Suppose 3*u = y + 5*u - 1383, -y = -5*u - 1362. Let g be ((-5)/(-3) - 1)*y/(-51). Is g greater than -77/4?
True
Let j = 922 - 24893/27. Is j < -5?
False
Let m = -1.48 + -0.14. Let w = 72.62 + m. Let p = 70 - w. Is p less than or equal to -0.7?
True
Let q = 107507/527 - 204. Suppose d - 3*w + 14 = 0, -4*d - 2*w + 7 + 7 = 0. Is d at least as big as q?
True
Let m = 143 - 41. Let q = m + -131. Is -2 bigger than q?
True
Let y = -24492 + 2155335/88. Is y bigger than -1?
True
Let n be (((-360)/246)/(-5))/(91/(-137)). Let u be (-9)/(-21) - 387/861. Let z = u + n. Is z not equal to 0?
True
Let d(k) = 70*k - 479. Let b be d(0). Let a = b - -479. Let z be 2/(2 + (-11)/6). Is a less than or equal to z?
True
Suppose 17*z - 408 = 11*z. Let g = 72 - z. Suppose 0 = 5*k - l + 119, g*l - 23 = 4*k + 69. Is -1 <= k?
False
Let g = -6 + 5.88. Let d = g - 0.88. Which is bigger: d or 12?
12
Let h = -246 + 184. Let r = -1737/28 - h. Which is smaller: r or 9?
r
Let k = 500687/15 + -33391. Let v = -12 - k. Which is smaller: -1 or v?
-1
Let x = 320 + -307. Let u be (x + -14)/(2/(3 - -203)). Is -102 bigger than u?
True
Let f = -684 + 708. Let l be ((-1)/3)/(f/(-72)). Is l equal to -5/137?
False
Let b(f) = -f**3 - 4*f**2 + 6*f + 13. Let i be b(-2). Which is greater: 2/57 or i?
2/57
Suppose -26*d + 82*d + 304024 = 0. Which is smaller: d or -5428?
d
Let b be 154/6 - ((-30)/(-18) + -2). Suppose 2*n - b = 3*y + 3*n, -5*y - 3*n = 38. Which is smaller: y or -66/7?
y
Let k = -12 + 0. Let y = 161.226 + 1.674. Let p = 163 - y. Which is bigger: p or k?
p
Suppose 2*k - 35 = -5*k. Suppose -2*m = -k*z, -z = -m + 2*m. Let d be (-174)/925 - 84/(-1050). Is m >= d?
True
Suppose 0 = -5*x + 2*l - 45, -3*x - 3 = 10*l - 88. Suppose 7 = -2*a - 7. Which is smaller: x or a?
a
Suppose 17*t - 8*t + 81 = 0. Let l = -69 - -65. Let x be (-2 - 10/l)*(-7 - -5). Do t and x have the same value?
False
Suppose 6*r = 10*r - 24. Suppose -r = 8*x - 14*x. Is x greater than 12/11?
False
Let l = -30 - -46. Let k be 12/l - 26/(-8). Suppose 5*x = -2*n + 122, -k*x - 3*n + 144 = 52. Is x != 1?
True
Let r be (-7830)/(-1098) + -1*(-28)/(-4). Which is bigger: 0 or r?
r
Let v = -2345 + 2345. Suppose -4*r = -17 + 5. Is r at least as big as v?
True
Let w be ((-6)/(-4))/(198/(-168)) + 4. Let q(o) = -o**2 + 7*o - 2. Let s be q(3). Let a = -7 + s. Are a and w equal?
False
Let w(p) = -95*p - 12. Let n be w(5). Let t = n - -400. Which is greater: t or -85?
-85
Let s = 5016/13 - 1880818/4875. Which is greater: -1 or s?
s
Suppose -5*a + 4 = 2*k - a, -4*a = 3*k - 12. Suppose j - 8 = 5*z, 2*j - 9 = k*z - 5*z. Is j bigger than -1?
True
Let c be (-24)/2800*180112/(-36). Let z = -300/7 + c. Which is bigger: 1 or z?
1
Let w = 276214/51 + -5416. Which is bigger: -0.02 or w?
-0.02
Let x(g) = -6*g - 12. Let p be x(-4). Let h = 71 + -56. Let a be (72/20 - (-1 + 4))*h. Which is smaller: a or p?
a
Let d(u) = -2*u**2 - 4*u - 30. Let q be d(0). Let s be q/12*(-21)/(-28). Which is bigger: -0.06 or s?
-0.06
Let t = 3113 - 3108. Are t and 61 non-equal?
True
Let f be 3 + 14/16 - (-2)/16. Suppose -4*w - r = 23, 0 = -2*w - 3*w + f*r - 34. Is w greater than -1?
False
Let k be (-1 - 5/(-6))/((-37)/999) + -3. Is -0.4 equal to k?
False
Let p = -1 - 0. Let j = -1380835 + 1814417035/1314. Let q = 1/146 + j. Is q < p?
False
Let v = -535716 - -535715.8. Let a(q) = -6*q**3 + q**2 + 4*q - 1. Let g be a(3). Which is bigger: v or g?
v
Let m(d) = -d + 23. Let c be m(5). Suppose 2*f + 36 = 5*f + 3*t, 2*f - c = -5*t. Let o(g) = -g**3 + 8*g**2 - 10*g + 34. Let y be o(7). Which is greater: f or y?
f
Suppose o - 3*o - 1240 = 3*u, -3*o = -u + 1838. Let k(z) = 22*z**3 - 5*z**2 - z + 22. Let i be k(-3). Is o >= i?
True
Let d = -59 + 64. Suppose 3*x - 8 = 4*v, -3*x = -v + d*v - 16. Let y = -0.5 - 0.5. Is v <= y?
False
Let p = -72 - -46. Let h = p - -25.876. Let v = h - -0.044. Is v greater than or equal to -4?
True
Let w be (17 - 10)/((-14)/(-8)). Let k be 18/(-12) - (-86)/w. Is k <= 1?
False
Suppose -2*t + 4 + 70 = 2*w, 0 = 3*w + t - 111. Suppose -4*h + v - w = -423, -3*v + 282 = 3*h. Let o = 106 - h. Which is bigger: -0.2 or o?
o
Let z = -0.37 + -52.63. Let x = 0 + z. Let b = x + 52.97. Which is smaller: -3/7 or b?
-3/7
Let i(q) = -10*q + 0 + 9*q + 3. Suppose 5*b - 5*a + 22 = 2, 4*b + 12 = 3*a. Let t be i(b). Is 0 smaller than t?
True
Let o = 292 - 284. Let s be 0 - (6/255)/(o/40). Is s at least as big as 9?
False
Let f be ((-399)/(-28))/((-2)/(32/3)). Let x = f + 46. Let q = -36 - x. Is -2 at least as big as q?
True
Let t(v) = 52*v + 44. Let r be t(-6). Let n = 267 + r. Which is smaller: n or -2/403?
n
Let q(g) = -1362*g**2 - 62*g - 4. Let i be q(-1). Which is smaller: i or -1305?
-1305
Let s(i) = -7*i + 11. Let j(r) = 16*r - 23. Let q(l) = -4*j(l) - 9*s(l). Let u be q(-4). Is u smaller than -27/13?
True
Let o = -67.8 + -1.2. Let k = o + 69.02. Let c = -1 - -1.1. Is k at most as big as c?
True
Let s(y) = y**3 - 3*y**2 + y - 4. Let x be s(3). Suppose 22*f = 19*f - 18. Let j(p) = p**3 + 5*p**2 - 6*p + 6. Let b be j(f). Which is bigger: x or b?
b
Suppose 4*g - h - 15 = 0, 2*g = 5*g + 4*h - 35. Suppose -3*k - g*y - 125 - 59 = 0, 4*y - 16 = 0. Is -67 smaller than k?
False
Let f = 43610 + -38325. Which is greater: 5287 or f?
5287
Let y = -125.6 + 212. Let r = y + 38.6. Which is greater: -0.1 or r?
r
Let p = 3906 - -1216. Suppose 27*h + p = 1558. Which is smaller: -133 or h?
-133
Let q = 24388 + -24352. Which is greater: 183 or q?
183
Let r = -226 - -235. Let v be r*((-10)/(-15) - (-2 - -2)). Which is greater: v or -0.01?
v
Let c(f) = -8*f - 188. Suppose 156 + 1521 = -39*d. Let x be c(d). Is 154 less than x?
True
Let o = -40 + 48. Let i be ((-40)/69)/(2 - o/3). Let m = 174/253 - i. Which is smaller: 1/3 or m?
m
Let k = 2687 - -2598. Suppose -7*s - k = -12*s. Let f be s/(-2352) - (-6)/14. Is 0 bigger than f?
True
Let g be 19/(3610/(-509750)) + (-4)/38. Which is bigger: g or -2682?
-2682
Suppose 5 = -3*i - 7. Let t(x) = x**3 + 5*x**2 - 14*x - 60. Let v be t(i). Is v less than or equal to 12?
True
Let w = -54150 + 22297. Let d = -222220/7 - w. Let l = 107 - d. Which is greater: -0.06 or l?
-0.06
Let n = 285 - 186. Let y = n - 70. Which is greater: y or -2?
y
Let a be 4 + 1*364/(-143). Which is greater: 0 or a?
a
Let w(h) = -h**3 + 27. Let k be w(0). Let v = -715 - -850. Suppose 0 = 5*x - 5*m - v, 123*x - 124*x - 5*m = -21. Are x and k equal?
False
Let k = 1.47 + 413.53. Let z = -668 + k. Which is smaller: 1 or z?
z
Suppose -t = -9*t + 208. Let c = 10 - t. Let i be ((-2)/20)/((-6)/(-15)). Which is smaller: c or i?
c
Let c be 2/4*(-46)/(-23). Let m be c/(8/(-18)*1/12). Which is smaller: m or -24?
m
Suppose 11208 = -2*w + 6*u, -22*w + 24*w - 4*u + 11210 = 0. Is w bigger than -5608?
True
Let o(n) = 2*n**2 - 5. Let h be o(3). Let y = -16 + h. Let s be (-56)/12*y/(-2). Is s greater than -7?
False
Let o be ((-14)/(-463))/((-9)/(-5) - (-1)/5). Which is smaller: -1 or o?
-1
Let l be (1/2)/((-4)/(-8)). Suppose 0*h - h + l = 0, -r - 4*h = 7. Let j(f) = -f**2 - 8*f - 16. Let m be j(r). Is -50 >= m?
False
Let t = -2.1 - -19.1. Let l = 14.07 - -4.93. Let q = l - t. Are -2 and q equal?
False
Suppose -18 = -t - 16. Let q be (-4235)/3605 - (-2)/t. Which is bigger: q or -1?
q
Suppose -11*v - 21672 = -39*v. Suppose 12*b + 402 = -v. Is -97 > b?
True
Let g be ((-40)/48 - 1/(-2))/((-2)/(-2)). Is g < -0.3588?
False
Suppose 8*v - 2709 - 1179 = 0. Is v bigger than 472?
True
Suppose -43*k + 130 = -40*k - j, 5*k + 5*j - 250 = 0. Suppose 5*v = -3*z + 29, 2*v - v = -z + 5. Suppose 12*h = v*h + k. Which is smaller: h or 7?
7
Suppose q - 4*m = 37, 0 = 5*q + 8*m + 72 - 5. Which is bigger: -2.1489 or q?
q
Suppose 5*f - 56 = -t - 13, 0 = -t - 3*f + 37. Suppose -t = -s + 139. Do 2 and s have the same value?
False
Suppose 304*t = 373*t. Suppose -w + 15 = -a + 61, a - 2*w = 43. Is t at most a