. Which is smaller: 0 or w?
w
Let y be (-8)/(-9) - (-16)/36 - 2. Which is smaller: 399 or y?
y
Suppose -2*o - 1 + 7 = 0. Suppose 0*h + h = 5. Suppose 6*s - h = 5*s. Which is smaller: o or s?
o
Suppose -1104 = -32*v - 14*v. Are v and 26 non-equal?
True
Let c = -453.53 - -453.5. Let s = 119 - 44. Let h = s - 227/3. Which is smaller: h or c?
h
Let n = -15.86 - -16.86. Is n at least as big as 1/940?
True
Let m be ((-45)/3 - 1)/(-2). Suppose m*u = 3*u - 70. Let n(k) = k**3 - 2*k**2 - 9*k + 5. Let z be n(3). Which is smaller: u or z?
u
Let m = 29821 - 90656/3. Do -399 and m have different values?
True
Let v = -1960734/11 - -178043. Let j = -205 - v. Let m(u) = u**3 + u**2 + u + 2. Let o be m(0). Which is smaller: o or j?
j
Suppose 3*g + 225 - 9 = 3*a, -g = -3*a + 76. Let d = g + 65. Which is smaller: d or -3?
d
Let q = -89.8 - -14.8. Let z = q - -75.1. Which is smaller: -19 or z?
-19
Let y(o) = -3*o**2 + 3. Suppose -5*k - 2 = 8. Let w be y(k). Let b(s) = -s**2 + 12*s - 8. Let t be b(12). Which is smaller: w or t?
w
Let x be -18*((-8)/(-12) + 22/(-24)). Do -0.35 and x have the same value?
False
Let t = -0.01 + -0.09. Let n = -3 - -3.3. Let s = t + n. Which is bigger: 13 or s?
13
Let f = 73.9 - 74. Let x be ((-2)/(-2))/((-3)/(-27)). Suppose -3*b + 0 = x. Which is smaller: b or f?
b
Let a = -104 + 53. Let o = a + 51. Let b = 0.8 + -1. Which is smaller: b or o?
b
Suppose -g + 5*r = 1 - 4, 0 = 4*g - 3*r + 56. Suppose -2*y = -19 - 35. Let m be ((-36)/y)/(-2 - (-56)/27). Which is greater: m or g?
g
Let r be -3*(1 + 15/(-9)). Let u be (3/(-4))/(r/(-8)). Let b be (3 - u)*2/2. Which is smaller: -1/11 or b?
-1/11
Let m = 28 - 24. Suppose -7*u - 14 = -8*u + 5*t, 2*u - 4*t - m = 0. Is u less than or equal to 5/4?
True
Let w(f) be the second derivative of -f**4/12 - 5*f**3/6 - f**2/2 - 9*f. Let u be w(-5). Is u bigger than -1?
False
Let r = 3 - 4. Let k = 3491/12870 - -14/2145. Are r and k equal?
False
Let j be (-70)/(-20) + 3/(-2). Suppose -x - j*c = -11, 0 - 3 = -x + 2*c. Are x and 7 non-equal?
False
Suppose 1557 = 25*r - 5668. Is r greater than or equal to 289?
True
Suppose -s = -5*f + 20, -4*f = -7*f + s + 12. Let m(l) = -3*l - f - 2 + 0. Let o be m(-5). Which is smaller: o or 6?
6
Let b be 2/10 + 277/(-1435). Is 1 bigger than b?
True
Let f be 185/63 - 3 - (-8)/(-36). Does f = 21?
False
Let y = 0.07 + 0.53. Let s = 0.4 + y. Let v = -6 + 5. Which is greater: v or s?
s
Let k be 2/18 + (1 - 1). Let v(c) = c + 10. Let l be v(0). Suppose -l*a = -0 - 10. Which is smaller: k or a?
k
Let z = 627793 + -6900374/11. Let i = z - 487. Is 0 greater than i?
True
Let h = 39.79 - -0.21. Let s = h - 21. Let t = s - 22. Which is bigger: 4 or t?
4
Let x = -2181 - -23964/11. Do x and -1 have different values?
True
Suppose b - 2*j = 6, -4*b + 6 = -2*j - 6. Suppose -4*u + 288 = -6*f + 3*f, -4*f = -b*u + 394. Let t be (-165)/f + 2/(-8). Which is smaller: 2 or t?
t
Suppose 3*p = 5*q + 2*p + 53, -27 = 3*q - 3*p. Which is bigger: -14 or q?
q
Let c = -2 + 22. Let q = 3 - c. Is q smaller than -18?
False
Let t(b) = b**2 + 9*b - 4. Let y(h) = 5*h. Let n be y(-2). Let q be t(n). Let k be 2 + ((-33)/q - -4). Is k greater than 3/4?
False
Let c be (-11)/66 + (-5865)/(-35406). Which is smaller: c or -1?
-1
Let x(t) = -7*t - 30. Let l be x(-6). Suppose 3*h + 11 = -f, 5*h = -3*f - l - 9. Is h >= 12?
False
Let b = 6 + -11. Let u = 4.7 + b. Let y = -80/3 - -26. Which is smaller: u or y?
y
Let z = 5.44 + 0.46. Let a = z - 4.8. Which is smaller: 2/5 or a?
2/5
Let f = -13 - -220/17. Let k = 30 + -34. Let b be ((-15)/(-10))/((-6)/k). Is f < b?
True
Let n(z) = -z**2 + 3*z - 10. Let b be n(5). Let v = 43 + b. Which is smaller: v or 24?
v
Suppose z = 5*c - 19, -2*z + 23*c - 22*c = 2. Which is smaller: z or 321?
z
Let n be (1 - (-4)/(-6))*-78. Which is bigger: n or -27?
n
Let l = -1563 - -1992. Which is smaller: l or 1715/4?
1715/4
Let y be 369/(-15) - (-8)/1. Which is greater: -0.1 or y?
-0.1
Let a be -3 - -2 - 4/(-3). Let o = 4537 + -4534.1. Which is smaller: a or o?
a
Let t = 287 - 286. Which is greater: t or 9/38?
t
Let p(d) = -d**2 + 25*d + 58. Let j be p(9). Is 197 less than or equal to j?
True
Suppose 4*i = 2*j + 62, i - 2*j = 8 + 12. Let v be i/150*(-56)/98. Which is bigger: v or 1?
1
Let u = -15 - -210. Let x = u - 181.7. Let z = x - 13. Are z and 4 equal?
False
Suppose -5*j + c - 21 = -50, 5*j = 3*c + 27. Suppose j = -2*u + 2. Suppose 3*d + 14 + 7 = 0. Which is smaller: d or u?
d
Let h = -4 + 6. Let m = 55 + -57. Let y be m/(-7) + (2335/(-455) - -5). Which is greater: y or h?
h
Let d be 47 + 5*(-7)/(-5). Which is smaller: 28 or d?
28
Suppose -f - 13 = 5*g, -3*f - 5*g - 7 = f. Let c(x) = -x**2 + x + 2. Let p be c(f). Suppose 0 = -p*o - o + 9. Is o at least as big as 10?
False
Let w(k) = -k**2 - 1. Suppose 0*o = -5*o. Let g be w(o). Which is smaller: g or -8/5?
-8/5
Let c be ((-20)/(-60))/((-3)/(-9)). Do c and 2/419 have the same value?
False
Let i be (11/(-44))/((-26)/(-256)). Is -1 equal to i?
False
Suppose 8*k + 240 = -2*k. Let l = 26 + k. Let a = 2 - 4. Does a = l?
False
Let r = -947 - -946.98. Is 3/22 not equal to r?
True
Let o(z) = z**3 + 20*z**2 + 19*z + 14. Let q be o(-19). Suppose 0 = -4*w - j + 39, 3*j = 4*w + 6*j - 29. Which is bigger: q or w?
q
Let t = -14 + 60. Suppose 17 = -2*p + g, 0*p - 5*p - g = t. Let i be 2/((-6)/p*-3). Which is bigger: i or 1?
1
Let c = -274895/66 + 4165. Does -1 = c?
False
Let a(q) = q**3 + q**2 - q + 1. Suppose -2*u = 3*u + 30. Let g(r) = -7*r**3 + 6*r**2 - 5*r - 9. Let t(w) = u*a(w) - g(w). Let s be t(11). Is s >= -1?
True
Suppose 37*u + 1 = 38*u. Do u and -1/58 have the same value?
False
Let q be (-1653)/4120 + 4/10. Is 1 less than or equal to q?
False
Let z = 24 + -21. Let a be z + -5 + (10*-4)/(-4). Is 6 < a?
True
Let g be (-5)/45 - 7/((-63)/55). Are 0.017 and g non-equal?
True
Let q be ((-2)/(-8))/((-20)/80). Is 16/43 >= q?
True
Suppose 62 + 42 = 8*v. Let b(t) = 6*t**2 - 9*t**2 + 15*t + 2*t**2 - 11. Let o be b(13). Which is smaller: o or v?
v
Let s be 20/6*(4 - 9 - -2). Which is smaller: s or -9?
s
Suppose 0 = 5*b - 27 + 12. Suppose 5*g + 5*t + 10 = 0, -17 = -2*g - 0*g + 5*t. Is g < b?
True
Let p = -1.4305 + 0.0305. Let s = -1.72 - -0.12. Let c = s - p. Which is bigger: c or -3/8?
c
Let z be 1/(-4) + 17759/140. Let j = -127 + z. Which is bigger: j or 2/17?
2/17
Let z = -11/192 - -479/2496. Is 0 greater than z?
False
Let d = 734/11271 + -4/289. Which is smaller: -1 or d?
-1
Suppose -1284*n + 1298*n + 15386 = 0. Is -1098 less than n?
False
Let u(c) = -13*c + 66. Let f be u(5). Is f smaller than 1/13?
False
Let l(d) = -2*d + 2. Let f be l(5). Let o = f + 17/2. Let j = -2/11 - -15/22. Is j greater than or equal to o?
True
Let j(l) = l**2 + l - 3. Let q be j(3). Suppose -3*c + 24 = q. Let n = -212 - -213. Which is smaller: c or n?
n
Let h be (3 - 192/66)/((-2)/4). Suppose 4 = 2*v + 2*v, 5*t - 3*v = 2. Is h < t?
True
Let j = 152.9 - 152.9. Which is greater: j or 1618?
1618
Let n = -5.9 - -1.9. Is 4 smaller than n?
False
Suppose -136 = -11*t + 13*t. Let x be t/3 + ((-12)/(-18) - 0). Which is bigger: x or -23?
x
Suppose -8*l - 9 = 7. Suppose 1 = 3*m - 2*x + 5, 5*m = 3*x - 6. Which is smaller: l or m?
l
Let a(v) = -v**2 + 4*v + 9. Let k be a(5). Let i = 0 - -2. Let l = i + -2.1. Which is smaller: k or l?
l
Let d be ((-78)/(-6) + 26/(-2))*2/2. Let o = 2/583 + -214/583. Which is smaller: d or o?
o
Suppose 0 = -17*h + 21*h. Suppose 2*z + 3*z - l = 341, -5*z - 3*l + 337 = h. Which is greater: z or 69?
69
Let c = -10 + 11. Let n = 202472 + -117433653/580. Let v = n + -3/20. Which is smaller: v or c?
v
Suppose -1 = -0*m + m - 4*c, 0 = -3*m + 3*c - 3. Let s be (-6)/165*(-5)/(-13). Is s <= m?
False
Let g = 35 - 21. Let p = 16.26 + -0.26. Let q = g - p. Do -2/11 and q have the same value?
False
Let z = 25 - 10. Let x be (-30)/25 + 13 + (-2)/(-10). Does z = x?
False
Let b = 895 - 950. Do -54 and b have the same value?
False
Let f be -1 - (2 - 1) - 49. Let q be f/(-9) - (-2)/6. Let a(h) = h**2 + 2*h - 19. Let k be a(-6). Is k greater than or equal to q?
False
Let x = -1 + 4. Let p = 264 - 1818/7. Is p equal to x?
False
Let w(k) = k - 11. Let v be w(8). Let f = -30 + 48. Let i be 6/f + (-7)/3. Which is bigger: v or i?
i
Let o be -4 - ((120/4)/6 - 8). Which is smaller: o 