5*g + 2 - 4 + g**2. Let q be d(-8). Suppose -3*a + 6 = -q*a. Do a and 8 have the same value?
False
Suppose -47*w - 41953 = -7361. Which is smaller: -735 or w?
w
Let l = -107 + 108. Suppose 5*v + 3 - 13 = 0. Suppose 0*w = v*w - 4. Which is smaller: l or w?
l
Suppose -154*u = -148*u + 2322. Is -386 > u?
True
Let i = 66.2 - -33.8. Which is smaller: 3 or i?
3
Let x = -0.703 - -0.503. Is x <= -8/3?
False
Let r be ((-1)/31)/(2893/(-242) + 12). Is -1 at least r?
False
Suppose k = 3*k - 20. Let z = 24.9 + -24.9. Which is bigger: k or z?
k
Let h = -0.76 - 16.24. Let v = 16 + h. Is -7 not equal to v?
True
Suppose 4*a - 20 = -a. Let i(f) = 14*f + 2 - 6*f + 4 - f**2. Let w be i(8). Is w <= a?
False
Let q be 55/7 - (-5)/35. Let o = 8 - q. Let v = -2 + o. Is 0 less than v?
False
Let g = -26.2 + 22.2. Which is smaller: 281 or g?
g
Suppose -4*f = -11 + 107. Let g be (-5)/(f/(-9) + -3). Let q be 25/4 + g/20. Is 6 at most q?
True
Let r be (0 - -1)/((-3)/3). Let l be (-2283)/10 - (-1)/1*0. Let t = 228 + l. Which is bigger: t or r?
t
Let l = 725 + -725. Are l and -2/145 nonequal?
True
Let b be -1*(-12)/(-14)*(-28)/(-8). Which is greater: b or -38/11?
b
Suppose 3*h + 7 = -2*x, -3*x = 3*h - 2*h - 7. Suppose x*u + 9 = 5. Which is smaller: u or 7/5?
u
Let r(h) = -2*h - 7. Let a be r(-5). Suppose 0*j = a*u + 5*j + 53, -u + 5*j + 9 = 0. Are u and -9 nonequal?
True
Let k(y) = y**2 - 16*y + 20. Let m be k(15). Is m smaller than -4?
False
Let h = 5 - 10. Let p be (-1)/4 - 245/60. Is h >= p?
False
Let t be 4 - (-29 - 0/7). Let x be 0/1*1 - -32. Which is smaller: x or t?
x
Let o = 14142 - 14125. Let n = -67/39 + 18/13. Which is bigger: n or o?
o
Let d = -0.0547 + 1.0547. Which is greater: -0.208 or d?
d
Suppose -12 = 4*y, -2*y = -4*l - 28 + 1442. Is 350 less than or equal to l?
True
Suppose -3*i = r - 12, 5*r + 48 = -i + 122. Let z be (-11 - 0)*(-2 + -1). Suppose -m - y = -0*m + r, 2*m = -3*y - z. Which is greater: -11 or m?
-11
Let k = -762 - -250699/329. Is k at most -1?
False
Suppose -144 = -4*s + y - 5*y, 3*s - y = 100. Suppose -170 = -5*j - 2*p, 0 = 25*p - 22*p - 15. Is j at most as big as s?
True
Let a(m) = 31*m**2 + 4*m - 8. Let s be a(2). Is 124 <= s?
True
Let z = -1.98 + -36.62. Let h = z - -38. Which is smaller: h or 0.3?
h
Let i be 4 - ((-25)/(-5) - 5). Let m be 51 - (-5 + -1)/(6/i). Which is smaller: m or 56?
m
Let v = -695 + 29886/43. Which is bigger: v or 0?
v
Let k be ((-40)/(-80))/(-1*1)*-4. Let w be 49/39 + (-1)/3. Is k != w?
True
Let s = -5 - -0.4. Let k = 0.115 + 0.085. Is k at least s?
True
Let u = 71 - -1. Suppose -u - 216 = 6*f. Which is greater: -47 or f?
-47
Let m(k) = 33*k**2 + 1. Let c be m(-1). Suppose 4*x - 18 = 2*l, -5*x - 9 + c = 0. Let t = l + -3. Which is greater: t or -1?
-1
Let l = -3.34 - -3.19. Are 1 and l nonequal?
True
Let z = 24328/29 + -839. Let w(i) = -i**3 - 4*i**2 - 5*i - 1. Let h be w(-2). Suppose b + a - h = 2, -b - 9 = -3*a. Is z not equal to b?
True
Suppose -2*t = -0*c - 5*c - 77, 0 = -5*c - 5. Let m = t - 36. Is 1 at least as big as m?
True
Suppose f = -4*r + 7, 70 = -5*f - 0*f + r. Let w(s) = 6*s**2 + 11*s - 5*s**2 + 0 - 11. Let y be w(f). Is y <= 15?
True
Let n be (6/2 - -2)*(-3 - -6). Let h be (1/(-5))/(n/(-75)). Is h smaller than 3/22?
False
Let f be (-41)/7 - (-3)/(-21). Let h be ((-2)/(-2))/(4 + (-111)/27). Let i be f/h*(-9)/6. Which is smaller: 3/8 or i?
i
Let l = -149 + 184. Is 35 bigger than l?
False
Let z(f) = f**3 + 6*f**2 - 5*f - 15. Let x be z(-6). Let p be (x - 3)*6/4. Let h = p + -19. Are h and -2 nonequal?
True
Let a = -5306 + 164465/31. Which is smaller: a or -1?
-1
Suppose -q + 233 = 3*q + 3*m, -3*q = 4*m - 173. Suppose -v - 13 = -2*l + 3*l, 5*l = -2*v - q. Is l at most as big as -11?
True
Let p be (17128/2304 - 7) + 4/18. Are p and 2 unequal?
True
Suppose -5*k - 370 = -0*k. Let i = k + 73. Is 2/5 at most i?
False
Let y = -0.0138 - 7.9862. Which is greater: -14 or y?
y
Let q = 1563 - 172. Let j = -76503/55 + q. Which is smaller: j or 1?
j
Let a be ((-1)/(-2) - -1) + 1430/(-1012). Let c be 5/(-2) - (-12)/8. Which is greater: a or c?
a
Let u(s) = 2*s**2 - s + 2. Suppose -2*x + 5*b + 22 = 0, -x + 2*b + b + 13 = 0. Let d be u(x). Suppose -t = -d*t. Is t < 1/11?
True
Let d = -0.02 + -74.98. Let x = 80 + d. Is -13 smaller than x?
True
Let d be (-5)/(30/(-4)) + 526/1020. Let h = d + 3/170. Suppose -3*g + 5*g = 0. Is h > g?
True
Let t(f) = -f**3 + 7*f**2 + 13*f - 10. Let c be 60/75 - 72/(-10). Let w be t(c). Let n be (8/(-10))/((-4)/w). Is n equal to 7?
False
Let q = 410 - 410. Are -1 and q nonequal?
True
Let q = 656 + -657. Is -1/53 < q?
False
Suppose -42*c + 5472 = -26*c. Is 343 > c?
True
Suppose -g + 37 = 4*k, -3*k + 1 = -4*g - 3. Let j(w) = -w + 9. Let s be j(k). Let u be 19 - 249/12 - (0 + -2). Is u smaller than s?
True
Suppose 16 = -2*f - 2*f + 5*i, -3*f = 2*i + 12. Let a = -34 + 16. Let u = -20 - a. Are u and f non-equal?
True
Let p(w) = -6*w - 8. Let z be p(5). Let t = z + 38. Let s = 83/9 + -9. Is t less than s?
True
Suppose 50 = 2*y + s, 5*s - 7 = -17. Is 3 bigger than y?
False
Suppose s = -4, -2*s + 51 = -5*d - 6*s. Let x = d - -11. Let u be 1 + -4 - (1 - x). Do u and 1 have different values?
True
Let c = 100/13 + -161/26. Which is smaller: -28 or c?
-28
Suppose 2*z - 453 = -441. Is 6 at most z?
True
Let d be -8 - ((-10 - -9) + -127). Which is bigger: d or 123?
123
Suppose 0 = -o + 3*w - 8*w + 10, -5*o + 5*w = -20. Let i be (14/(-42))/((-1)/12). Suppose o = -y + i. Is 0 at most y?
False
Suppose 748 = 36*n - 32*n. Let p = 178 - n. Let o(u) = 4*u + 4. Let a be o(-3). Which is smaller: a or p?
p
Suppose -13*a = 57*a + 70. Which is smaller: -26/101 or a?
a
Let d(t) = -t**2 - 2*t + 2. Let z be 1/((-2)/(-4*1)). Let i be d(z). Let h = -6 - i. Which is smaller: h or 5/4?
h
Let r = -328.4 - -287. Which is smaller: -1 or r?
r
Let x be (-27)/(-6)*(-784)/105. Let a = -33 - x. Which is smaller: a or 2.1?
a
Let a be (-74)/24 - (-12)/9. Which is bigger: -0.3 or a?
-0.3
Let s be (2 - 4) + (8 - 235). Which is greater: s or 0.1?
0.1
Let c(h) = h**2 - 5*h + 5. Let v = -43 + 45. Let z be c(v). Which is bigger: z or -1/72?
-1/72
Suppose 11*v = 122 + 494. Let y = v + -58. Which is greater: 0.08 or y?
0.08
Let b = -2/28891 - -173804/6616039. Is b greater than 1?
False
Let l be (-9)/(-1 + 1 + 1). Let n = l + 11. Suppose -4*z = 3*p + 26, n*z + p + 20 = -4*p. Is -4 greater than z?
True
Let u be -2*8/(7 + -3). Let f = u - -8. Let m = -10 + 16. Are m and f nonequal?
True
Let b be (16/(-346))/(-5 - -3). Let g = b + 65/4671. Is g < 1?
True
Let m = 1998.7 + -1999. Let b(q) = -q - 1. Let i be b(-2). Let c be -2*(1/i)/(-1). Is m less than c?
True
Suppose 0 = 4*k + 2*m - 34, 0 = -k - 3*m + 2*m + 7. Let x be k/(-55) + (-79)/(-11). Which is bigger: 17/3 or x?
x
Let i be -3*1*3/(-4). Let h(x) = 2*x - 46. Let t be h(24). Suppose t*q + 12 = 2*y, -2*q - 2 = y - q. Which is greater: i or y?
i
Let n be ((-27)/(-162))/((-14)/24). Is n > 125?
False
Suppose -p - 9 = -3*u + 9, u = 4*p + 17. Suppose i - 16 = -u*n, 4*i - 5 = 4*n - 13. Are 3/64 and i unequal?
True
Let c(v) = 657 - v**3 - 658 + 0*v + 14*v**2 - 3*v**2 + 12*v. Let d be c(12). Which is greater: d or 1/44?
1/44
Suppose 0*q + 3*q + 12 = 0. Suppose -2*c + g = 13, g = 2*c - 4*c - 7. Is q less than or equal to c?
False
Suppose 15 = 5*g, -3*g = 3*a - 5*a - 7. Let d = a - 3. Let j = 14/43 + -270/301. Is d greater than j?
False
Let b = -106 - -72. Let d = b - -90. Let u = d + -89. Is -32 greater than or equal to u?
True
Let g be 3/((-5)/4*(-18)/15). Which is smaller: 36/25 or g?
36/25
Let l be (-11375)/50175 + 4/18. Is 0 equal to l?
False
Let x(d) = -5*d**2 - 2*d - 12. Let o be x(3). Let s = -253/4 - o. Is s > -40?
True
Let v(b) = b**3 + 10*b**2 + 12*b + 27. Let t be v(-9). Let j be (-1080)/(-8034) + (-2)/13. Is j at least t?
False
Let h = -19 + 30. Let r be 0 + 3 - 32/2. Let g = 23 + r. Which is greater: g or h?
h
Let b(c) = 3*c**2 - 25*c + 3. Let y be b(9). Suppose -45 = -2*l - 2*w - 9, -l + 2*w + 24 = 0. Is l at most as big as y?
True
Let m(h) = h**2 - 12*h + 16. Let f be m(11). Suppose -4*y = o - y + 1, 0 = 4*o + f*y + 4. Let k be 2 - 3 - (-8)/(-50)*5. Which is smaller: o or k?
k
Suppose 14 + 0 = 2*p. Suppose 0*s - 5*s - 4*u - 7 = 0, s - 5*u = 16. Let b = s + 6. Is p at least b?
True
Let t(