 = u + 19/7. Suppose 3*r = 4*r. Which is smaller: w or r?
w
Suppose -9*n = -4*n - 10. Is 0 bigger than n?
False
Let v = 3 + 0. Suppose -6 = 3*u, 3*z - v*u = -u - 5. Let f be 2/8 + z/(-4). Is f not equal to -2/9?
True
Suppose -5*o + 27 = -g - 3, 2*g = 5*o - 35. Suppose 3*k - x - 1 = 0, 2 = 5*k - 4*x + o. Is k smaller than 1?
False
Let d be 2*((-12)/(-8) - 2). Let r be (-4)/(-3)*(-6)/(-4). Let g be (r/(-12))/(2/16). Which is smaller: g or d?
g
Let h be ((-21)/(-35))/(1/(-5)) - -8. Which is greater: h or 4?
h
Let f(j) = j**3 - 2*j**2 - 2*j + 2. Suppose -32 = -4*b - 2*g - 3*g, 23 = 5*b + 2*g. Let a be f(b). Let m be 3/(a/(10/(-3))). Does m = -2?
True
Let h = -6 - -10. Let l(r) = -1 + 0 - h*r + 2 + 4 - r**2. Let n be l(-5). Is n at least as big as 2/7?
False
Let x = -167215/139 + 1203. Does 1 = x?
False
Suppose 7*f + 4*d - 42 = 4*f, -2*f = -3*d - 45. Which is greater: 35/2 or f?
f
Let z(u) = u**2 - 1. Let w be z(-5). Let v be (2/(-4))/(3/w). Suppose 15*o - 12*o = -12. Do o and v have the same value?
True
Let v be 1 - 1/1*-4. Suppose b = v*b. Let q = 184/13 + -14. Is b > q?
False
Let l = 7 + -7. Which is bigger: l or -0.36?
l
Let x = -370/279 - 2/279. Which is smaller: 0 or x?
x
Let s(m) = 3*m**2 + 2*m + 3. Let f be s(-1). Which is bigger: 22/5 or f?
22/5
Let a be 3/9 - (-4 - (-52)/12). Which is smaller: a or 1/93?
a
Let v = -72 + 203. Is 131 greater than v?
False
Let o = -10 - -1. Let g = -7 - o. Which is greater: -3/7 or g?
g
Let y = 0.1 + -3.35. Let z = 0.25 + y. Is z less than or equal to 1?
True
Let q = -0.04 + 0.04. Which is smaller: q or 9?
q
Let q = 14 + -14. Which is smaller: q or 18?
q
Let c(g) = g**2 + g - 1. Let q be c(1). Let k be 17/18 - 3/6. Is k bigger than q?
False
Let l = 2 - 1. Let s = l - -1. Let v(g) = 2*g + 1. Let j be v(1). Are j and s nonequal?
True
Let w(x) = x**2 + 6*x + 4. Let f be w(-4). Let c = f + 7. Suppose 4*t = -1 - c. Is t <= -2?
False
Let x = -1 - 0. Suppose 2*i + 0*i - 2 = 0. Let n be 2 + (-3 + i - 0). Which is smaller: x or n?
x
Let r be (8 - 328/40)/(2/10). Is -4 equal to r?
False
Let n = -9 - -14. Suppose -2*t + 7 = -3*i + 25, 0 = -3*i - 2*t + 6. Which is bigger: n or i?
n
Let u be 1 - 0/1 - 28. Let j = 18 + u. Let t = 6 + j. Is t equal to -3?
True
Suppose 22 = 2*y + 5*q, -5*y - 15 = -3*q - 2*q. Which is greater: 2 or y?
2
Let n = 16 - 18. Which is smaller: n or 2/5?
n
Let c(m) = m**2 + m - 1. Let j be c(2). Suppose 4*b + 14 = 5*h - 11, 5*b - j*h = -25. Suppose b*z = -3*z + 6. Is 3 bigger than z?
True
Suppose -4*j - 200 = -4*t, 2*j = 3*t - 129 - 26. Let f be 11/(t/18) + -4. Is f smaller than -2/5?
False
Let j = 59 + -60. Let k = -0.3 + 0.2. Is j less than k?
True
Suppose -4 = 4*y + 4*p, 3*p = 7*p + 4. Let i = 1852/9 - 206. Is y smaller than i?
False
Let d(t) be the third derivative of t**4/24 - 7*t**3/6 - 2*t**2. Let n be d(7). Suppose 0 = 2*q, n = -5*l - 4*q - 5. Which is greater: 0 or l?
0
Let u(b) = 2*b + 1. Let a be 4/(-10) - 17/(-5). Let s be u(a). Let h be (-13)/(-5) - 21/s. Is h bigger than 1?
False
Let k be (1 + 16/(-22))/((-2)/4). Is -2 at least k?
False
Let b = 0.82 + -1. Let i = 0.08 + b. Let l = i + -0.1. Do l and 0 have different values?
True
Let k = -3 - -3. Suppose -3 = -3*b - 0. Let f be b/((-15)/(-27)) - 2. Is f at least k?
False
Let q be (1 - (-1 + -1)) + 2. Suppose 0*i + 2*i - 13 = q*m, 2*i + 5*m = -17. Let o be ((35/(-20))/(-7))/((-2)/8). Do i and o have the same value?
True
Let k = -11 - -17. Let c be ((-6)/(-4))/(k*-1). Is c equal to -2/3?
False
Suppose 1 = 6*o + 19. Let n(h) = h**2 + 2*h - 6. Let q be n(4). Let z be q/(-10) - (-1)/(-5). Is o > z?
False
Suppose -2*h - r - 8 = r, -h - 19 = 4*r. Suppose 3 - h = 2*s. Suppose -9 = 3*f, -2*g - f = 2*g - s. Are g and 4/9 equal?
False
Let b be ((-6)/15*(-10)/8)/(-2). Which is bigger: b or 8?
8
Let o be (-2 - -3)/((-6)/(-54)). Is o not equal to 26/3?
True
Suppose 4*c + 15 = -c. Let q = 1 + c. Let x = -85 + 167/2. Is x <= q?
False
Suppose -5*m = -2*x + 3693, -2*m - 1036 = 3*x + 445. Let p = m + 9613/13. Is -1 < p?
True
Let d = -28292235690388318/116050275371709 + -22/19527221163. Let p = d - -30/1981. Let z = p + 244. Is 1 greater than z?
True
Let c = 4.1 - 4. Which is bigger: -0.14 or c?
c
Let g(a) = -2*a - 1. Let n be g(6). Let z = -23 - n. Let u be (1/(-2))/(-9 - z). Is 0.1 > u?
True
Suppose r = -2*x - 31, -5*x - 5*r = -2*r + 75. Let f be (x/(-20))/(-1 + -2). Is f not equal to -1?
True
Let o(g) = g**2. Let h be o(2). Suppose -4 = -r + 2*r + 5*d, -h*r + d + 26 = 0. Let t be (r/44)/((-9)/(-12)). Is -1 equal to t?
False
Let b(s) = -s**3 - 8*s**2 - 10. Let c be b(-8). Let x = -6 - c. Let u = x + -2. Which is smaller: 1 or u?
1
Let i = 2 - 5. Let n = 0.2 - -0.3. Let o = n + -0.5. Which is greater: i or o?
o
Let t be (-2)/(-4) + 593/(-826). Let n = -130976/59 - -2220. Let u = t - n. Which is smaller: u or 0?
u
Suppose 7*p - 6 = 4*p. Suppose 2*b + 0*b + p = 0. Is 4/9 > b?
True
Suppose x - 1 + 3 = 0. Which is smaller: -12/11 or x?
x
Let p be 17/5 + 2/(-5). Suppose 4*v - 3*v - 19 = p*x, -2*v + 14 = -2*x. Let u be (-28)/30 + (-2)/x. Is -2 at least as big as u?
False
Let g be 1 - ((-50)/20)/((-1)/(-2)). Let w(n) be the first derivative of n**2/2 - 7*n - 1. Let u be w(g). Which is smaller: u or -4/5?
u
Let m = 3 - 5. Let r = 2.4 + -0.2. Let s = m + r. Are -1/5 and s equal?
False
Let q = -5 + 8. Let o be (q - 4 - 0)*-2. Suppose -g + 0 = o. Is g < 3?
True
Let n be 30 - (-3 + (0/(-1) - -1)). Which is greater: n or 30?
n
Suppose 0 + 1 = -2*m + 3*r, -3*m = 3*r - 6. Let w = 80 + 4. Let s be 77/w - 2/3. Which is smaller: s or m?
s
Let t(q) = -9*q**2 - 2*q - 5. Let g be t(4). Is g != -156?
True
Suppose 5*d - 3 = 17. Let s be -3 + 7 - d - -6. Is s at most -0.2?
False
Let l be 4/(-18) + 207/81. Are 3 and l nonequal?
True
Let y = 1656/7 + -114250/483. Which is greater: 0 or y?
y
Suppose -5*b = h + 19, -11 = -4*h + 9*h - 3*b. Let c = -4 - 2. Which is smaller: h or c?
c
Suppose -18 = -4*l - 2. Let j be l/(-14) - 85/70. Which is bigger: j or -0.1?
-0.1
Let h = -4 - -3. Let t be (h - -2)*1*3. Suppose l + 0 - t = 0. Which is greater: l or 4?
4
Let y = -6 - -8. Suppose -y*k + 6 = -2. Suppose -v = k*v. Is v < -6/5?
False
Let l(c) = -c - 7. Let o(k) = -4*k - 21. Let a(d) = -7*l(d) + 2*o(d). Let b be a(7). Is -2/19 at least b?
False
Let c = 0.6 - 1. Let a = c + -0.6. Let t = 2.94 - -0.06. Is a < t?
True
Let g(o) = -o + 6*o**2 - 10*o - 3 - 3*o**3 + 0. Let j(i) = i**3 - 2*i**2 + 4*i + 1. Let f(s) = 4*g(s) + 11*j(s). Let l be f(2). Which is bigger: -2 or l?
l
Let f = -0.42 + 0.32. Which is smaller: f or 21?
f
Suppose 0 = 2*j - 6 - 2. Which is smaller: j or 5?
j
Suppose 0 = n - 2*n + 22. Suppose -3*y + 2*f = -10, 9 = -4*y + 3*f + n. Suppose 2*q - y*q = -2. Is -2/5 <= q?
True
Let o = -13.9 + -0.1. Let d = 20 + o. Is -1/2 > d?
False
Let q be 1 - 5 - (-14)/(-4). Is q smaller than -8?
False
Let k = 14 + -15. Which is smaller: k or -4/3?
-4/3
Let t = 38 + -36. Let w = 5.02 + -5. Is t greater than or equal to w?
True
Suppose 2*z + 22 = 3*b - b, -4*z - 55 = -5*b. Which is smaller: 3 or b?
3
Suppose -4 = -q - 0*o - 3*o, 2*q - 3*o = 26. Is q != 9?
True
Let y = -10 + 12. Which is smaller: y or 0.1?
0.1
Let g = -4 - -3. Let o be 3/3*1 + g. Is -4/3 not equal to o?
True
Let w = -14.2 - -14.27. Which is smaller: -3 or w?
-3
Suppose 0*i - 3 = -i. Suppose 0 = -i*k + 5*h, 5*h = 2*k + 3*k. Suppose -b - 4 + 5 = 0. Is b bigger than k?
True
Let o = -0.6 - -0.3. Let r = 44.3 + -47. Let u = r + o. Which is smaller: -0.1 or u?
u
Let h(q) = 5*q - 4*q + 3*q - 5*q. Let x be h(1). Is -2/35 >= x?
True
Let o be 58/(-88) - (-39)/52. Which is smaller: -0.1 or o?
-0.1
Suppose -2*l = -0*m - 2*m + 88, 168 = 4*m + 4*l. Let o be (-4)/6*256/4. Let s = m + o. Is s greater than 0?
True
Let t = -5 - -3. Is t at least as big as 1?
False
Let r = -5 - -5. Suppose 4*h - 12 = -r*h. Let w(l) = l**2 - 4*l + 1. Let n be w(4). Which is greater: h or n?
h
Let k be 0/2 + (14 - 5). Suppose -3*z - 5*q = -3*q + 4, 0 = -3*z + 3*q - k. Do -0.4 and z have the same value?
False
Suppose -4*x + 24 = 4*x. Which is smaller: 12/5 or x?
12/5
Suppose -5*t = -8*t - 6. Let b be (t - 1*-4)/(-3). Let p(f) = -f**3 + 5*f**2 + 7*f - 8. Let a be p(6). Which is smaller: a or b?
a
Suppose 0 = f - 251 - 59. Let y be f/1425 + (-1)/5. Let t = y + -62/28