. Do t and u have the same value?
False
Suppose 10*j - 6 = 5*j - j. Let c be 2/(-6) + 32/114. Does j = c?
False
Suppose 15*b - 19*b + 20 = 0. Suppose -35 = -5*w - 5*f, 3*f = -4*w - 1 + 24. Are b and w nonequal?
True
Let b = 13455/7684 + -2/1921. Which is bigger: 1 or b?
b
Let r = 0 + -0.1. Let u = 575 - 563. Does u = r?
False
Let a be ((-2)/(-32))/((-3)/(-54)). Let b be 3 - 4*3/((-18)/(-3)). Suppose 1 = 2*k - b. Which is bigger: a or k?
a
Let g = 933/5 + -186. Suppose 2*j + 5*x = 3*x - 2, -j + 5 = 4*x. Let y = 5 + j. Which is greater: y or g?
y
Let n(i) = -6*i + 48. Let y be n(14). Let c be (-7)/y*(-21)/(-98). Suppose 0 = 2*m - m. Which is smaller: m or c?
m
Let c be (-10 + 8)*(0 - 1). Let k be ((-13)/6 - -2)*c. Let o = -4 + 3. Which is bigger: o or k?
k
Let f = 1725 + -1725. Which is smaller: -10/433 or f?
-10/433
Let s(l) = -11*l**2 + 155*l + 470. Let n be s(-3). Are -94 and n equal?
True
Let h = -0.95 - -0.8. Let g = h + 0.1. Let a = g - -0.05. Is 1 not equal to a?
True
Let i be (3 - (-25)/10)*-14. Let z(v) = -v**3 - 47*v**2 - 42*v + 106. Let m be z(-46). Are i and m unequal?
True
Let c(z) be the second derivative of 2*z**3/3 + 47*z**2/2 + 2*z + 40. Let l be c(-14). Is l greater than -9?
False
Let w = 150341/204 - 737. Is -1 equal to w?
False
Let l(i) = 2*i**3 + 12*i**2 - 2*i + 7. Let q be l(-6). Let o = q + -25. Suppose -2*v - 22 + 8 = 0. Are v and o equal?
False
Let s = -115.8 - -115.7. Are s and -120 unequal?
True
Let k(g) = -7*g**2 - g + 33. Let c be k(6). Is -225 at least as big as c?
True
Let h = -0.277 - -0.402. Are 0.2 and h unequal?
True
Let s = -18575/41 - -453. Let m(p) = -4*p + 108 + p**3 - 55 - 51 - 2*p**2. Let b be m(3). Is b > s?
False
Let g = 61 + -61. Suppose 5*w - 3*s = 148, -s + 164 = 5*w - g*s. Is w at most 34?
True
Let a be -2 + 0 + (-48)/(-3). Let m(r) = -2*r**2 + 3*r - 4. Let p be m(3). Let i = p + a. Which is smaller: i or -2/35?
-2/35
Let g(d) = 36*d - 72. Let r be g(7). Are 181 and r equal?
False
Let o(s) = s**3 - 13*s**2 - 30*s + 1. Suppose -5*u = -9*u + 60. Let b be o(u). Is 28 greater than or equal to b?
True
Let t = 0.07 - 0.06. Let f = t + -0.01. Let u = -95/39 - -36/13. Which is smaller: f or u?
f
Let u = -58/21 + -172/105. Is u > -5?
True
Suppose t + t + 2*f = -16, 0 = -5*t + 2*f - 19. Is -6 at most as big as t?
True
Suppose 0 = -4*s + j + 3*j + 1132, -3*s - 2*j + 849 = 0. Which is smaller: 281 or s?
281
Let j be (3/130)/((-27)/(-36)). Let n = 534/455 - j. Do n and 1 have different values?
True
Let x be 415/25 + (-4)/(-10). Let r be (-2)/8*-6*-6. Let w = r - x. Which is smaller: w or -27?
-27
Suppose -3*b - 5 = -14. Suppose -2*k = 4*f + 28, -k + 4*k = b*f + 12. Let l = 11 + -10. Which is smaller: f or l?
f
Let f = 867 + -6079/7. Let u be (-6)/(-15) + (-4)/10. Which is greater: u or f?
u
Suppose 5*n - 21 = 4*p - 240, 3*p - 2*n - 166 = 0. Is 57 less than or equal to p?
False
Let j be 854/(-6) - (12/(-9) - -2). Which is smaller: -145 or j?
-145
Suppose -2*c - b + 18 = 0, 0*c - 52 = -4*c + 2*b. Suppose 2323 = 184*n + 299. Is n less than c?
False
Let l = 4 - 3. Let h be -14 + 5 + l/(-1). Let t(p) = -p**2 + p + 3. Let q be t(4). Which is smaller: q or h?
h
Let k = 54568/27 + -2019. Which is greater: k or 1?
k
Let o be (-8)/(-4)*(-6)/(-4). Suppose 3 + 2 = o*h - 5*k, 0 = 4*k + 4. Suppose 3*c + 2*a - 6*a - 14 = h, -8 = -2*c + 2*a. Which is greater: c or 5/4?
c
Suppose -2*b + 294 + 78 = -4*s, 5*s + 491 = -4*b. Which is smaller: s or 3?
s
Let m = 0.2 - 1.2. Let p = 1334 - 1335.2. Are m and p unequal?
True
Let w = 15 + -10. Let y be w + 2 + -3 + (-268)/6. Is -40 at most y?
False
Let i(h) = -2*h**3 + 4*h**2 - 4*h - 14. Let j be i(-2). Let c be j/7 - (-4)/14. Is 17/5 not equal to c?
True
Let c(v) = -10*v - 545. Let z be c(-54). Let d be (-2)/(-3) - 98/(-6). Suppose -25 = 5*a + 2*o, 2*o = -0*a + a + d. Which is greater: z or a?
z
Suppose 0 = -2*j - 5*t - 473, 6*t + 15 = 3*t. Is j greater than or equal to -225?
True
Let r be (-33)/616 + -1 + (-20)/(-14). Is 0 < r?
True
Suppose -41 = -i + 4*n + 21, -15 = 3*n. Do 41 and i have the same value?
False
Let a = 1.78 - -0.02. Let j = 0.09 + 0.71. Let n = j - a. Is n > 7?
False
Let c be ((-15)/(-12) - 1)*1/(-4). Which is smaller: c or -0.5?
-0.5
Suppose 170*a - 4 = 166*a. Is 1/69 bigger than a?
False
Let i = -20819/76 - -1097/4. Let w = -56/57 + i. Which is bigger: -2 or w?
w
Let r = 172 + -166. Is r at most -6?
False
Suppose -2*b = 3*b - 5. Let y = -27298 + 1091841/40. Let v = y - -15/8. Is v equal to b?
False
Let b = -1 - -6. Suppose -x = m + 14, x + 2*x + 60 = -b*m. Let k = 12 + m. Which is bigger: 5 or k?
5
Let k = -925 + 4624/5. Which is greater: k or -13.1?
k
Let v = 0.1413 + -6.1413. Which is smaller: 57 or v?
v
Let q = -9.81 - -0.31. Let n = -32.5 - q. Which is smaller: 0 or n?
n
Let j(g) = g**3 + 8*g**2 + g + 9. Let z be j(-8). Let p be (-1)/(92/(-6)) - (-3)/(-6). Is z at most p?
False
Let v(z) = -11*z + 67. Let m be v(6). Which is bigger: -26 or m?
m
Suppose -5 = o - 4*j, -o - 4*o + 5*j = 10. Let n be (o + 2)/(1/13). Suppose r = 6*r + 2*d - 65, 0 = 2*d. Is n greater than r?
False
Let w = 0.4 + -0.2. Let z = -0.3 + w. Suppose -4 = -5*h + 4*a, a = -0*a - 1. Which is smaller: h or z?
z
Suppose 1731*l = 1726*l - 420. Suppose -u = -0 - 4, 2*u - 93 = h. Is h >= l?
False
Let z = 45023971/105 - 428805. Let k = -62/15 - z. Which is smaller: k or 1?
1
Let k = -326 + 10760/33. Let v(c) = c**3 + 6*c**2 - 2*c - 7. Let n be v(-6). Suppose n*l + 49 - 44 = 0. Is l greater than k?
False
Suppose 14 - 18 = -h. Suppose 2*p - p = 8. Let t = -3 + p. Is t bigger than h?
True
Let n = 1550 + -1551. Let x = -0.6 - -2.6. Let o = -1.9 + x. Which is greater: o or n?
o
Let z be (-64)/12 - 2/(-6). Let h = -2 - 5. Which is bigger: h or z?
z
Let o(k) = -11*k - 93. Let a be o(17). Is a at least as big as -280?
True
Let v be (-2046)/(-770) + 0 + 0 + -3. Do 1 and v have the same value?
False
Let x = 709 + -708. Which is bigger: x or -81?
x
Let a = 15.4 + -26. Let u = a + 10.5. Is u at least as big as -1?
True
Suppose 30 = 3*o - 6. Let q be (2/196)/((0 + -3)/o). Is q >= 1?
False
Let o(i) = 25*i**2 + 157*i - 2. Let c be o(-3). Is c less than or equal to -1744/7?
False
Let k be (-14)/(-4)*(-36)/(-63). Suppose p = -5*c + k, p + 3*p - 5*c = 33. Which is bigger: 0 or p?
p
Let f be -4 + 5 + -1*2. Let i = -2 - f. Let v be (-295)/720 + (-6)/(-27). Does i = v?
False
Suppose -3*d + 2889 - 973 = -k, -4*d - 2*k = -2568. Is d at least as big as 638?
True
Let j = 10 + -10. Suppose -m = -j - 3. Let s be (m/74)/((-3)/4). Is 1 at most as big as s?
False
Suppose 8 = 3*y + 11. Let t be (16/(-10))/(y/10). Suppose -5*d - 11 = -2*v, -4*d + 6*v = 2*v + t. Which is greater: -3 or d?
d
Let l(a) = -a - 7. Let y be l(-6). Let d be 2/(-9) + (-3 - 5756/(-1764)). Are d and y equal?
False
Let x = 700 - 9095/13. Suppose 2*p = -g + 6*g + 13, 0 = 4*p + 3*g + 13. Which is smaller: p or x?
p
Suppose 2*m - 9 = 9. Let u be (-39)/m + (-4)/6. Let n(c) = c**3 + 6*c**2 - 7*c - 4. Let x be n(-7). Is u at least as big as x?
False
Let y be (0 - 8/(-26)) + 0. Let p = -1.7686 + -0.2314. Is y > p?
True
Let l be ((-2)/4)/(4/8). Let x be 4 + (l - 9*1/3). Which is greater: x or -2/29?
x
Let p = -1 - -3. Let g = -22 - -32. Suppose k + p*d + g - 3 = 0, -3*d = 5*k + 7. Which is bigger: -1/12 or k?
k
Let t = 190.1 + -177. Let h = t + -13. Let a = -1 - -1.02. Which is bigger: a or h?
h
Suppose 4*q + 41 = -3. Let v = -608 - -599. Are q and v equal?
False
Let l = 42 + -74. Which is smaller: -65/2 or l?
-65/2
Let l = 0.49 + -0.1. Let d = l + 0.61. Is d at most as big as -29?
False
Let y(b) = 4*b - 9. Let u be y(4). Let m(w) = w**2 - 12*w + 6. Let o be m(u). Do -29 and o have the same value?
True
Let x be -2 + 3/(-1) + 9. Suppose -2*u = -2, n + 2*n + 2*u = -x. Which is bigger: n or -27?
n
Let g = -1037/66 + 91/6. Is -2 < g?
True
Let g = -0.66 + 1.3. Let k = -0.67 + g. Is k at least as big as 0.6?
False
Let p = -10 + 6. Suppose 60*x + 20 = 55*x. Is p != x?
False
Let j = -45 + 52. Suppose 7*y + 2*v = 3*y + 2, 0 = 5*y - 2*v - j. Are -1/87 and y equal?
False
Let y = -1 - 0. Let d be (-1)/(6/(-7)) + y. Let m = -0.4 + 0.3. Is m greater than d?
False
Let z = -306.5 + 313.8. Do 0.7 and z have different values?
True
Let p = -28 - -53. Let c(m) = 15 + 10*m - 27 + 13*m**2 +