 -18 have the same value?
True
Let d be 0 - 1*(2 - 1). Is -9/11 at least d?
True
Let v = 30 + -30. Is -2/3 at most as big as v?
True
Let t(f) = f**3 + 2*f**2 + f + 2. Let g be t(-2). Let j = 1250 - 11258/9. Which is smaller: j or g?
j
Let n = -0.12 + 0.82. Let i = n + -0.3. Which is smaller: i or 2/7?
2/7
Let g = 0.2 - 0.3. Let b(p) = p**2 - 8*p - 15. Let t be b(9). Which is bigger: g or t?
g
Let x = -1 + 5. Is x < 10/3?
False
Let z = -14 + 10. Let t(h) be the second derivative of -h**4/12 + 5*h**3/6 - h**2 - 4*h. Let m be t(5). Which is smaller: m or z?
z
Let k(p) = -p**3 - 1. Let a be k(-1). Is a > -18/13?
True
Suppose -3*k = -2*k - 5*d + 21, 2*k = 2*d - 10. Let z be (-3 - 151400/(-30732)) + -2. Let a = z - 2/591. Is a at least k?
True
Suppose 2*m + 5 = -4*t - 3, 2*t + 2*m + 8 = 0. Let l be (-706)/(-4224) - 3/9. Let k = l - 1/64. Which is smaller: t or k?
k
Suppose -2184 = -29*l + 8*l. Is l greater than 103?
True
Let l = 6 - -3. Suppose -2*k + l = -5*k. Is k > -3?
False
Suppose -19 = -5*k - 14. Let p = 97 + -483/5. Which is smaller: p or k?
p
Let u = 3 + -3. Suppose u = -y - 3 - 1. Is y greater than -4?
False
Suppose -2*k = -0*k + 12. Let m be (-6391)/(-40) - k/(-15). Let v = m + -159. Which is bigger: v or 1?
1
Let a = -0.975 - -0.045. Let h = -0.07 + a. Let i = h - -1.2. Is i greater than or equal to 0?
True
Let u = 3 - 5. Let r be (4/(-48))/(u/6). Is r != 1?
True
Let c = -6 - 4. Let d = c - -10.7. Let i = -0.7 + d. Which is smaller: i or -4?
-4
Let g(k) be the second derivative of -k**4/12 + 7*k**3/6 - k**2 + 3*k. Let z be g(7). Let h be z/2 - 6/(-10). Which is smaller: h or -2/7?
h
Let g = -0.3 + 0.5. Let y = 0.4 - g. Let q = -227/4 + 57. Which is smaller: y or q?
y
Let j = 0 + -0.1. Let s = 0.46 + -0.26. Does s = j?
False
Let y = 222 + -149. Which is smaller: y or 74?
y
Suppose 0 = -0*c + 3*c - 6. Let k be -2 - 9/((-45)/10). Suppose k = 5*p + c*y + 8, -p - p = 4*y + 16. Is p greater than -2/13?
True
Suppose -6*y + 4*y + 28 = 0. Which is smaller: y or 55/4?
55/4
Let v = -43 - -43.33. Let h = -0.05 + 0.02. Let b = h + v. Is b less than 2/3?
True
Suppose 6*z = 5*z. Is 6/11 at most as big as z?
False
Let q be (6 - 2)*(-6)/(-4). Suppose 5*g - 2*w = w + 17, 3*g - 13 = -w. Is g at most q?
True
Let m = 44 - 43.8. Which is smaller: 3 or m?
m
Suppose 2*u + 4*h + 17 = h, -4*h - 15 = -5*u. Let i = 755/7 + -108. Is u bigger than i?
False
Let r = -23 + 7. Let n = r + 15. Which is smaller: 7 or n?
n
Let w(s) = 2*s + 15. Let v be w(-7). Let k = -10 + 10. Which is smaller: k or v?
k
Let z = 3 + -1. Let x = 2 - z. Is -4 >= x?
False
Suppose -5 = -3*f - 2. Let k be f/2*37/2. Let d = k + -9. Is -1 <= d?
True
Let t(y) = -y**3 + 8*y**2 - y - 1. Let j be t(8). Is j at most as big as -9?
True
Let z = 1.9 - 3.9. Is z > 6?
False
Let q(v) = -v**2 - 3*v + 5. Let a be q(2). Do a and -3 have the same value?
False
Let m(q) = -q. Let h be m(-3). Suppose -h*b + c + 3 = 0, -c = -b - 2*c + 1. Suppose -15 = g - 4*v, 3*v = -4*g + 6*v - 8. Do b and g have the same value?
True
Let f(q) be the first derivative of 2*q**2 - 3*q - 1. Let m be f(2). Which is smaller: 4 or m?
4
Suppose -2*o = -o - 2, 19 = 5*a - 3*o. Suppose -4*j - 4*y = -2*j - 18, a*y = 3*j + 6. Suppose -2*u - 3 = -j*u. Which is smaller: u or 4?
u
Suppose c + 4*c - 5 = 5*v, -3*v + 27 = 2*c. Suppose 2*f + 3*b = 3*f + 4, f + 2*b - c = 0. Let j = -1.89 + -0.11. Which is greater: j or f?
f
Let p be (-39)/(-12) + 3/(-12). Suppose 0 = -x - p*x. Let i = 1 - 2. Is x bigger than i?
True
Let b be (-3 + 1 - -2) + -2. Let c be b*-1*(-57)/(-6). Is c greater than or equal to 1?
True
Let x = -9.9 - -10. Which is greater: x or 4?
4
Let y = 23803/5 - 4745. Is y at most as big as 15?
False
Let l = 79 - 44. Let u be 17/l - 4/20. Is 0 >= u?
False
Suppose -9 = 2*r - 7. Which is bigger: -0.4 or r?
-0.4
Let g be (4/(-2))/(2 + -4). Which is smaller: -5 or g?
-5
Let s(k) = -k + 7. Let o be s(6). Suppose 2*x + 4*i = 7*x - 4, -o = -3*x + i. Do 0 and x have different values?
False
Let p(n) = 3*n**3 + n**2 + 2*n + 1. Let o be p(-1). Let t = o - -4. Let a be (-7)/(-6)*24/42. Which is greater: t or a?
t
Let s(n) = -14*n + 7. Let t be s(1). Let k = 5 + -12. Is t smaller than k?
False
Let v(z) = -z - 7. Let q be v(-9). Let d be (q - 9/6)*0. Does d = 0?
True
Let k = -18 - -17. Let c be k*((-2)/27)/1. Which is smaller: c or -1?
-1
Let s be (-32)/176 + 56/66. Let x be 1/((2 + -1)*-3). Is x bigger than s?
False
Suppose b + 2*f + 220 = 4*b, 4*b = -5*f + 255. Which is smaller: b or 71?
b
Suppose 4*d - 4*g - 12 = 0, -2*g = 5*d - 0*g + 6. Is -3 smaller than d?
True
Suppose -4*j + 43 = -5*d, j + 4 = -d - 1. Is d at least as big as -1/2?
False
Let a be (2*2/(-8))/(6/12). Is -1.3 >= a?
False
Let s = -3 + 1. Let k = 0.01 - -0.09. Let p = k - 1.1. Is s smaller than p?
True
Suppose l - 2*f = -13, 0*l + 5*l + 5*f + 65 = 0. Is l at most -13?
True
Suppose 4*h + 32 = -4*j, -32 = 4*h - 2*j - j. Let f = h + 8. Is 0 >= f?
True
Let l = -13 + 9. Let b be l/10 - -1 - 1. Suppose 0 = -r - 3*r + 4. Are b and r equal?
False
Let h = -16 + 16. Does 4/19 = h?
False
Suppose -5*t + 5*m = -20, 3*m = -5*t - 0*t + 4. Suppose -13 = -3*a + t. Suppose 5*s - a*d + 11 - 1 = 0, 5*d = -3*s + 26. Which is greater: 3 or s?
3
Let u = -5 + 2. Let l = u + 0. Which is smaller: l or -2?
l
Let j be -1 + (16/7 - 1). Let u = 1 + 5. Let o be (2/(-3))/(2/u). Which is smaller: j or o?
o
Let o be (1 - (0 - 0)) + -820. Let b = o - -33577/41. Is b <= 0?
True
Let q be ((-6)/12)/(1/(-2)). Suppose -5*r - 2*z - 21 = 0, 4*r - 2*z - 3 = 3*z. Let x be -3 - -2 - 2/r. Is q less than or equal to x?
False
Let v(b) = b**2 - 5*b + 4. Let l be v(6). Let t be l/68*6 + -1. Which is greater: t or 1?
1
Let j be ((-2)/(-4))/((-14)/(-24)). Which is bigger: 2 or j?
2
Let p = 4319/3 - 1457. Let o = -18 - p. Let c = -4 + 3. Is o at most c?
False
Let a(v) = -v + 1. Let l be a(5). Let p be 0 + (-278)/l + -2. Let g = p + -69. Which is greater: 0.1 or g?
0.1
Let t = -55/6 - -26/3. Let y = 3.05 + -0.05. Is y at least t?
True
Let f be 24/32*2/6. Which is greater: 3.2 or f?
3.2
Let d(m) = -m**2 + 12*m - 21. Let c be d(10). Which is smaller: c or -0.074?
c
Let z = 3 + 0. Let q = 64 - 61.1. Let u = z - q. Which is greater: u or -2/3?
u
Suppose -6 = -3*q - 0. Let g(v) = v**3 + v - 1. Let z be g(0). Let o = z + 2. Which is smaller: q or o?
o
Let i = 8 - 12. Let c(m) = -m**3 - 4*m**2 + 2. Let l be c(i). Is l bigger than 3?
False
Let m = -5 - -9. Let q be 5068/120 - m/(-6). Let x = 87/2 - q. Is x greater than -0.1?
True
Suppose 2*k - 13 = -3. Suppose 2*b = -3*b - k. Is b less than -3/5?
True
Suppose -2*i + 4*i = 0. Suppose 2 = 2*q - 5*m, 0 = -5*q + 5*m + 5 - 0. Is i less than or equal to q?
True
Let g = 742872/7 - 106335. Let k = -211 - g. Are k and -1 equal?
False
Let z(m) = -m**2 + 18*m + 20. Let o be z(19). Is 1/27 at most o?
True
Let k = -0.3 + 3.3. Let f = 51/25 + -2. Let l = 57/175 - f. Are l and k nonequal?
True
Suppose -28 = 5*r + 4*g - 3*g, -3*r + 2*g - 9 = 0. Let b be (-2)/2 - (5 + r). Are b and -2/43 nonequal?
True
Let l = 10 - 4. Is 6 at least l?
True
Suppose 0 = -3*g + 4*l + 8, -4*g - 9*l - 4 = -7*l. Is -7/10 equal to g?
False
Let p = -37.3 - -38. Let l = 1.9 - 0.6. Let g = l + p. Which is smaller: g or 0.1?
0.1
Let m be 0*1/1 - -4. Suppose m*o + 10 = -2. Is -2 smaller than o?
False
Let k = 21 - 79. Is -0.1 at most as big as k?
False
Let z be 638/(-14) + 12/21. Let r be (-24)/z + (-3)/9. Is -2/35 at most r?
True
Let y(t) = t - 1. Let u be y(3). Suppose 0 = -u*f + f. Let v = 0 - f. Which is smaller: v or 2/5?
v
Let b be (-8)/126 + (-6)/27. Suppose a + 5 - 4 = 0. Which is bigger: a or b?
b
Suppose -3*w - 3 = u + w, 4*w + 5 = u. Suppose 5*r - u = 4*r. Which is greater: 0 or r?
r
Suppose 5*v - 14 = 3*y - 7*y, 2 = 2*y. Suppose k + 10 = 2*t, -3*k = -0*t + v*t - 2. Let j be k*(-1)/(-8) + 0. Is j at least as big as -1?
True
Let t = 5.8 - 3.8. Is -0.18 smaller than t?
True
Let y be 2/(-6) - (-69)/(-9). Let g be 42/(-6)*(1 + 0). Which is bigger: y or g?
g
Suppose 24*o = 30*o - 6. Does -2/17 = o?
False
Let o = -0.28 - -0.08. Which is bigger: 3 or o?
3
Suppose t = -z, 4*t - 28 = 4*z - z. Suppose t = -i + 2. Which is bigger: 0.1 or i?
0.1
Let u = -11 + 31. Suppose 5*w + 28 = -2*m, m - 4 + u = -3*w. Is -3 greater than w?
True
Let p = -1