 x?
False
Let k(z) = -6*z + 26. Let i be k(-8). Let l = -70 + i. Let s = 2 + 2. Is s > l?
False
Let r be (-1006)/(-210) + 0/(-1). Let p = 34/7 - r. Let t be 21/105 - 3/15. Is p at least t?
True
Let x(m) = -14 + 2*m - 5*m + 5 - 14. Let u be x(-9). Are 4 and u equal?
True
Let p = -878 - -86043/98. Which is bigger: 1 or p?
1
Let q = 45 - 45.63. Let x = q + 0.53. Suppose w = -2, -3*w = 4*h - 9 + 51. Which is smaller: h or x?
h
Suppose 0 = -6*v - 5 + 11. Which is greater: v or 2/175?
v
Let q = 0.06 - -0.04. Let n = 9 - 5. Suppose -2*i + 4 = -2*k - 8, -n*i - 4*k = 16. Is i at least as big as q?
True
Let j be (-2)/(-2)*(-55)/(-5). Which is smaller: 74/7 or j?
74/7
Let r be 18/10*(10 + 0). Let p be r/(-4)*(-16)/120. Which is smaller: p or 1?
p
Let t = 171 + -173. Which is bigger: -4/19 or t?
-4/19
Suppose 40*z - 90 = 45*z. Let h = 72 + -91. Is z less than or equal to h?
False
Suppose n + 44 = -2*b, 95 = -5*b - 4*n - 12. Is b bigger than -20?
False
Let w = -434 - -914. Is 480 less than w?
False
Let w(n) = 2*n - 15. Let s be w(15). Suppose 3*q = -4*h + 53, q + 5*h - h = s. Which is smaller: q or 18?
18
Let o = 160 - 157. Is -0.04 bigger than o?
False
Let x = -194 + 396. Does x = 0.3?
False
Let h be 8/(-148)*(31 + -4 + -7). Which is smaller: -1 or h?
h
Suppose -5*q - 145 = -3*b - 3*q, 3*b = q + 140. Suppose 27*a - b = 24*a. Is 15 greater than or equal to a?
True
Let t = -266 - -263. Is -3/2 greater than or equal to t?
True
Let s be (-8)/24 + 344/6. Which is smaller: -1 or s?
-1
Suppose -2*r + 2 = -0*r. Let s be r - -1 - (-110)/(-56). Let a be 48/4 + 363/(-33). Is a != s?
True
Let m(s) = 6*s**2 + 4*s - 6. Let c be m(3). Let l = 34 - c. Which is greater: l or -25?
-25
Suppose 3*f + 13*c = 11*c + 7, 2*c = -f + 1. Let m be 3/12*68/5. Is m > f?
True
Let u = -0.23 - -0.13. Which is bigger: -218 or u?
u
Let w = -1 + 4. Suppose -6*v + w*d + 4 = -2*v, 5*v + 2*d - 5 = 0. Is v greater than or equal to -1/68?
True
Let d = 1.005 + -0.005. Let q = 0.2 + -0.1. Are d and q equal?
False
Let l(s) = -2*s**2 - 29*s - 40. Let t be l(-13). Is t at most as big as -2/119?
True
Let j = 58146 - 58171.187. Let h = 0.487 + j. Let u = h - -25. Which is smaller: u or 0.01?
0.01
Let q = -30/7 + 25/14. Let m = q - -2. Which is smaller: m or 0.7?
m
Let q(i) = i**3 - 4*i**2 - 14*i + 12. Let p be q(6). Let y = -15 + 7. Which is smaller: p or y?
y
Let u = -6 - -6.2. Suppose 2*s = 6*s + 8. Let z(x) = -x**2 - 2*x - 2. Let c be z(s). Which is greater: u or c?
u
Let o = -247 + 7409/30. Which is greater: 1 or o?
1
Let l(f) = -f**3 + 3*f**2 + 52*f - 12. Let u be l(-6). Let p be 38/(-18) + 1 - -2. Is p at most u?
False
Suppose 0 = 6*h - 113 + 113. Is -9/359 greater than h?
False
Let f be 1*(2 + 7/(-4)). Suppose -3*r + 8 = -10. Let w(y) = y - 7. Let h be w(r). Which is greater: h or f?
f
Let s = -25352/7 + 3612. Which is smaller: -10 or s?
-10
Let q = 37 + -123. Is -89 at most as big as q?
True
Let k = -675 + 617. Do k and -341/6 have the same value?
False
Let l(b) = 7*b**2 - 6*b**2 + 4*b - 10 + 2*b. Let t be l(-7). Are -15/7 and t unequal?
True
Let n be (-6)/1*4/12. Let i be (-2)/(-14) - (-3 - (-232)/7). Is n at most i?
False
Let x = 113116/23 + -4919. Is -2 <= x?
True
Suppose 43*x + u - 3 = 47*x, 4*x = 4*u + 12. Suppose 0 = -2*o + 5*o + 6. Is o smaller than x?
False
Let z = -463 - -473. Which is greater: z or -8?
z
Suppose -13*p - 560 - 805 = 0. Which is bigger: -1 or p?
-1
Suppose 17 = -4*s + b - 42, -5*s - 5*b = 80. Is -21 > s?
False
Let v = -0.399 + 41.299. Let y = v - 39. Let d = y + -1. Which is greater: -0.1 or d?
d
Let y = 2348715/203 + -11570. Is 1 at least as big as y?
True
Let x = 193 + -145. Is x at most as big as 46?
False
Let b(p) = -p + 8. Let x be b(8). Suppose -4*y + 4*f + 0*f = -192, -2*y + 95 = -3*f. Let d = y - 334/7. Which is bigger: x or d?
d
Suppose 4*t = 3*z + 343, -4*t - 448 = 6*z - 2*z. Which is smaller: z or -5/3?
z
Suppose 62 = -3*q - w, -19 = -3*w - 7. Is q <= 9?
True
Let i be ((-522)/(-168))/(18/(-189)). Is i > -32?
False
Let k = -695.6 - -707.612. Let v = 0.012 - k. Is v at most as big as -1?
True
Suppose -6*y + 10*y = 56. Do y and 49 have the same value?
False
Suppose -y = 9 - 6. Let z be y + 8/(-6)*(-189)/70. Is z bigger than -2/11?
True
Let s be (-523)/2 - 15/(-10). Do -259 and s have the same value?
False
Let m = -1982 - -1981.93. Is 12 less than or equal to m?
False
Let v be 4/(-3) + (1 - 4). Let l = v + 25/12. Which is smaller: -1 or l?
l
Suppose -88*u + 131*u + 2279 = 0. Which is smaller: -264/5 or u?
u
Let j be -1 - -1 - (0 + 0). Let g be 166*7/2548*(-10)/21. Let v = g + -2/147. Which is smaller: j or v?
v
Let l(c) = -c**2 + 46. Let s be l(-10). Let i(j) = j**3 + 14*j**2 + 5*j + 15. Let v be i(-14). Which is smaller: v or s?
v
Suppose 14 - 40 = -13*n. Which is bigger: 58 or n?
58
Suppose 0 = -0*g - 3*g. Suppose g = 9*t - 11*t + 24. Let s = 7 - t. Are -5 and s nonequal?
False
Let m be (-4)/(-298)*(-2 - -1). Let d be (((-228)/1490)/2)/((-246)/(-7995)). Let g = m + d. Are -2 and g nonequal?
True
Let x = 698.1 - 698. Which is bigger: 1/28 or x?
x
Let h(o) = 7*o + 43. Let n be h(-10). Let r be 6/(-4) + n/(-18). Is 1/56 > r?
True
Let x = -18 + 98/5. Which is bigger: x or 3?
3
Let h be (-10)/4 + 63/(-70). Is h at least as big as 2/9?
False
Let c = -4 - -34/9. Is c < 1?
True
Let r = 19 - 13. Suppose 0*u + r*u = -6. Let y be -2 - 9/(-5) - u. Which is smaller: y or 0.1?
0.1
Suppose 3 = -2*n - 5*x, -x + 6 = -3*x. Let u = 6 - n. Suppose l + 3*l = u. Is -3/8 < l?
True
Let q be 3 + 1/(-2)*-10. Which is smaller: q or 0.7?
0.7
Let l = 32 + -33. Is 1238 <= l?
False
Let a(z) = -2*z - 32. Let x be a(0). Let n = 44 + x. Which is bigger: 13 or n?
13
Let u = 12 - 6. Let p be (-9)/u - (-10)/(-4). Let w be 2/p*-2*-13. Is -12 greater than w?
True
Let v be 0*(-2)/((-2)/(-1)). Suppose 0 = -2*w + 4, 0 = f - 2*w + w - 68. Let c = f + -632/9. Is v < c?
False
Let z(n) be the third derivative of -5*n**4/24 - n**3/6 - 28*n**2. Let x be z(-4). Is 17 != x?
True
Let w = 46.3 - 56.3. Which is bigger: -3/2 or w?
-3/2
Let u be 2 + (-36)/15 + (-783)/(-45). Suppose -1 = 16*c - u*c. Is 5/11 bigger than c?
False
Let j be (-1 - -3)*(-1)/41. Suppose -d + 179 - 180 = 0. Is j equal to d?
False
Let h be -1*0/(-6*(-5)/10). Let c be 4 + (960/123)/(-2). Which is smaller: c or h?
h
Let a = 791/2 + -397. Is a at least as big as -0.22?
False
Let r = -652.8 + 653. Which is bigger: r or -2/149?
r
Let v = 781 - 781. Which is smaller: v or -0.198?
-0.198
Suppose 4*r = 62 - 186. Let o = -43 - r. Is o greater than or equal to -11?
False
Let y be 1/(6/(-32)) - (-11)/33. Let j be 38/(-11) + (y - -9). Which is bigger: 0 or j?
j
Let w be 1*(-5 - (-94)/1). Let n = -177/2 + w. Is n at most as big as 0.5?
True
Suppose 90 = 15*f - 18*f. Is f bigger than -32?
True
Suppose u + 1 + 0 = 0. Suppose 5*q + 4*n - 2*n = -11, -2 = 4*q + 5*n. Which is greater: u or q?
u
Suppose -32*g - 4*g + 180 = 0. Is 156 < g?
False
Let k be (-23)/42 + (-4)/14. Let f = k + -2/3. Let q be (3 - -12)/(-15) - 0. Which is greater: f or q?
q
Let b = 22.65 - -0.35. Let x = b - 20. Are x and 4 nonequal?
True
Let f(c) = c**3 - 18*c**2 + 17*c + 8. Let g be f(17). Let j be g/(-9)*3/4. Which is smaller: 1/2 or j?
j
Suppose -2*m = 3*b + 115 + 48, 2*m + 4*b + 166 = 0. Which is bigger: -75 or m?
-75
Let c = 2 + -11. Let d(x) = x + 11. Let t be d(c). Let s be (2/(-28))/((-1)/t). Which is greater: 0 or s?
s
Let t = -17.965 - -18. Let j = t + -25.035. Let o = j + 16. Which is greater: o or -2/3?
-2/3
Let y(j) = 2*j**3 + 17*j**2 - 3*j + 2. Let b be y(-8). Do b and 95 have different values?
True
Let l = 2/535 + -3224/3745. Let f = 114 + -116. Which is bigger: f or l?
l
Let p be (-8)/6 + (-1017)/(-702). Let j = p + 5/13. Which is bigger: j or 6?
6
Let k = -683 + 699. Let i be 1*-2 + (-2 - -4). Is k > i?
True
Let o(t) = 4*t**3 - 5*t**2 + 5*t - 7. Let j be o(3). Let m = 91 - j. Which is greater: m or 2/7?
m
Let f be (-15)/9 - 4/12. Let t = f - 2. Let y(w) = -w**2 - 7*w - 8. Let a be y(-6). Is t > a?
False
Suppose 4*v - 928 = 3*l - 0*l, 671 = 3*v + 4*l. Is v at most as big as -0.1?
False
Let i = -524 - -1053/2. Which is greater: i or 4?
4
Let f(r) = -r**3 - 28*r**2 - 2*r - 60. Let l be f(-28). Suppose 4*x - 76 = -12. Let q be ((-1)/(-6))/((-1)/x). Which is bigger: l or