 Let f(n) = -n + 6. Let q be f(6). Is q >= c?
True
Let d be -15*(-8)/36 + -3. Let j = -129/26 + 6/13. Let w = -5 - j. Which is bigger: w or d?
d
Suppose -72*f = 140*f - 636. Which is smaller: f or 136/67?
136/67
Let h be 5*(324/(-300) - -1). Are h and -2.97 equal?
False
Let a = 0.015 - -0.045. Let z = 0.39 - a. Let n = -5.07 - z. Which is smaller: n or 0.1?
n
Let d(a) = -3*a**2 + 83*a - 268. Let n be d(24). Are n and -3195 non-equal?
True
Let y = -354 - -1256. Which is greater: -0.1 or y?
y
Let i = 5 + -2. Let b = -4788 - -742138/155. Which is bigger: b or i?
i
Let n = -274 + 1377/5. Suppose 5*d - 8*d + 12 = 0. Let r = -2 + d. Which is bigger: r or n?
r
Let q = -56422 + 43644. Which is smaller: -12779 or q?
-12779
Let o = -8 + 7. Suppose -2 = -5*p - 4*g, -4*p - 3 + 9 = g. Suppose 4*l - y - 15 = -p*y, -9 = -2*l + y. Which is smaller: o or l?
o
Let n(h) = h**2 + 2*h. Let i be n(6). Suppose 0*v - 2*w + i = -v, v + w = -42. Which is smaller: -43 or v?
v
Let i(m) = m**2 + 631*m + 13397. Let b be i(-22). Let p = 25.9 + -30.78. Let j = -0.12 + p. Is b at most as big as j?
False
Suppose 4*b - 4*w = 508, 5*b - 156 - 487 = 3*w. Which is greater: b or 99?
b
Suppose -258 = -5*b + 117. Suppose 5*m + 181 = 4*g, -g + b + 109 = -5*m. Let c = m - -14. Is c equal to -23?
True
Let x be (140/(-14) + 23)*(-18)/(-39). Suppose -223 = 4*s + 353. Let n be x/(-27) - (700/s)/5. Is n equal to -8?
False
Let t = -13901 + 14740. Which is greater: t or -0.09?
t
Suppose 7*v - 3*v = -3*k - 8, -35 = -5*k + 3*v. Let d(g) = -2*g**2 - 11*g + 9. Let a be 12*2/(-6)*(-3)/(-2). Let l be d(a). Are l and k equal?
False
Let a be (-11155)/(-30) + ((-45)/30 - (0 + -2)). Is -1 less than a?
True
Let o(t) = -10*t - 13. Let z be o(-10). Suppose s + 2 = -2*w + 31, 3*s - 3*w = z. Let d = -200 - -229. Are d and s equal?
True
Suppose i = -x + 6, 0 = -2*i + 4*x - 1 - 5. Suppose g - 52 = 2*g - i*b, -168 = 4*g - 2*b. Let k = -83 + 42. Which is bigger: g or k?
g
Let w = 101.3 - 11.3. Let g = w + -89.94. Which is smaller: 25 or g?
g
Suppose -28*m - 7585 - 37383 = 0. Is m at least as big as -1599?
False
Suppose -32 = 4*s - 4*m, 2*s = -3*m - 26 - 0. Let g be (-8)/s - (-5 + (-5778)/(-1035)). Let q be (-6)/(-3) + -2 - 0. Is g smaller than q?
False
Let j(d) = d**2 - 63*d + 317. Let u be j(67). Which is bigger: 0 or u?
u
Let u(n) = 2*n**3 - 6*n**2 + n + 12. Let g be u(4). Let b be (g/(-96))/(4 - 0). Which is bigger: 0.48 or b?
0.48
Let w = 25 - 37. Let j be (-10)/w*(-9)/(-4). Suppose -3*z = -v + 8, 16132*v = 2*z + 16136*v - 46. Are z and j unequal?
True
Let t = 672.1017 + -0.1017. Let p = -644 + t. Let x = 0.1 + 0.1. Which is smaller: x or p?
x
Let v(x) = x + 29. Let s be ((-7)/((-63)/(-90)))/1. Let z be v(s). Suppose -q = -16 - 5. Which is bigger: z or q?
q
Suppose 5 = -j + 2. Let z = -30 - -52. Suppose -u - z = -24. Is j at most as big as u?
True
Let p(s) = s**3 + 6*s**2 - 2*s - 11. Let f be p(-6). Let z be (-24)/24 - (-59)/58. Which is smaller: f or z?
z
Suppose 7*m = 5*m + 2. Let u = 9822 + -2632293/268. Which is smaller: u or m?
u
Suppose -2*q + 2*s = 78 + 26, -2*q - 4*s - 110 = 0. Let r = 479/9 + q. Suppose -5*i + 2 = -3. Are r and i nonequal?
True
Let b(l) = 27*l - 48 + 11*l + 3 + 4. Let d be b(5). Let n = -1193/8 + d. Is 1 at least n?
True
Let l(x) = -x**3 - 23*x**2 + 22*x + 492. Let r be l(-23). Are 26 and r equal?
False
Let l be 5*(2/(-2) + 2). Suppose 68 - 66 = -2*f + o, 0 = -4*f - 2*o + 20. Suppose -14 = f*y + l*a, 4 = -y - 7*a + 3*a. Which is smaller: 0 or y?
y
Let p = 6921 + -7144. Which is bigger: p or -224?
p
Suppose 1 = n + x, 307 - 319 = -6*x. Which is bigger: n or 3/7421?
3/7421
Let g(n) = n**3 + 11*n**2 - 22*n + 37. Let x be g(-13). Let y be (-8)/(-4) + x/17. Is y greater than 0?
True
Let d(g) = 555*g**3 - 6*g**2 + 6*g - 2. Let h be d(1). Let t be (-1 - 6/(-8))*7/h. Is -1 >= t?
False
Let h = 6352/131 + 971182/1179. Let f = 874 - h. Is f != 1?
True
Let j = 8228 + -8228. Which is smaller: 119/10 or j?
j
Let x(v) = -v**3 + 7*v**2 - 11*v + 10. Let r be x(5). Suppose -6 = -2*f + 5*w + 26, 73 = 3*f + r*w. Is f < 22?
True
Let s be 58 + -50 - (1273832/79614)/2. Which is greater: 1 or s?
1
Let k = -16052/77 - -2290/11. Is 3926 at most k?
False
Suppose 56 = 19*i - 58. Let z be 10/(-2075)*(1 - i). Let g be (-6)/(-18)*(1 - 4). Which is smaller: z or g?
g
Let w be 28443/(-1235) - (-5 - 19). Is -0.02 != w?
True
Suppose 87*r - 89*r = 3*u + 8, 5*r - 2*u = 18. Let j be 0 + (-7)/((-3234)/(-292)). Let v = j + 134/33. Is r smaller than v?
True
Suppose -5*y = 215 - 175, 0 = -s - y - 6. Which is smaller: s or -2994?
-2994
Suppose -41*h + 28*h = 4953. Does h = -381?
True
Let y = 0.4 + -0.16. Let x = -31.66 + 32.16. Is y at most as big as x?
True
Suppose -6*j + 4*h = -904, -h + 626 = 4*j + h. Let g(b) = 19*b**2 - 5*b - 2. Let v be g(3). Is j bigger than v?
False
Suppose 0 = 6*h + 3*h + 9. Let c be (-4 + (h - -6))*(-1 + 89). Let b = -77 + c. Which is smaller: 10 or b?
10
Let z = -282.54 + 0.54. Let l = z - -376.9. Let k = l - 95. Which is greater: k or -9?
k
Let x be (1/45)/((-3801)/(-344805)). Are x and 1 non-equal?
True
Suppose 18 = -p - 3*x + 10, 1 = 3*p + 4*x. Is p bigger than 32?
False
Suppose x + 3 = -3*u, 3*x + 0 - 4 = 4*u. Suppose s - 4*i = -i - 26, -3*i + 6 = x. Let r be (1134/135)/((-2)/5). Which is greater: r or s?
s
Let p = 19 - -50. Let c be p/(-3 + 80/25). Let r be ((-12)/c)/(14/175). Is 1 less than r?
False
Let v = 0.42 - 0.02. Let w = -0.0488849 + -9.6511151. Is w > v?
False
Let u be 4/((-56)/(-30)) - (-2)/(-14). Suppose -u = -q - q. Let g = -30 - -30.07. Are g and q nonequal?
True
Let t = 3039900/53 - 57354. Which is greater: t or 3?
3
Let t be (-4 + 1)/(3/(-53)). Suppose -3*s + t + 61 = 0. Suppose -585*y + 581*y = -148. Is s bigger than y?
True
Suppose -x = -6*v + 50, -6*v + 10 = -2*x - 4*v. Is x greater than 64/13?
False
Let k(c) = c**3 - 6*c**2 + 3*c + 21. Let r be k(9). Suppose -5*g = 15, 5*p + 3*g - 282 = 1154. Is r > p?
True
Let d(z) = -2*z**2 - 9*z + 10. Let u be d(-5). Suppose -u*c - 5*k = 15, c - 2*k - 9 = 3*k. Are -2/373 and c equal?
False
Suppose 2*p + 10 = 2*m, -4*m - 2*p + 19 = -7. Let y be (-5)/(-2*(-189)/m). Let c = y - -40/63. Is -1 greater than c?
False
Let a be -17 + ((-27)/126 - (-228255)/13258). Let u = 1 - 0. Which is smaller: u or a?
a
Let b be ((-13)/(-78))/(1/4)*3. Suppose -b*a = -a - 9. Suppose -4*y + y + a = 0. Is y bigger than 3?
False
Let j be (-2*(-1024)/24)/(-5 + (-68)/(-12)). Which is bigger: j or 84?
j
Let q = 10019 + -8097. Do 1919 and q have different values?
True
Suppose 0 = 3*h + t - 18, 5*t = -4*h - 9 + 22. Let n be (0 - h)*1/(-7) - 133. Are -134 and n equal?
False
Let a(j) = 2*j**2 + 10*j + 7. Let n be 4/(-6) + 96/(-18). Let z be a(n). Suppose -198*w = -194*w - 76. Is z greater than or equal to w?
True
Let j = 89 - 89. Let i = 342.2 - 343. Are i and j nonequal?
True
Suppose -4*k + b - 4 = 17, 0 = k - 4*b + 24. Let l be (k/(-6))/(36/(-54)). Which is greater: l or 2/53?
2/53
Let v be (-28)/6*54/(-63). Suppose 4*k = 2*m - v, 4*m + 8 = k - m. Let n be 11 + -10 - 0/k. Is 1/6 <= n?
True
Let u be (-73645)/(-453750) + 1/(-6). Which is greater: u or 1?
1
Let n(y) = -y + 9. Let c be n(2). Let i(l) = -2*l**2 + 14*l - 1. Let z be i(c). Which is smaller: z or -2/235?
z
Suppose -6*o - 3751 = -4381. Which is bigger: 114 or o?
114
Let r = -2487.3 + 2487.4. Which is smaller: r or 5044?
r
Let l = 352642239/103228048 + 1/641168. Which is smaller: l or 2?
2
Let h be (-10 + -28)/(-206 + 0). Let j = -13684357921/618 + 22142969. Let b = h - j. Is b at most 6?
True
Let v = 5188 - 5191. Which is smaller: v or 1813?
v
Let f be 42/7 - 5 - 2. Let o(i) = 5*i + 158. Let a be o(-29). Is f smaller than a?
True
Let o be 12/(-24) - (-361)/(-2). Suppose s - 2*g + 176 = 0, -34*g + 734 = -4*s - 36*g. Is o bigger than s?
True
Let l = -3781 - -3837. Suppose -5*g = -y + 64, 34 = -5*y + 5*g + 294. Let v = 105 - y. Is l >= v?
True
Let j be (56270/18536)/((-1)/8). Is 0.07 greater than j?
True
Let b(j) = 19*j - 89. Let i be (0 + -3)*(4 - 2). Let c be b(i). Is c less than -1?
True
Let n = 8.598 + -7.331. Which is smaller: -1 or n?
-1
Let q = -20744355434/5795 + 1775137775732963/495889740. Let o = -3734/2377 - q. Let j = -98/19 - o. Which is smaller: j or -1?
-1
Suppose 4*z - o + 5*o = -316, -3*o = 