 Let m be n(1). Is m < g?
True
Let h(p) = 90*p - 92*p - 4 - 4. Let j be h(-4). Which is smaller: j or 1?
j
Let i be (-1)/5 - 513/705. Let l = -6/47 - i. Is l > 2?
False
Let f be -2 + 0 + -2 + 0. Is f equal to -3?
False
Let b(x) = -x - 1. Let m(a) = a**3 - 2*a**2 - 10*a - 3. Let f(o) = 5*b(o) - m(o). Let l be f(3). Suppose -3*k + 7 = -2*q - 0*k, 0 = -2*q - k + 5. Is l < q?
False
Suppose 4*f + 16 = 0, -u - 3*f = -7*f - 72. Suppose -7*n + 3*n = -u. Let w be n/6*4/(-14). Is w != -2?
True
Let o = -19/12 - -7/4. Which is greater: 2 or o?
2
Suppose -5*p = -14*t + 12*t - 49, 0 = -2*t + 3*p - 43. Do t and -18 have the same value?
False
Let j be (1 - 4/4)/4. Is j at least as big as 1/24?
False
Let s = 1.6 + -1.67. Let y = s + -0.13. Is 1 > y?
True
Let y be 10*(-4 + (-9)/(-2)) + -4. Is y at least -2?
True
Let f be (4 + (-26)/6)*17. Let k = -6 - f. Which is greater: 2/7 or k?
2/7
Suppose 0 = 3*g - 4*g. Which is smaller: g or 6/19?
g
Let m = 347/7 - 50. Which is smaller: 1 or m?
m
Let b be 4/(-8) - 7/(-18). Let c(m) = -m**3 - 2*m**2 + 16*m + 5. Let s be c(-5). Is b at least as big as s?
False
Suppose -5*d = 4*i + 32, -7*i + 3*i + 4*d = -4. Suppose -3*w = -2*y - 0*y - 17, -3*w + 3*y = -15. Let g = w + -10. Is i less than g?
False
Suppose d = -2*d. Is d bigger than -1?
True
Let j = -3 + -10. Which is smaller: j or -14?
-14
Suppose -4*r + 12 + 76 = 0. Let n = 27 - r. Let q = 0 - 1. Is n < q?
False
Let z = 132 + -120. Is z < 12?
False
Let o = 21/4 - 89/20. Is 0 greater than o?
False
Let a = -42 + 35. Which is smaller: a or -2/7?
a
Suppose -4*z + 2*c = 268, -4*z + c - 4*c = 278. Is -69 greater than z?
False
Let y = 63 - 439/7. Suppose -19 = -3*w + s - 5*s, 0 = 4*w - 3*s + 8. Which is smaller: w or y?
y
Let w = 51 - 154/3. Do 0.2 and w have different values?
True
Suppose 12*b = 2*b. Is b != 4/27?
True
Let z be (-2)/(-12) - (-22623)/(-630). Let v = 179/5 + z. Which is greater: v or -1?
v
Let y(r) be the third derivative of -r**6/120 - r**5/15 - r**4/24 + r**3/3 + 3*r**2. Let p be y(-3). Is -5 != p?
True
Suppose 4*x = 3*x + 3. Suppose -2*u + 13 = -x*u. Which is smaller: -12 or u?
u
Let f be 1/(-10) - 4/10. Let i(p) = p**3 + 6*p**2 - 8*p - 7. Let a be i(-7). Which is bigger: f or a?
a
Let o be ((-7)/5)/(12/645). Let n = 76 + o. Let q(a) = -a + 6. Let i be q(6). Is i at least n?
False
Let l(f) = f**3 - 8*f**2 + f - 8. Let w be l(8). Let c = 12 - 37/3. Which is smaller: c or w?
c
Let z = -5/122 + -39/5002. Which is smaller: -1 or z?
-1
Let z = 11 - 5. Suppose 5*l - 38 = 3*h, z*l = -4*h + 3*l - 12. Which is bigger: h or -4?
-4
Suppose i + 2*m = -8, -2*i - m = -4*m - 12. Let t be 5/(5/2) + 0. Let w be t + 6*10/(-27). Which is smaller: w or i?
w
Let c be 2*(-2)/(-4) + 3. Suppose -12 = c*q + 24. Let o be q/27 + (-7)/(-3). Is o smaller than 1?
False
Let q be ((-5)/(-10))/(2/84). Let z = q - 35. Let c be (-5)/(-7) - 4/z. Is c smaller than -2?
False
Let w be (-2)/3 - 4/12. Let y be (2 + -2)/(-2 - w). Let l = y + 1. Which is smaller: 0 or l?
0
Let h = 0.04 + 0.06. Which is bigger: h or -8?
h
Suppose o + 2*o - 9 = 0. Suppose -2*p = p + o. Let v(f) = -f**2 + 1. Let w be v(p). Which is greater: -5/4 or w?
w
Let y = -378087313/15709012 - 1/357023. Let f = y + 97/4. Let x be (0/(4/2))/(-2). Which is smaller: x or f?
x
Let b be (0/4)/(8/2 + -3). Which is greater: b or 3/38?
3/38
Let b be (-3)/(-9) + (1 - 10/6). Which is bigger: -1 or b?
b
Let q = -0.2 + 0.13. Let p = q - -3.07. Let u = p + -3. Which is smaller: -0.1 or u?
-0.1
Let n be (-29)/(-9) - (0 - (-4)/18). Which is smaller: n or 0?
0
Let j = -16 - -47/3. Is j <= 1?
True
Let l = 0.02 - 14.02. Let g = -15 - l. Which is greater: 10 or g?
10
Let y be ((-45)/(-780))/(6/(-4)). Which is smaller: y or 1/3?
y
Let r = 2/33 - -3/11. Which is smaller: r or 0?
0
Let q = -1 + 1. Let j be ((-4)/6)/((-3)/6). Which is smaller: j or q?
q
Suppose 0 = s - 4, 4*c + 20 = -c + 5*s. Suppose 5*u - 3*x = 2, c*x - 3 = -4*u + x. Is u < 2/11?
False
Let o(l) be the first derivative of -l**4/4 + l**3/3 - l**2/2 + 2*l - 1. Let f be o(2). Which is bigger: f or -3?
-3
Let q = -1/120 - 37/360. Is 1 less than q?
False
Let c(u) = u**3 + 5*u**2 + 2*u - 5. Let p be c(-4). Suppose l + 0 = p. Suppose 3*a - 6 = d, -3*a + 3*d + d = l. Is 3 at most a?
True
Let b(w) = 2*w + 7. Let p be b(-3). Is 10/13 greater than or equal to p?
False
Let v = 20 - 4. Let w = v - 2. Suppose 0 = 5*t - 4 + w. Is t greater than -2?
False
Let w be 24/68*10/(-6). Which is bigger: 0 or w?
0
Suppose 2*j + 74 = -0. Let s = j - -331/9. Is 0 less than s?
False
Let b(m) be the second derivative of -m**3/6 + 4*m**2 + 3*m. Let n = 14 - 6. Let y be b(n). Which is smaller: 1 or y?
y
Let s(y) = -y**2 + 7*y - 3. Let c be s(6). Which is smaller: c or -4/9?
-4/9
Suppose -2*m = -m - 3*h + 17, 2*m - h = -14. Let g = -4 - m. Which is smaller: 0 or g?
0
Suppose 3*o = j + 7, -5*o + j = 3*j - 30. Suppose 20 = -o*t + 2*c + 2*c, -c = 0. Is t less than or equal to -5?
True
Let s = 0 + -0.3. Let i = s + -0.7. Let j be 1/(-3) + -1 + (-2)/(-2). Which is greater: i or j?
j
Let l = -3 - -1. Suppose 0 = 2*h + h. Let a = -3 - h. Which is bigger: a or l?
l
Let r = -9.6 + 9. Let i = 3 - 2. Let o = r + i. Which is bigger: o or 1/3?
o
Suppose 3*u = -u - 4. Let n be ((-12)/(-10))/(51/(-15)). Let m = 20/153 + n. Which is smaller: m or u?
u
Suppose -2*l = 5*k + 2*l + 18, 4*l - 2 = 5*k. Let z = 147 - 148. Which is bigger: k or z?
z
Suppose -v - 4 = v. Let z = -34 + 32. Does v = z?
True
Let t(g) = -13*g + 5. Let l(o) = 6*o - 2. Let i(z) = 9*l(z) + 4*t(z). Let w be i(-3). Which is greater: w or -3?
-3
Let n = 4/227 + -65/16571. Let y = n - 153/511. Which is greater: 1 or y?
1
Suppose -2*y - 20 = -2*m, 4*y = -m + 1 + 29. Is m >= 13?
True
Suppose 0 = -22*b + 29*b + 462. Which is smaller: -67 or b?
-67
Let f = 0.02 - 0.14. Which is greater: -1/2 or f?
f
Suppose -10 = -6*u + 8. Is -0.3 less than u?
True
Let q be (-180)/(-85) - (-2 - -4). Which is smaller: q or -0.1?
-0.1
Let z be (-5 - -4)/(-3 - 16/(-5)). Which is bigger: 1/2 or z?
1/2
Let k = 93 - 66. Do 27 and k have the same value?
True
Let v = 0.15 + -0.14. Let b be (12/(-30))/(6/(-10)). Which is smaller: v or b?
v
Let m = 0 + 9. Which is smaller: 10 or m?
m
Let u = -10 + 9.8. Let x = 4 - 3.6. Which is smaller: u or x?
u
Suppose -3*n + 16 + 1 = -4*u, -11 = n + 2*u. Let l = -4 + 8. Suppose -4*z = -l*x - 24, z = -4*x - 0*z - 9. Is n > x?
True
Suppose -3*b = -0 - 9. Suppose b = 2*r - 1. Which is smaller: 3 or r?
r
Suppose -2*z + 3*z = -2. Which is greater: z or -10/13?
-10/13
Let a = -11413/120 - -759/8. Let u = -1/30 - a. Let y = -2/15 - u. Is 1 at least as big as y?
True
Let j(c) = c**2 - 4*c - 3. Let d be j(5). Suppose d - 4 = -s. Is s >= 0?
True
Suppose -2*m + 4*m - 4 = 0. Suppose -2*z + z - 4*w + 5 = 0, -m*z - w = -10. Let a = 8 - z. Is a less than or equal to 2?
False
Let q = 653 - 1930/3. Which is smaller: 9 or q?
9
Suppose v - 4*b = -2*b + 7, 3*v + 4*b = 11. Is v bigger than -0.1?
True
Let u(z) = 5*z - 1. Let j(k) = 3*k - 2*k + 2*k - 3 + 8*k. Let y(m) = -6*j(m) + 13*u(m). Let o be y(3). Which is bigger: o or 8/7?
o
Let f be (-27)/6 + 2/(-4). Which is smaller: -2 or f?
f
Suppose -4*o - 2*i - 54 = -0*o, -5*o = 4*i + 63. Let q be ((-5)/o)/((-10)/6). Are q and 1 non-equal?
True
Let s be 1 - 1 - (-15 + 0). Suppose -5*f + 7 = 3*m, 2*m - s = 4*f - 3. Which is smaller: m or 0?
0
Suppose 4*p - 15 = 1. Suppose 0 = -y + p*y. Which is bigger: y or 3/4?
3/4
Let l = 79/3 - 26. Does l = 0?
False
Let f be -4 + (5/(-1) - (-2 - 5)). Let z be 2/2 - 2/1. Are f and z equal?
False
Let k(n) = -n**3 - 2*n**2 + 35. Let r be k(0). Which is smaller: 37 or r?
r
Let t = -17 + 12. Let b(q) = q**2 - 10*q + 6. Let f be b(10). Let a = f + t. Which is bigger: 3/5 or a?
a
Let i = 0.1 - 0.1. Let a = 0.01 + -0.31. Is a equal to i?
False
Let j be (-35)/90*-2 + 1/(-3). Suppose 6*l - l = 0. Which is smaller: l or j?
l
Suppose -u - 30 = 2*u. Let r be (3 + -5)*u/(-4). Let m = r - -5. Which is bigger: -2 or m?
m
Let m = -3 + 0. Let x be (9/m)/(9/(-2)). Let a = 2/15 - -8/15. Are x and a non-equal?
False
Let d = 88427/75 - 1179. Which is smaller: 0 or d?
0
Let a = -9048/4115 - 1/823. Suppose -12 = -z + 5*z. Which is greater: z or a?
a
Let u be 4/6*(-70)/112. Which is smaller: 1 or u?
u
Let n be 117/(-165) + 2/(-10