
g
Let z = -0.02 - -0.02. Let y = 23/5 + -21/10. Is y less than z?
False
Let t(o) = o - 2. Suppose 2*g + 2*r = -2*r - 2, r = -5*g - 23. Let m be t(g). Let h = -20 - -13. Is h bigger than m?
False
Let p = 6 + -21. Let w be 35/p + 4/(-6). Let f be -1 + 2 + w/2. Which is bigger: -1 or f?
f
Let n be (3*4/(-3))/(-2). Suppose -2*v - 25 = -8*z + 3*z, 2*v + 4 = -n*z. Is v greater than -5?
False
Let w = -0.117 - 0.993. Let n = 0.11 + w. Which is smaller: n or 10?
n
Let w = -46 - -31. Is -12 > w?
True
Let a = -26 + 23. Is a at most as big as 3?
True
Suppose -a - 2*a = -4*h - 28, 3*a + 5*h = 19. Let g be 2/a + 1/28. Which is bigger: g or 2?
2
Let w be (12/(-10))/((-6)/20). Suppose -4*j + 2*x = -14, -4*x - 21 = w*j - 5*j. Is 1 at most as big as j?
True
Suppose -2*q = 4*z - q + 51, -3 = -z + 5*q. Is z equal to -4?
False
Suppose 0 = 4*i + 4*o - o - 10, 3*o = 3*i + 3. Which is smaller: 5/3 or i?
i
Let y = -0.08 + -12.92. Let p = -0.1 + 1.1. Which is bigger: y or p?
p
Let n = -0.01 - 0.79. Let h = n - -1. Let g = 46 + -228/5. Is h greater than g?
False
Suppose 18*s - 10 = 13*s. Which is smaller: 3 or s?
s
Suppose 7 = 2*v + 1. Suppose -3*t = -7*t + 12. Suppose t*r = v, 0*s + 35 = 5*s + 5*r. Is 0 at most as big as s?
True
Let b be 30/18*2/20. Let h = b - 2/3. Which is smaller: -0.1 or h?
h
Let s = -0.1 + 0.2. Let w = -588 + 588. Which is greater: s or w?
s
Let g = -6 - -8. Let r be (-38)/(-88) + g/(-11). Suppose -3*f + 6 = -3*i, 3*i + 4 = -f + 3*f. Do r and i have the same value?
False
Let m(d) = 6*d + 2 + 2 - 6. Let k be m(5). Let w be -1 + (k/(-9))/(-4). Which is greater: 0 or w?
0
Let s = 2.1 - 1.8. Which is bigger: s or 0?
s
Let d = -4.34 - -7.31. Let a = -0.03 - d. Suppose 4*i - 22 = 2*z, -5*z + 6 = 2*i + 1. Which is bigger: a or z?
z
Let z = -0.05 - -0.15. Are 3/2 and z nonequal?
True
Suppose -4*o - 47 = 2*v + 11, -o = -3*v + 11. Which is greater: -16 or o?
o
Let l = -15.1 + 15. Are 19 and l unequal?
True
Let v(n) = n**2 - n. Let k be v(1). Let j be (-56)/90 + 2/5. Let y = j - -5/9. Does y = k?
False
Suppose -4*k + 5*c + 39 = 0, -11 - 19 = -3*k + 3*c. Let p = -5 + k. Let b be (-4)/p*(-6)/4. Which is greater: b or 2/3?
b
Let j = 31.96 + -0.96. Which is bigger: -2/3 or j?
j
Let n = 20 - 14. Suppose -3*x + 20 = -8*x. Let u = n + x. Is u greater than 4/5?
True
Let c = 0 - 0.1. Let r = -0.08 - 3.92. Let s = r + 4. Which is greater: s or c?
s
Suppose -6*j = -j - 3*d - 8, 0 = -j + d. Let m = 6 - j. Suppose -7 = -5*s - m. Are 2/19 and s unequal?
True
Suppose -5*a + 37 = 4*v, v - a = -v + 1. Let s(z) = v*z + 6*z - 10*z + 10. Let q be s(9). Which is bigger: q or 1/17?
q
Let s = 13981/23 + -608. Which is bigger: s or 0?
0
Let x = -6 - -10. Suppose -5*a - 8 = -r + 7, x*r - 24 = 2*a. Is -1 not equal to a?
True
Suppose 0 = u + u - 10. Let r be (3/(-5))/((-4)/u). Is 1 equal to r?
False
Let m = 8.8 + -2.8. Which is smaller: 2/9 or m?
2/9
Let k(j) = j**2 - 8*j - 12. Let s be k(9). Let a be s/3 - (-1)/1. Let r(n) = -2*n**3 + 2*n**2 - 1. Let u be r(1). Which is smaller: u or a?
u
Let d = 0.18 - -0.01. Let w = d - 0.06. Let j = w - 0.22. Are j and -1 equal?
False
Let s = 164 + -161. Let r be ((-32)/(-2))/1 - 0. Suppose -r = -2*q - 2*q - 4*a, -12 = 2*q - 2*a. Is s bigger than q?
True
Suppose 2*v = 2*u - 6, 4*u - 9 = 2*u + 3*v. Let z(h) = h + 6. Let b be z(-5). Which is smaller: b or u?
u
Let c be (547346/44)/((-18)/8). Let m = c - -5529. Let q = m - 1/33. Which is smaller: q or 0?
0
Suppose 5*s - s = -28. Let v(f) = -f**2 - 2*f + 18. Let w be v(-6). Do s and w have the same value?
False
Let o be 2/3 + (-14)/(-6). Suppose 40*a - 46*a + 24 = 0. Which is smaller: a or o?
o
Let b be (9 - 4 - 6)*-3. Let d = 1317/4 - 327. Is b at most d?
False
Suppose -2*l + 10 = -7*l. Let y be (-3)/l*(-40)/(-12). Let w(d) = d**2 - 2*d - 4. Let u be w(4). Is y > u?
True
Let g = -0.004 + 31.004. Are -1 and g non-equal?
True
Let x = -24 + 16. Let m = -8 - x. Does -2/9 = m?
False
Let d = 11 + -11. Suppose -6*n + 8*n = d. Which is bigger: n or 2?
2
Let l be ((-2)/6)/((-1)/(-3)). Which is bigger: l or -6/47?
-6/47
Let b be 1/(-3 - -6)*-6. Let v = b - 1. Let u be -6*((-6)/4)/v. Which is greater: u or -9/5?
-9/5
Let b = -689345/224 + 3078. Let g = 1/224 + b. Is 1 >= g?
True
Let c = -5 + 6. Let m = c - 2. Let f = m - -0.8. Which is smaller: f or 3?
f
Let d = 7.4 - 7.4. Are 35 and d nonequal?
True
Suppose -9*x + 4 = 4. Is -2/7 greater than x?
False
Let i = -3301/7080 - -28/59. Let y = -161/120 + i. Let f = -5 - -3. Which is bigger: f or y?
y
Let l = 1 - -2. Let o = 3.1 - l. Let i = 8/99 - 10/33. Is i >= o?
False
Suppose 3*g + 2*g = 10. Is 0.1 not equal to g?
True
Suppose 2*d = t + 6*d + 2895, -3*d = 4*t + 11541. Let a = t - -83589/29. Let l = a - -177/145. Do l and 1 have the same value?
False
Let b = 0.47 - 0.23. Let r = 6.24 - b. Is r less than 0.1?
False
Let m(l) = -2*l - 4. Suppose -5*q = 3*f - 2*f - 39, -4*q - 3*f = -40. Suppose -q - 17 = 4*o. Let j be m(o). Is j less than 9?
True
Suppose -5*m - 3 = -13. Do m and 6 have the same value?
False
Let b = -25 + 18. Is -7 less than or equal to b?
True
Let x = 69 - 66.1. Let i = -1.8 + x. Let q = -1 + i. Is q < 0?
False
Let n be 4/(-10) + (-126)/35. Suppose -2*i + 10 = t, -t + 1 = -5*i + 19. Let y be (t/1)/2 + -2. Which is bigger: y or n?
y
Let j = -43/104 - -1/26. Which is greater: j or 1?
1
Let v(q) = -7*q + 1. Let n(k) = -k. Let x(d) = 6*n(d) - v(d). Suppose -4*c + 8 = -0. Let i be x(c). Which is greater: i or -2/15?
i
Let b be (-12)/(-22)*(-40)/(-30). Which is smaller: 1 or b?
b
Suppose -3*b + 3 = -2*u, 3*b + 0*u - 3 = 5*u. Is b not equal to -10?
True
Let w be 3 + 57/(-11) + 4. Are w and -1 unequal?
True
Let d = -2 - -4. Let u be d*(-2)/2 - -3. Which is smaller: -5 or u?
-5
Suppose -2*x = -4*a + 6*a - 8, 0 = -3*x - a + 8. Let n = -3 + x. Suppose 5 = -3*t + 2. Is t less than n?
False
Let u = 64 - 149. Let j be ((-15)/(-2))/(4/(-88)). Let z be 2/(-6) + u/j. Which is smaller: -1 or z?
-1
Suppose -2 = m - 1. Which is greater: m or -2/49?
-2/49
Suppose -2*a - 3*a = -15. Suppose a*j = -0*j + 6. Let y(d) = d**2 + d + 2. Let r be y(0). Are j and r nonequal?
False
Let l(v) = -v**2 + 3*v - 4. Let f be l(3). Let z(x) = x**3 - 5*x**2 + 4*x - 3. Let m be 2/(((-28)/(-8))/7). Let u be z(m). Which is greater: u or f?
u
Suppose 0 = -8*c + 4*c - 3*r - 32, -3*c + 3*r - 45 = 0. Let v(z) = -z**2 - z - 10. Let i be v(0). Which is smaller: i or c?
c
Let z be 6/(-15) + (-44)/40 + 3. Which is smaller: 2/7 or z?
2/7
Let s = 0.3 - 0.3. Let d = s - 0.5. Let b = -1.5 + d. Is -0.1 not equal to b?
True
Suppose 4*a + 12 = -8, 12 = -2*t - 2*a. Which is smaller: -5/12 or t?
t
Let b = 2 + -2. Suppose -11*l + 9*l = -24. Let a be l/15*(-5)/(-14). Do b and a have the same value?
False
Let u = 4.5 + 1.5. Let k = -6.1 + u. Suppose 1 = -n - 1. Is k != n?
True
Let m be (2/38)/(9/(-6)). Which is smaller: -1 or m?
-1
Let d = 2 + -1. Suppose a - 3*s = -69, 3*a - 5*s + 210 + d = 0. Let q be 52/a + (-4)/(-18). Is q bigger than 0?
False
Let f(a) = -a. Let o be f(-2). Suppose -3*j = -3*u - 3, -j - 4*u + 4 - 3 = 0. Which is greater: j or o?
o
Let f = -1.95 - 0.05. Let d = -3/89 + -163/445. Which is smaller: d or f?
f
Suppose -2*y = -0*y - 2. Is y less than -1/4?
False
Let y = -4.07 + 1.07. Which is smaller: 15 or y?
y
Let v be (-11)/(-4) - (-3)/(-4). Suppose 4 = -2*i - v*i. Is i at least as big as -1/5?
False
Let p(s) = s - 13. Let v be p(10). Is v greater than -4?
True
Suppose 5*j - 26 = 2*d, -6*j + 8*j - 65 = 5*d. Is d greater than -8?
False
Let q be (-7)/((-21)/12) + -1. Let s = -4/7 - -29/14. Which is greater: q or s?
q
Let k = -0.5 - -4.5. Let a = 3.9 - k. Which is smaller: 1/3 or a?
a
Let j = -23 - 39. Do -62 and j have the same value?
True
Let v be (8/(-33))/((-6)/(-18)). Are 0 and v non-equal?
True
Let u(q) be the second derivative of q**5/20 + q**4/4 - q**3/2 + q**2 - q. Let h be u(-4). Let p be 49/21 + h/6. Is p < 1?
False
Let k be (1 + 1/1)*9. Suppose 4*f - 15 = -t, -3*t - 4*f + k = 5. Which is smaller: t or -0.4?
t
Let j(w) = w**2 - 2*w + 1. Let c be j(3). Is 0 less than or equal to c?
True
Suppose 0 = 9*a - 11*a - 60. Is -30 < a?
False
Suppose 37 = d + 2. Let t = -45643/1316 - 22/329. Let u = d + t. Is 0 at least u?
False
Let u = -32 - -15. Are -17 and u unequal?
False
Let p = 0 + 6. Is 