
True
Let t = 0.6 - 0.4. Let w = 1.06 - 1. Let i = 0.06 - w. Is t greater than i?
True
Let r = 0.8 - 0.5. Let w = -0.3 + 0. Let h = w + r. Is 2 != h?
True
Let r(z) = -z**3 - 2*z**2 + z. Let m be r(-2). Let k be 11/33*-2*1. Is m < k?
True
Let k = -15 + 21. Let m = k - 4. Which is smaller: m or 0?
0
Let b(t) = -11*t + 2. Let v be b(-3). Let c be (-4)/(-14) + 25/v. Which is smaller: 2 or c?
c
Let d = 0 - 0. Is d bigger than -1/4?
True
Let y = -10.7 - -10.81. Does y = -0.6?
False
Let a be 1*2 + (-5)/5. Let q be (1/a)/(4/4). Let w = 3/2 - q. Is 0.3 > w?
False
Let t(s) = -s. Let a be t(-1). Which is bigger: 4/5 or a?
a
Suppose -3*r + 9 = -0. Let k be (r/(-3))/(1/3). Is k at least as big as -3?
True
Let g = -2.7 - -2.8. Let k = -1.4 + -0.6. Let y = k - -1. Are y and g unequal?
True
Let s = 4 - -2. Let r = -2 + 8. Suppose 3*b = r*b - 21. Are b and s equal?
False
Suppose -102 = -4*j + 3*o - o, -120 = -4*j - 4*o. Suppose -i - 4*u = -22, 1 = 4*i + 4*u - j. Suppose i*c + 0 = 4. Is 2 bigger than c?
False
Let a(r) = -r**3 + 4*r**2 - 2*r + 1. Let l be a(3). Let n be l*(-2 - (-166)/80). Let x = -49 + 50. Which is bigger: x or n?
x
Let l be (0 + -1)/(1 + 12/(-9)). Which is greater: -4/9 or l?
l
Let r be (-1)/((21/24)/(-7)). Let k be ((-2)/(-12))/((-32)/r). Which is greater: k or -1?
k
Let d = 2.03 - 0.03. Let b = 4 - 5. Is b equal to d?
False
Suppose -21 = r - 3*k + 11, 2*r + 44 = k. Which is smaller: r or -19?
r
Let j(a) = 99*a**3 + a - 1. Let c be j(1). Let i = 391/4 - c. Let t be 5/30*-4*3. Is i <= t?
False
Suppose -2*x + 0 = g - 7, 2*x + 11 = 5*g. Let r be (1/10)/(g/(-6)). Suppose -5*c = -15, -6*t + 2*t - 5*c = -15. Which is smaller: t or r?
r
Let t = 5 + 26. Is t at most 31?
True
Let n(q) = -q + 7. Suppose 31 = -4*r + 5*r. Suppose 5*k = k + h + r, 5*k = -3*h + 26. Let g be n(k). Is g != -2/13?
True
Let x = -103/2 - -50. Is x > -0.1?
False
Let v = 32/57 - -2/19. Which is bigger: v or 0?
v
Suppose -4*l + 0*l = 0. Does l = 4?
False
Suppose 0*w + w = 0. Let y(s) = s**2 - 2*s. Let q be (-3)/(-2)*40/30. Let u be y(q). Is u at most w?
True
Let z be ((-8)/24)/((-1)/(-3)). Let o = -2 - z. Is o at most as big as -2/29?
True
Let z(q) = -q**2 + 8*q - 4. Let k(x) = 2*x**3 - 3*x**2 + x + 2. Let h be k(2). Let s be z(h). Let i be (-2)/8 + s/(-16). Is i greater than -1?
True
Let x be 44/6 + -3 - 4. Which is smaller: x or -7/3?
-7/3
Suppose a = -0*a + 3. Let m = a - 2. Let j be 33/27 - m - 0. Is j at least as big as 0?
True
Let c = 152 - 82. Let w = c + -208/3. Which is bigger: w or 2?
2
Let u = 106 + -108. Which is bigger: -7/13 or u?
-7/13
Let k(r) = -r - 1. Let v be k(-7). Let x = v - 11. Is x at most as big as -3?
True
Let a = 3 - 3. Is a equal to -5?
False
Let j = 143 + -151. Are j and -4 unequal?
True
Let v = 8.018 + -0.018. Which is smaller: v or -4?
-4
Let r be (-13 - -7)/((-56)/(-942)). Let b = r + 101. Which is bigger: b or -1?
b
Let v(x) = -x**3 + 6*x**2 - 5*x. Let q be v(5). Let m = 211 - 3377/16. Is m less than or equal to q?
True
Let a = 0.51 + 0.49. Do a and 0.6 have different values?
True
Let f(u) be the third derivative of u**6/120 + u**5/60 - 7*u**2. Let g be f(1). Is 2 at most as big as g?
True
Suppose 4*g + 45 - 5 = 0. Let j be -5 + 3 - g/6. Let d = -29/4 - -7. Which is greater: j or d?
d
Let j(s) = -s**3 + 19*s**2 + s - 19. Let x be j(19). Is x bigger than 5?
False
Suppose b - 3*g + 5 = 0, -3*g - 7 = -5*b - 4*g. Is -2/29 greater than or equal to b?
False
Let f(u) = -3*u**2 + 9*u - 15. Let n be f(6). Is -69 bigger than n?
False
Let g = 7 + -5. Let d be (-6 - 2)*1*-1. Let w be (2/d)/(3/(-4)). Which is bigger: g or w?
g
Let g = 5 - 5.1. Is 1/4 < g?
False
Let i = 4/35 - 2/5. Let x = 1.6 + -0.6. Is i less than x?
True
Suppose -2*k + 4 = 6, 0 = -i - 2*k - 27. Is i at most -25?
True
Let f(r) = r + 4. Let w be f(-3). Are w and 1/65 equal?
False
Let f = -0.4 - -0.4. Let v = 0.2 + f. Let c = v + -0.3. Do 4 and c have different values?
True
Let u(d) = d**2 + d + 1. Let j be u(-1). Let m be 2/(-6)*3/j. Are 1/4 and m unequal?
True
Let n(t) = -t**2 - 7*t - 5. Suppose 5*g - 38 = 5*o + 3*g, 5*g - 50 = 5*o. Let z be n(o). Let m be z*2*(1 - 0). Are m and 2 non-equal?
False
Let t = -34 + 38. Are t and 2 equal?
False
Let y be (-6)/(-9) + 2 - 1. Suppose 4*c = x + 2*c - 5, -2*c = -4*x + 14. Which is greater: y or x?
x
Suppose -2*s + 1 = -5. Suppose 0 = -l, s*h + 2*l + 0*l = -9. Let f = h - -4. Is f equal to 2?
False
Let l be (-4)/(-18) + (-16)/72. Let j(x) be the third derivative of -x**6/120 + x**5/10 - x**4/6 - 5*x**3/6 - x**2. Let m be j(5). Is l <= m?
True
Let r = 8 + -5. Let x = 1 + r. Let z = x + -5. Is z less than 0.1?
True
Let q be ((-8)/(-10))/(1/5). Let z = 17 - 5. Suppose -3*x = -6*x + 9, -c + 5*x - z = 0. Which is smaller: c or q?
c
Let v(s) = 2*s**2 + 12*s + 5. Let f be v(-5). Suppose -5*y = 4*h + 21, h = -4 + 5. Is f smaller than y?
False
Let v be ((-24)/15)/(-2)*(-20)/(-56). Let l be (-1)/2*-4*-1. Let a be -1*l/2 + -2. Is a > v?
False
Suppose -h = -i + 7, 0 = 2*i + 2*h + h + 6. Suppose -i*b + 2*b = 3*y - 7, -b - 8 = -2*y. Which is greater: -1/4 or b?
-1/4
Let z = 11 - 10. Is z not equal to -2/7?
True
Let o = -191/68 + 11/4. Is o > -1?
True
Let y be ((-5)/(-5))/(2/(-12)). Let j be y/(-10) - 3/(-45). Which is smaller: -0.01 or j?
-0.01
Suppose -7 = -2*k + 11. Suppose -7*g = -k*g + 4. Is 2 smaller than g?
False
Let f = -140.07 + 142. Let d = -0.07 - f. Which is bigger: d or 0?
0
Let p(b) = -4*b + 8. Let n be p(3). Is n bigger than 2?
False
Let h = 0.8 + 0.2. Let x = -2.2 + 3.5. Let y = -2.3 + x. Is y greater than h?
False
Let g(t) = 7*t - 282. Let f be g(40). Suppose 2*p = 6*j - 2*j - 14, 4*p + 17 = -3*j. Which is smaller: f or j?
f
Suppose -2*o + 3*w - 13 = 0, -4*o - 2*w - 5 = -w. Let s be o + -2*92/(-88). Which is smaller: -1 or s?
-1
Let r = -0.7 - -3.7. Let g = 4 - r. Is -0.2 greater than or equal to g?
False
Suppose -2*m = -m - 2. Is m greater than or equal to 3?
False
Suppose -3*c + 2*b = -13, 21 = 2*c + 2*c + b. Let y(k) = 5*k**2 - k - 1. Let z be y(-1). Let i = z - c. Which is greater: 3/8 or i?
3/8
Let l be (-7)/((-98)/4) - -1. Let f = 2 - 0. Which is greater: l or f?
f
Let o = 7.8 + -8.2. Which is bigger: o or 2/3?
2/3
Let g be -4*((-9)/(-4) + 0/1). Do -10 and g have different values?
True
Let y be (-2)/(-4) + (-7)/13. Let t(m) = 38*m + 115. Let h be t(-3). Which is smaller: h or y?
y
Let b(i) be the first derivative of i**4/12 + 3*i**3/2 - 3*i**2/2 - 4*i + 3. Let c(p) be the first derivative of b(p). Let h be c(-9). Does -2 = h?
False
Let z = -2 + 2. Suppose 5*l = -l - 12. Is l < z?
True
Let g be (-3)/12 - (-76)/(-16). Let l be g/(-4) - (-2 + 4). Is l < -0.1?
True
Let x = 11.16 - 0.16. Let b = x - 10. Is -1.2 < b?
True
Suppose -10 = -3*o + 4*o + 2*m, 0 = 3*o + m + 10. Let u = -859/570 - -2/285. Which is greater: u or o?
u
Let l = -41/203 - -10/29. Is 0 smaller than l?
True
Let p = 0.8 - 0.8. Let q = p + 5. Which is greater: -0.1 or q?
q
Let b be ((-2)/4)/(2/(-4)). Let t = -3 - -10. Let w(j) = -j**2 + 7*j. Let a be w(t). Is b >= a?
True
Suppose 4*l = 0, 5*f = 6*f - 4*l + 2. Let q be f/6*(-12)/(-8). Is 4 at most q?
False
Let k = 4/19 - 31/57. Is k not equal to -2/9?
True
Suppose 47 = 4*f - 0*a + 5*a, -5*a = -f - 7. Suppose g + 3*g = f. Suppose 1 = -g*n + n. Is 2 <= n?
False
Suppose 2*h + 18 = -0. Let k = h - -8. Which is greater: 2/3 or k?
2/3
Suppose 3*k = 4 - 1. Is k greater than 3?
False
Let z = 34 + -30. Which is smaller: 0 or z?
0
Let y be 36/(-30) + 1 + 69/(-5). Which is smaller: -51/4 or y?
y
Let z be 3/(-1)*4/(-18). Let p = 0.23 + 0.07. Let l = -0.3 + p. Which is smaller: l or z?
l
Let l be -7*(-3 + (-1 - -3)). Let b = l + -5. Is b > 3?
False
Suppose -3*s + 7 = -p + 3*p, -2*p + s = -3. Let o = p + -8. Which is greater: -2 or o?
-2
Let s = -7.82 + -0.18. Let c = -7.97 - s. Let q = c - -0.07. Which is smaller: 1 or q?
q
Let g = 5 - 3. Suppose 0 = -2*f - 3*f + 10. Is g greater than f?
False
Let s = -20 - -19. Is s smaller than -8/11?
True
Let h = 2698/29 + -93. Which is bigger: 1 or h?
1
Let f(w) = w**2 + w - 4. Let d be f(-3). Suppose d*k + 0 - 24 = 0. Suppose 0 = -y - 2*y + k. Which is greater: y or 3?
y
Suppose 3*z = 2*n - 24, z + 2 = -n - 11. Which is smaller: z or -7?
z
Let r = 5 + 1. Let f(p) = -p + 6. Let g be f(-1). Which is greater: 