 Which is smaller: x or 95?
x
Let j(i) = i - 10. Let o be j(7). Let y = -10.402 + 110.462. Let d = y - 100. Is d > o?
True
Let z = 29.313 - 29. Let q = z + -0.113. Which is smaller: 5.2 or q?
q
Suppose 90 = -4*y + 13*y. Let a(w) = -30 + w - w**2 + y + 2*w**2. Let c be a(4). Do -2/27 and c have the same value?
False
Let q(d) = 2*d**2 - 4*d. Let t be q(4). Suppose 0 = -5*o + 65 + 45. Let h be 11/o + (-62)/(-4). Are t and h unequal?
False
Suppose -6*i + 4*r = -7*i + 39, -4*i - 5*r + 123 = 0. Suppose -2*v - 550 = -i*v. Is 149/7 <= v?
True
Suppose -10*x = 795 + 405. Let h = 119 + x. Which is bigger: -43 or h?
h
Let l = 49 - 80. Suppose 63*n = 64*n. Are l and n nonequal?
True
Suppose -8*c = -10*c + 30. Suppose -32*x - c = -27*x. Suppose 3*b + 0*j + 32 = -j, 2*j = -3*b - 28. Is b less than x?
True
Let x be 2/14 + (23991/(-21))/(-11). Let n be (0 - -30)*(-7 - x/(-16)). Which is bigger: n or 3?
3
Let c = 11.78 + 0.22. Let o = -4049 + 4050. Which is greater: o or c?
c
Let g be 3*(-2)/(1 + -7). Let c = -1/71151 + 213482/2063379. Is c less than or equal to g?
True
Let p = 352 - 349. Suppose w - 5*w = n, -p*n = 2*w + 30. Which is smaller: n or -21/2?
n
Let v(i) = i**3 - 10*i**2 + 3*i + 4. Let r be (-1)/12 + 2178/216. Let y be v(r). Which is bigger: y or 1/7?
y
Let l = 44 + -104. Let y = 3.9 + -59.9. Let f = y - l. Which is smaller: f or 5?
f
Let q be (-13419105)/10098 - (-10)/(-85). Let f = q - -1329. Is -1 > f?
False
Let x = 6781 + -5123. Is x at least as big as 1657?
True
Let x = -7290 + 7290.6. Which is bigger: -24 or x?
x
Let t = 1131 + -474. Suppose -34*n + 31*n - t = 0. Which is smaller: n or -218?
n
Suppose 1115*s - 1096*s = -1368. Which is smaller: -48 or s?
s
Let h = 683 + -683. Suppose h = -32*a - 19 - 13. Which is bigger: a or -0.7?
-0.7
Let b(u) = -u**2 - 22*u + 84. Let x(s) = -s**2 - 1. Let l(g) = b(g) - 2*x(g). Let v be l(21). Which is greater: 64 or v?
v
Let b be 22/5 - (-66)/110. Let c be (-1 + (-3)/(-6))*-10. Suppose b*a = -2*d - 65, -c*a - 3*d = d + 75. Is -9 less than a?
False
Let m(b) = -16*b**2 + 226*b + 32. Let v be m(14). Which is smaller: 50 or v?
50
Suppose -42*h - 46779 = -545*h. Do 1790/19 and h have the same value?
False
Let b = 2915 - 3779. Which is bigger: -866 or b?
b
Suppose 7 = 16*r - 25. Suppose -2*f + r = -8. Suppose -3*u - 2*u + 3*x + 18 = 0, 3*x + 3 = 0. Is u greater than or equal to f?
False
Let h be (-5)/(-5) - (-21)/(-21). Is 11/285 >= h?
True
Suppose 235 = -16*a + 315. Is a equal to 53/10?
False
Let t = -293590/137 - -2143. Are 1 and t equal?
False
Suppose -3*c - 4*n + 7*n = 54, 3*c = n - 48. Let t(s) = -s**3 - 37*s**2 + 48*s + 364. Let l be t(-38). Which is bigger: l or c?
c
Suppose -5*x - 19 = c, -2*x + 12 = -6*x. Let h be (0/12)/((-5)/((-10)/c)). Suppose 0 = -3*g + 3*b - 3 - 0, h = 2*g + b + 5. Which is greater: -13/7 or g?
-13/7
Let h be (-74)/(7 + -6 + 35/(-28)). Is h bigger than 292?
True
Suppose 35*t + 496 - 2206 = -60*t. Which is bigger: t or -9/26?
t
Let k(u) = 482*u + 4566. Let h be k(-5). Is h at most as big as 2162?
True
Let m be -1 + 10 + -11 + -3638 + 3/(-1). Do m and -3646 have the same value?
False
Let q be (-1)/((16/12)/(-4)) + -5. Let u be ((-1)/q)/(23/(-230)). Which is smaller: -17/3 or u?
-17/3
Let i = 1517 + -1548.8. Which is smaller: i or -7?
i
Let s = 108.6 + -108.4. Is s greater than or equal to -944?
True
Let x = 108 - 69. Let c = x + -38. Let o = 45 + -47. Is o < c?
True
Let y(f) = -f**3 + 7*f**2 + 7*f - 10. Let b be y(8). Let s be (1 - (-21)/(-20))/(b/2112). Is s greater than 5?
True
Let l(a) = -7*a + 315. Let r be l(44). Is r > 85?
False
Let s = 5.5 + 38.5. Let i = -7 + s. Let f = -37 + i. Which is smaller: -0.05 or f?
-0.05
Suppose 5*q + 55 = -4*w - w, 0 = q + 3*w + 7. Let r be (1 - q)/(6/(-9)*-3). Let o(t) = -5*t + 33. Let s be o(r). Which is smaller: s or 5?
s
Let b = 14.5 - 0.5. Let h = 18.5 - 6.5. Let v = b - h. Which is greater: v or -8?
v
Let z be (2 + -7*2/(-28))*-4. Let m = 467/20 - 118/5. Is m greater than z?
True
Let u(l) = -6*l**3 + 23*l**2 + 4*l - 2. Let h(c) = c**2 - 19*c - 38. Let v be h(21). Let d be u(v). Which is bigger: -21/8 or d?
d
Let n = -47 + 91. Let w = 44 - n. Let l = -558 + 21763/39. Which is smaller: l or w?
w
Suppose 0 = -5*q + 5*g + 59210, 0 = 3*g + g - 8. Let y be ((-168)/q)/(1/24). Is y at least as big as 1?
False
Let h be 17*(-1)/7 - (-36)/84. Let d be (48/60)/(h/(-5)). Let m be (-28)/(-8) - 1/d. Is 2 equal to m?
False
Let i be (12/75)/((-18)/45) - 3872/(-9740). Is 0.1 less than or equal to i?
False
Let t be (-2)/((16/(-101))/8). Suppose -3*d - 25 = t. Which is bigger: -43 or d?
d
Let j be (1 - (-1 + -2))/(336/252). Let o be 0/(j/(45/(-6))*5). Are 41 and o unequal?
True
Let d = -6913 - -7105. Is -3/8 less than d?
True
Let v(y) = -y**2 - 6*y - 14. Let w be v(-4). Let c be 20 - 2/(3*w/27). Is 4 greater than or equal to c?
False
Let t be (-125)/(-45) - 26/(-117). Suppose -5 = -5*c, -5*c = t*l + 4 - 21. Which is bigger: l or -10/9?
l
Let z be (-184)/(((-6)/(-20))/(288/40)). Let s be (-1720)/z + (-24)/64. Is s > 1?
False
Let p = -87 - -86.21. Let n = p - -0.49. Let q = -4 + 1. Which is smaller: n or q?
q
Suppose 0*h = -3*a + h + 7, 0 = -3*a - 2*h - 5. Let w(g) = -56*g**2 - 1. Let r be w(a). Let v be (-1 - 1*-1)/(r/19). Is v less than -4/5?
False
Let b be (-1)/((1 - 0)/1). Let s = 19442 + -9662672/497. Which is smaller: s or b?
b
Let g(v) = 4*v**2 + 27*v + v**3 + 1 + 3 - 60*v + 34*v. Let o be g(-4). Let m = -996 + 16924/17. Does o = m?
False
Let x = -20 - -23. Suppose 5*a + 2*k + 16 = 0, 5*a + k - x*k = -4. Let h be (-3 - (-48)/15)/a. Which is smaller: h or -3/5?
-3/5
Let w = 594 + -336. Suppose -5*v + 9*m + 323 = 7*m, 0 = -4*v + 2*m + w. Suppose 0*k - 256 = -4*t + 5*k, 0 = 2*t - k - 128. Is v > t?
True
Let n = -84845 - -85398. Let t = -5 + 4.9. Which is greater: t or n?
n
Suppose -13*w + 5*y - 2305 = -8*w, -1383 = 3*w - 4*y. Is w less than or equal to -462?
False
Suppose -9*x - 34 = 56. Let l be x/(-35) + 57/21. Suppose 4*g = -g, g + 3 = -l*d. Which is greater: d or 1/15?
1/15
Suppose -3*f + 18605 = 5*i, 14871 = 4*i + 4*f + f. Suppose -1074 = -d - i. Let z = 13293/5 + d. Is 9 greater than or equal to z?
True
Let y be (-95 + 1 - 0)/(-15 + 13). Let h = y + -425/9. Let l = -84 - -82.7. Is h not equal to l?
True
Suppose 3*i + 3*i = -18*i + 24. Let w be 1/(398/(4/2)). Which is greater: i or w?
i
Suppose 3*a = -12, a + 32 = -5*d + 8. Is d equal to 507?
False
Let z = 144 + -143.949. Let b = z + 0.649. Is b bigger than 0?
True
Let b be (-17874)/2240 - 24/(-3). Let y = b - 1/672. Is y bigger than 0?
True
Suppose -5*d + 6145 = 5*h, -7*d + 8*d = -5*h + 1245. Is d at least 1222?
True
Let k be (-159)/106*6/(-32445). Which is smaller: k or 1?
k
Suppose -56 - 67 = -3*c - 5*b, 4*c + b = 147. Let r be (-1)/c + (-2)/(-8). Let v = 4240.7 + -4259.7. Which is greater: r or v?
r
Suppose -15*s + 0 = -15. Let m be s/(26/4) + (-765)/5395. Which is smaller: 4 or m?
m
Let p(u) = u**2 - 4*u - 10. Let q be p(-2). Suppose -q*n - 26 - 113 = -5*x, x = 4*n + 17. Suppose w = -w - y + x, -5*w + 45 = -3*y. Is w != 12?
False
Let u be (2/6)/(97/1). Let o(q) = 20*q**3 + 59*q**2 + 2*q + 14. Let f be o(-3). Is f > u?
False
Let c(d) = -5*d + 35. Let h be c(8). Suppose 4*f - 17 = 2*s - 61, 4*s - 67 = f. Let p be s/6*(-3)/(-36). Which is bigger: h or p?
p
Let v = -116635/58 - -2011. Let f = 28 - 23. Let h be (-1)/(-4)*f/((-45)/24). Which is smaller: v or h?
h
Let g = -98425 + 590557/6. Let w = -1 - -1. Which is greater: g or w?
g
Let j = -1157 + 1156. Which is smaller: -1636 or j?
-1636
Let c(y) = y**2 + 4*y - 17. Let u be c(2). Let w be u*1*192/(-2520). Is w less than -1?
False
Suppose 3*o - 15 - 16 = 4*m, -3*m - 2*o - 2 = 0. Let r be m - (2 - 1)*-14. Let b = -92 + 103. Which is greater: b or r?
b
Let l be (0*(-5 + 66/12))/1. Which is smaller: 22/365 or l?
l
Let n(y) = -86*y - 69. Let z be n(-2). Suppose -z = t + 2*g, -8*g + 5*g = 2*t + 205. Is -104 at most as big as t?
True
Suppose 0 = -5*q - 6*q + 3894. Let j = 352 - q. Which is bigger: -14/5 or j?
j
Let u = 1810/13 + -139. Let l be 15/(-15) + 3*26. Let j = 78 - l. Is j greater than u?
True
Let j = -306 - -547. Let v = -18327880/75939 + -13/4467. Let y = v + j. Which is greater: 0 or y?
0
Let k(d) = d**3 - 4*d**2 + d + 4. Let j be k(3). Let l be 