 or t?
x
Let w be 4/3 + 3/(-9). Let i = 3 + -3.5. Let y = -1.5 + i. Which is smaller: w or y?
y
Suppose 3*q - 4*v - 66 = 0, -4*v = 2*q - 0*v - 24. Let a be (-4)/q + 46/450. Which is bigger: -1 or a?
a
Let s = 19 + -16. Which is smaller: s or 1/2?
1/2
Let a = 3.06 + -0.06. Let m = a - 3.1. Let x = 0 - m. Which is smaller: x or -0.3?
-0.3
Let r be 106/6 - (-10)/(-15). Let z = 2 - r. Let y be -1 + 4/z*-3. Which is smaller: y or -1?
-1
Let s = -4/5 - -18/35. Let x(c) = 2*c**3 + c**2 - 10*c + 6. Let h(m) = -m**3 + 5*m - 3. Let l(u) = -7*h(u) - 3*x(u). Let n be l(4). Which is bigger: n or s?
s
Suppose 0 = -0*h + h. Is h less than -2/5?
False
Suppose -4*i - u - 415 = -2*u, 3*u + 15 = 0. Is i bigger than -106?
True
Let m = 6 + -3. Let v = -2.8 + m. Let g = -0.5 + v. Which is smaller: g or -2?
-2
Let d(q) = -33*q - 5. Let z be d(-4). Let x = z + -1907/15. Which is smaller: 1 or x?
x
Let g(d) = -d**3 + 6*d**2 - 6*d + 6. Let h be g(5). Let u(q) = 2*q**2 - 36*q + 65. Let w be u(16). Is h bigger than w?
False
Let s = -142 - -143. Suppose -5*k = 15, 0 = 3*z + k - 4 - 5. Suppose -27 = z*i + s. Is -8 greater than or equal to i?
False
Let i = 2 + -1. Let f be (2/(-5))/((-12)/70). Let v = f - 5/3. Which is greater: v or i?
i
Let a = -7 - 0. Let h = 6 - 13. Do h and a have the same value?
True
Suppose -5*k + 115 = 5*g, -6*g = -5*k - g + 145. Let f be -9 - -12 - k/18. Which is smaller: 2 or f?
f
Let l be 2/(-9) - (-3)/54. Let v = l - 1/3. Let j = -6/11 + 19/55. Which is bigger: j or v?
j
Let z(n) = -3*n - 4. Let f be z(-2). Is 6 less than f?
False
Let p = 2253 + -20201/9. Let u = p + -197/18. Does -4 = u?
False
Let l = -7 - -3. Let v = 3.7 + l. Let r = 0.2 + v. Do r and 1/4 have the same value?
False
Let v = 12 + -13. Which is greater: v or 2/35?
2/35
Let y be (-12)/(-21)*9/(-522). Do y and -1 have different values?
True
Let z(t) = t - 3. Let j be z(5). Suppose 5*l - 6 = 3*l. Is l at most as big as j?
False
Let r be ((-3)/(-54))/(1/(-4)). Suppose 0*j + 1 = j. Which is smaller: j or r?
r
Let k(c) = c**2 - 2*c - 5. Let w be k(-7). Let g be w/18 + 8/(-36). Which is bigger: g or 0?
g
Let a = 1189/12 - 99. Suppose -5*f + 2*g = -2, 6*f - 3*g = 4*f + 3. Is f bigger than a?
False
Let x = 16 + -23. Is x at least as big as -7?
True
Suppose -3*u = -0*u. Let w = 2.4 + -2.4. Is u > w?
False
Let u = 20.9 + -3.9. Let y = -17 + u. Which is bigger: y or -2?
y
Let o = -4 - -3. Let p be (o/2)/1*-2. Let x(g) = 2*g**3 - 2*g**2 + g. Let r be x(1). Do r and p have different values?
False
Let s be (214/(-9))/(297/(-9)). Let j = 10/27 + s. Are 0 and j non-equal?
True
Let y be 0/1 + 6/4. Let j be -20*(-3 - -4 - 2). Let x = 21 - j. Is y at least x?
True
Let o = 6356/17 + -374. Is o at most -2?
False
Let s = -462/5 - -10656/115. Is s not equal to 0?
True
Let x(o) = 0*o**2 - 5 - 4*o + 2 - o**2 + 1. Let z be x(-4). Which is smaller: 0.3 or z?
z
Suppose -54 = 5*w + 4*i, -3*w - 53 = 2*w + 3*i. Let a be ((-30)/(-9))/(w/(-15)). Is 2 >= a?
False
Suppose 5*d + 20 + 5 = 0. Let f = -23 - -24. Which is greater: f or d?
f
Let a be (-5)/(1425/560) - -2. Which is smaller: -1 or a?
-1
Suppose -56 = 2*u - 5*u - n, n - 22 = -u. Suppose -3*t = -4*g + u, -g = -5*t - 0*g - 17. Let b(w) = w**2 + 4*w + 2. Let q be b(t). Is -0.3 less than q?
False
Suppose 4*t = -4, 4*t + 1 = -4*z - 3. Which is bigger: -2/7 or z?
z
Let g be (-2)/4 + (-7)/(-2). Let u be -1 + 1/(6/10). Do g and u have the same value?
False
Let t be (((-12)/(-3))/(14/(-7)))/(-2). Which is bigger: t or -1/60?
t
Let c(n) = n**2 + 2*n - 4. Let l be c(-4). Let h(q) = q - 4. Let x be h(9). Which is smaller: l or x?
l
Suppose -2*h - 3 + 1 = 0. Let m be 204/9 + (-1 - 0). Let p = m - 22. Which is smaller: h or p?
h
Let a = -0.42 + 15.42. Which is smaller: -1 or a?
-1
Let i = -21 - 5. Let s be i/(-12) - (-3)/(-2). Let r = 184/7 - 26. Are r and s equal?
False
Let h(z) = -z**3 - 7*z**2 + 3*z + 22. Let n be h(-7). Which is greater: n or 2/9?
n
Let j = 113 - 109. Is 4 != j?
False
Let y = -1.44 + 7.44. Is -0.03 <= y?
True
Let x(u) = -u**3 - 2*u**2 + 3*u + 2. Let k be x(-3). Suppose -k*w + 3 = w. Let s be (0 + 2/14)/1. Is w less than s?
False
Let g = -12 + 15. Suppose 5 = 2*v + 35. Let k be 12/10 + g/v. Which is smaller: k or 3?
k
Let k = 71 + -53. Which is smaller: 118/7 or k?
118/7
Let i be 6/9 + 2/6. Suppose -10 = -3*c - i. Suppose -6 = -3*f - 5*o + 8, 0 = 5*f + c*o - 18. Is 1 greater than f?
False
Let f(l) = -l**2 + l + 5 + 0*l**2 - 3. Let s be f(-1). Is -1/3 >= s?
False
Let d = 28.83 + -29. Let j = d - -0.06. Let x = j - -0.11. Which is greater: x or -0.9?
x
Suppose 0*m - 5*m + 54 = -2*p, 2*m + 4*p - 36 = 0. Suppose -4*x = -0*x + m. Which is greater: -4 or x?
x
Let g = -0.04 + -0.66. Let o = g + 0.5. Let j = -0.2 - o. Does j = 1/3?
False
Let j be -1 + 1 - 6/198. Which is greater: j or -1?
j
Let x = -4 + 7. Let k(d) be the third derivative of d**5/60 - d**4/8 + 29*d**2. Let o be k(x). Which is greater: -2/7 or o?
o
Let x(k) = -k**3 - 2*k**2 + 3*k + 3. Let p be x(-3). Let u = -4 + p. Which is bigger: u or 1/3?
1/3
Let n = -28 + -21. Let l = n + 443/9. Is 0 greater than l?
False
Suppose -7 = -3*v + 8*v + y, -8 = 2*v + 3*y. Let l be (-3)/13*2/3. Which is bigger: l or v?
l
Let w = -7423/27 - -275. Is 1 <= w?
False
Let t = -0.3 + -1.7. Let o = t + 1. Does 3 = o?
False
Let i = 8 + -4. Suppose 4*z - 20 = d + 4*d, -i*z = 4*d + 16. Let j be 0*((-10)/d)/(-5). Is 1 greater than or equal to j?
True
Let i be (-76)/(-16) - 2/(-8). Let r = i - 8. Which is smaller: -4 or r?
-4
Let r(o) = -o**3 - 5*o**2 - 3*o + 4. Let m be r(-4). Suppose -2*y + 24 = 2*y. Let w = y + -27/4. Does m = w?
False
Let k = 93 - 93. Which is smaller: -3/44 or k?
-3/44
Let c be 10 + -11 - (-6)/2. Suppose x - c = -5. Which is smaller: x or -1?
x
Suppose h - 1 - 12 = 0. Which is smaller: 15 or h?
h
Suppose -3*b + 34 = -2*y - 0*y, -b - 5*y = 0. Is b at least 4?
True
Let a be 6/15*(-10)/(-8). Let d = 2 - 0. Let k be (3 - 2) + d + -1. Are k and a unequal?
True
Suppose -10 = -4*t + 10, 3*t - 12 = -3*a. Is -2/23 > a?
True
Let w = 23 + -20. Let q be 1/(w/(-12)*2). Are -9/7 and q nonequal?
True
Let c(m) = -m**3 - 5*m**2 - 4*m - 3. Let y be c(-4). Suppose 21 + 24 = 3*o. Suppose -3*v + o = -5*l, 0*v - 3*l = -2*v + 9. Is v not equal to y?
True
Let w = -9616/21 + 458. Suppose 0*f - 2*f = -2. Does f = w?
False
Let c = 6/11 - 35/44. Do c and -1 have the same value?
False
Suppose 3 + 1 = 2*y. Suppose 0 = y*d - 4*d - 2. Which is bigger: 1/6 or d?
1/6
Suppose -3*g - 45 = -0*g. Are -15 and g non-equal?
False
Let b(g) = -g**2 - 22*g - 52. Let o be b(-14). Which is smaller: 59 or o?
59
Let q(a) = 1 - a**2 + 3*a + 6 - 8*a. Let z be q(-6). Let p = 2 - z. Which is greater: p or 0?
p
Let s be (-785)/(-2) + -3 + 1. Let j = 383 - s. Do j and -9 have different values?
True
Let a be (3 - 1)/(14/2). Let b = 8.87 - -0.13. Let p = b + -9.1. Is p < a?
True
Let o = -28/3 - -9. Let k = -3/43 + 107/301. Is k at least as big as o?
True
Let d = 18 - 12. Is 6 greater than d?
False
Let n = 154 + -154.09. Is 0.1 smaller than n?
False
Let d = 1/1024 - 3137/66560. Is d equal to 0?
False
Let w be 5/(45/6)*9/12. Which is smaller: w or 4?
w
Let h(v) = 3*v**2 + 5*v - 15. Let p be h(-8). Is p at least 137?
True
Let p(i) = i**2 + 4*i + 4. Let z be p(-4). Let a be 2/z*(-20)/8. Let c = -3/4 - a. Is c smaller than 2?
True
Let p be ((-1)/7)/(-1 - -2). Suppose 5*t - 6*t - 4*t = 0. Which is smaller: p or t?
p
Suppose 2*n - 4 = -12. Let s be 30/18*(-2 - 1). Which is smaller: n or s?
s
Let p be (-25)/3*(-7 - (-31)/4). Does p = -5?
False
Let d = 0.9 - -0.1. Let i = 0 - d. Let x = -7/4 - -3/2. Which is greater: x or i?
x
Suppose -z - 63 = 2*z. Is -22 smaller than z?
True
Let c = 20.5 + -20. Which is greater: 1 or c?
1
Let a be 0 - (-3)/(-48)*-2. Suppose -5*k + 3 = -2*k. Is a < k?
True
Let n(h) = 2*h**2 - 1. Let d be n(-1). Let x(v) = -1 - v - d + 10. Let c be x(6). Which is greater: c or 3?
3
Suppose 0*r + r - 3 = 0. Let w be 13/5 + ((-8)/5)/(-4). Is r smaller than w?
False
Let v = -13 - -9. Let m(r) = r + 8. Let x be m(-4). Let c(g) = -2*g + 2. Let f be c(x). Which is greater: f or v?
v
Let x be (-3)/(-12)*(15 + -3). Suppose 0 = -x*k + 20 + 7. Suppose -4 = -5*n - k. Is -6/7 at least n?
True
Let i = 0.26 + 10.74. Let z = 10.9 - i. Which is smaller: -11 or z