3873/25 + t. Is i < z?
False
Let g = 391/3357 - 2/373. Is g <= -1?
False
Suppose 0 = 2*c - 1 - 1. Suppose -k + c = -0*k. Which is smaller: 1/8 or k?
1/8
Suppose 3*r + 3 = -3*h, -r - 5*h - 4 = 3*r. Let c be 6/(7 + -4)*r. Is c >= -6/7?
False
Let s(a) = a**3 - 6*a**2 + 2*a. Let g be s(6). Which is smaller: -0.2 or g?
-0.2
Let t = 2.28 - 0.28. Which is smaller: -0.6 or t?
-0.6
Let c = 104/11 - 684/77. Let d = 0 - -2. Which is smaller: c or d?
c
Suppose -5*q - 156 = -56. Let v = q - -26. Are 6 and v non-equal?
False
Suppose -9*i = 6 + 3. Do 11/24 and i have the same value?
False
Let d = 48 - 45.9. Which is greater: 0 or d?
d
Let p = -0.88 + 0.18. Let u = -0.9 - p. Which is greater: u or -1?
u
Let n = 13 + -27. Suppose 0*f - 75 = 5*f. Which is bigger: n or f?
n
Let o(c) = -6 - 10 + c + 0*c - 2*c. Let r be o(-10). Which is bigger: -5 or r?
-5
Let d(j) = j**3 + 2*j**2 - 5*j - 3. Let q be d(-3). Suppose -2*v - l = 0, -4*v + 3*l + 4 = -16. Is v not equal to q?
True
Let l(r) = -r**2 + 5*r. Let f be l(4). Suppose -3*i + q + 1 = 0, 0*q - 5 = -q. Do i and f have the same value?
False
Let i = 276/7 - 40. Is i bigger than 1?
False
Let s(n) = n**2 - 7*n - 10. Let j be s(9). Let p(z) = -z**2 + 6*z + 17. Let t be p(j). Which is smaller: t or 3?
t
Let c = 44 + -47. Which is bigger: 5 or c?
5
Suppose -3*g - 18 + 0 = 0. Let f be 1 - 6/3 - 5. Is f > g?
False
Suppose -5*d - p + 2*p + 36 = 0, 3*p = -d + 20. Suppose 4*o - 2*o = f + d, -4*o - 3*f + 26 = 0. Suppose o*u - 2*u + 3 = 0. Which is bigger: u or 2/9?
2/9
Let i = -3 - -3. Let s be i*(4/(-2) - -1). Suppose 0*f - f + 1 = s. Is f greater than or equal to 1/3?
True
Let f(x) be the second derivative of -x**4/12 - 7*x**3/6 - x. Let q be f(-5). Suppose -q = 3*t + a, -2*t - 3 - 5 = a. Is -1 > t?
True
Suppose 4*b = -0*d + d - 12, -2*b = -2*d + 30. Let i be 2/3 + d/(-6). Let o be (i - 0)*(-15)/(-6). Is o equal to -5?
True
Let o(v) = 3*v + 6. Let n be o(-8). Let q be n/4*(-12)/(-9). Let g be -1 - 10/q*1. Which is greater: 1 or g?
1
Let j be -2 - (3 + (-363)/63). Let b = j + -2/21. Which is smaller: b or 5?
b
Let j be -2 + 8/(2 - 0). Let f be (-5*(-2 - -3))/(-2). Is j greater than f?
False
Let r = -789 - -5533/7. Let m = r + -37/21. Let l = -6.2 - -6. Is l at most m?
False
Let l(q) = -10*q - 8. Let i be l(-4). Let h be ((-6)/i)/((-9)/(-4)). Which is greater: h or -1?
h
Let z be (-4)/(2/(-3)*-3). Let t be (-51)/(-12) - z/(-8). Is 4 greater than or equal to t?
True
Let m = -3 + 5. Is m less than or equal to 2?
True
Let z be 2*(14/4)/7. Let n be z/(-4) - 4/16. Which is smaller: n or -2?
-2
Let k be 6/(-5)*10/(-69)*-1. Is 0 greater than or equal to k?
True
Let g = -0.7 + -0.3. Suppose 4*p + 0*j + j - 29 = 0, 4*p - 2*j = 38. Let s be (-1 + -1)/((-16)/p). Which is bigger: g or s?
s
Let q = -80 + 145. Let n = -37 + q. Let l = -113/4 + n. Which is bigger: -1 or l?
l
Let m = 95 + -97. Let j = 1 - 2. Let u = j + 0.9. Which is greater: u or m?
u
Let p be -1 - -1 - (2 + -3). Suppose -2*f = f - x - p, 0 = f + 3*x + 3. Is 2 at most as big as f?
False
Let i be ((-20)/(-150))/(1/5). Suppose -4*h + 0*h = 0. Which is greater: i or h?
i
Suppose -2*l = -7*l + 5. Is -0.02 > l?
False
Suppose 4*x + 30 = -2*r, 3*r - 2*x + 34 + 11 = 0. Do r and -14 have the same value?
False
Let n(v) = 2*v + 23. Let o be n(-10). Do 0 and o have the same value?
False
Suppose -j + 2*w + 3*w = 43, -4*j - 5*w = 47. Let x be (6/j)/(1/(-3)). Do -0.05 and x have different values?
True
Let z = 9.93 - 10. Let s = z - 0.03. Let b = s - -0.2. Does -4 = b?
False
Let y = -134 + 135. Which is smaller: -2/33 or y?
-2/33
Let u(m) be the second derivative of m**5/20 - 5*m**4/12 + 5*m**3/6 - 5*m**2/2 - 2*m. Let d be u(4). Let t = 228/5 - 46. Does t = d?
False
Let h be 40/(-74) + -2*(-6)/24. Is h bigger than 1?
False
Let t(i) = -5 + 3*i - 2*i - 2*i. Let l be t(-8). Is 3 at least as big as l?
True
Let q be (-5)/2*1/(-5). Let a be 0/1*2/(-4). Let s be (3 + a)/(-3)*-2. Is q > s?
False
Suppose l + 4*a - 2 - 14 = 0, 3*l - a - 61 = 0. Let s(h) = h. Let b be s(5). Suppose 5*d - l = -b*n, 3*n - 5 = -4*d + 12. Is n equal to 1/3?
False
Let o be 7/((-7)/(-2)) + 2. Suppose 0 = a - 4*a + x + 3, 0 = o*a + x + 3. Which is smaller: -1/2 or a?
-1/2
Let i = 0 - -1. Let f(y) be the first derivative of 2*y**3/3 + 2. Let v be f(-1). Is v at most i?
False
Let n = -3 + 2. Suppose 4*i + 16 = 0, -m + 4*i + 16 = -3*m. Is n equal to m?
False
Let a = -110206 - -2747677/25. Let s = a + 299. Is -1 smaller than s?
True
Suppose -4*y - 15 = y. Let g be -2 + (-4 - -3) + 1. Do y and g have different values?
True
Let h = -0.21 - -0.2. Let n = 1.1 - 1.2. Is n greater than or equal to h?
False
Let b = 12 + 0. Let c = -13 + b. Which is greater: c or -2?
c
Suppose 3*s - 54 + 10 = 4*m, 0 = -2*m - 5*s - 48. Let p be 50/44 - 7/m. Is p at least as big as 3?
False
Let c = -1.8 - -1.63. Let w = 0.07 + c. Which is smaller: w or 2?
w
Suppose 9*c + 6 = -3. Is -2/91 <= c?
False
Suppose 0*g + g = 12. Let b be g/105*10/4. Which is greater: 0 or b?
b
Suppose 2*b + b = -4*p - 15, -3*b = -2*p + 15. Which is greater: p or 2/305?
2/305
Suppose 2*j - 4*s - 46 = 0, 0*s - 91 = -5*j + 2*s. Is j < 17?
False
Let j = 271/330 - 13/15. Which is bigger: 0 or j?
0
Let g = -0.1 - -0.05. Let y = g + 5.05. Which is greater: y or 0.1?
y
Let t = -0.004 + 3.904. Let p = t - 5. Let c = p - -1. Is 4 != c?
True
Let y be (-5)/(-3) + (-4)/6. Which is bigger: -2/13 or y?
y
Suppose -3*w - 10 = 2*w. Let p be 2 - (1 - 1)/w. Let s be (p - 1)*0/4. Is s smaller than -1/3?
False
Let c = -116 + 927/8. Let k = -50.9 - -51. Which is smaller: k or c?
c
Let f = 11 - 12. Let o be (-17)/(-22) + 9/(-6). Which is bigger: o or f?
o
Suppose 0 = 2*j + 26. Which is greater: 0.4 or j?
0.4
Let m = -1.99 + -0.01. Which is smaller: m or -12?
-12
Suppose -2*c + 32 = 5*y - 0*c, 12 = 3*y + 3*c. Let p be y/(-18)*12/(-8). Are 2 and p unequal?
True
Let v(o) = o**2 + 12*o - 35. Let i be v(-15). Is i greater than 10?
False
Let w = -7.56 + 7.4. Which is smaller: -0.2 or w?
-0.2
Suppose d + 3 = 4*d. Is -3 equal to d?
False
Let w = 99/7 + -1075/77. Do -1 and w have the same value?
False
Let a = -7 - -9. Suppose 0 = 3*n - z - 0*z + a, 4*z = -5*n - 9. Let r be n/4 + 2/8. Is 2/7 equal to r?
False
Let m(n) = -n - 1. Let y be m(0). Let k = 2 - y. Is 0.1 greater than or equal to k?
False
Suppose 3 = 5*u - 3*h + 2*h, 4*u + 6 = 5*h. Is 1 not equal to u?
False
Let k(l) be the second derivative of -2*l - 4*l**2 + 0 - 1/6*l**3. Let c be k(-7). Are -2/9 and c equal?
False
Suppose 4*k + 308 = -w, 4*k + 2*w + 292 = -3*w. Is k <= -78?
True
Let x be 8/10 + 168/(-35). Is -2 at most as big as x?
False
Suppose a - 1 = -v + 2*v, v = -2. Let s be 3/(270/49) + 12/(-24). Is a at most as big as s?
True
Let j be (4 - 5)*4/(-6). Which is bigger: 0 or j?
j
Let d = -9 - -6. Let y = -1 - d. Is y < 0.1?
False
Let c = -1 + 7. Suppose -3*s + 13 = 2*s - 3*w, 5*s + 4*w - c = 0. Suppose 5*x + 9 = 3*r, 4*x = s*r - 6*r - 20. Do x and -2 have the same value?
False
Suppose -5*d = -2 - 8. Suppose -5*s = -2*n + n - 45, -d*s = -2*n - 26. Which is greater: 7 or s?
s
Suppose 8 = 5*o - 12. Suppose o*p = p + 3. Is p at least 2/29?
True
Let h = -3 + 3. Suppose s + 0*s + 70 = h. Let b be (-85)/s - (-6)/(-4). Which is smaller: -2/5 or b?
-2/5
Let c be (-161)/49 - (-6)/2. Let f = 0 - -1. Let h be f/3 + (-2)/(-3). Which is greater: c or h?
h
Let k = 30 + -28. Is 0.3 less than or equal to k?
True
Let p = -157 - -143. Is -9 at least as big as p?
True
Let j(i) = i**2 - 3*i - 1. Let v be j(4). Let n be ((-990)/25)/(v/(-20)). Let r = 1852/7 - n. Which is bigger: -1 or r?
r
Let h = -1 + 1.1. Let b(t) = t**3 + 12*t**2 + 12*t + 11. Let z be b(-11). Which is smaller: z or h?
z
Let f = -11/175 - 2/25. Let z be (-4)/3 + (-2)/(-6). Which is smaller: z or f?
z
Let j = 0.16 - 1.26. Which is bigger: -1 or j?
-1
Let s = -1.77 + 1.92. Which is smaller: s or 0.2?
s
Suppose -2*u - 2*u = -20. Suppose 3*w - 4*q = 12, 5*w - 20 = 2*q + 3*q. Is u at least w?
True
Suppose -3*p + 0*s - s = 6, -3*s - 14 = 5*p. Let t = p - 1. Let i(k) = k**3 - 3*k**2 + 1. Let l be i(2). Which is greater: l or t?
t
Let a be (-1 - -2)/((-1)/(-5)). Suppose 13 = -a*b + 23. Is b bigger than 2?
False
Let w be (2 - 1)/(-8 - -9). Is 1/11 < w?
True
Let k be 2/(-6 - -4) + 0. Let c be 2/((-1)/(4 