q unequal?
True
Suppose 0 = r + 2*r - 24. Do r and 7 have the same value?
False
Let g = -2.99 + 3. Let k = g + -0.11. Let x = -0.8 - -0.7. Are k and x nonequal?
False
Let x(a) = a**2 + 9*a + 4. Let b be x(-9). Let z be (0/2)/(-5 + b). Which is smaller: z or -1?
-1
Let x be ((-2)/(-6))/((-4)/(-1452)). Is x < 122?
True
Let z = -1301/14 + 93. Is z less than or equal to -2?
False
Let v = 18 + -18. Are -2/5 and v equal?
False
Let q = 7 - 8. Let l = 20 - 16. Which is greater: q or l?
l
Let c = -22469527337/249393345222 + 1/30529238. Let f = c + -2/389. Which is smaller: 0.1 or f?
f
Let h(c) = -c**2 + 2*c + 7. Let y be h(4). Which is smaller: y or -15/13?
-15/13
Let m = -4 - -4. Is -10/13 < m?
True
Suppose 0 = 5*f + 5*z - 5, -z = 2*f + 2*z - 4. Let d = f + 4. Suppose 3*t = 4*t + d. Is t less than or equal to 0.1?
True
Let m(z) = -z**3 + 3*z**2 - 3*z + 3. Let r be m(2). Which is smaller: r or -2/65?
-2/65
Let m = -43 + 36. Which is bigger: m or -5?
-5
Suppose 0 = 3*y - 3*o + 102, -2*o + 4 = -2. Are y and -32 equal?
False
Let k = 23 + -30. Is k greater than or equal to 0?
False
Suppose m = -3*m + 32. Let j = -3 + m. Suppose 3*k + 28 = j*p, 3*p = 2*k - 5*k + 12. Is k less than or equal to -8/7?
False
Let p be ((-1)/15)/(28/42). Which is greater: 1 or p?
1
Let d = 1 + 2. Let z = d - 3.1. Let w = z + -0.1. Which is bigger: w or -0.1?
-0.1
Let t = 6 + -8. Let y = 2.2 + t. Is -0.2 greater than or equal to y?
False
Let g = 0.16 + 12.84. Let m = g + -13.04. Which is smaller: 1 or m?
m
Let d(c) = -c**2 - 11*c. Let x be d(-11). Let l = 0 + -2. Is x smaller than l?
False
Let g = 21 - 20. Let j(f) = -f**3 - 5*f**2 - 2*f - 3. Let v be j(-3). Let z be (-6)/v*5/27. Is z >= g?
False
Let r = -66 - -1784/27. Do 0 and r have the same value?
False
Let q = 7 + -13. Which is bigger: q or -5?
-5
Let q(y) = -5 - 1 + 3*y + 4 - 2*y. Let k be q(-1). Which is greater: -4 or k?
k
Let f = -26 - -17. Is f at least -1?
False
Let k be (3/3 - -1) + 24. Let j = -9 + k. Suppose -5*d - j = 13. Do d and -5 have the same value?
False
Let b(p) = 4*p + 6. Let c be b(-6). Let n be c/(-8)*-1 + 3. Is n at most as big as 0?
False
Let a = 538 + -1101/2. Let z = a - -13. Are 0 and z unequal?
True
Let k = 1253627/65516 - 99/1489. Let s = 174/11 - k. Which is smaller: -4 or s?
-4
Let a = 9.01 - 9. Let j = 0.11 - a. Is j > -1?
True
Let p = 15310 + -76231/5. Let h be (-64)/(-2)*4/(-2). Let n = p + h. Which is smaller: 1 or n?
n
Let q(c) = c**3 - 5*c**2 - c + 7. Let k be q(5). Suppose 0 = k*d - d + 1. Is d >= -3/8?
False
Let d = 6 + -3. Suppose -d*m + 4*m - 4 = 0. Let x be -2*m*(-6)/(-56). Which is greater: 0 or x?
0
Let m = -28 + 49. Let o = m + -15. Let l = -6.2 + o. Which is smaller: -2 or l?
-2
Suppose -4*t - 4*f = 17 + 31, -t + 2*f = 9. Which is bigger: t or -21/2?
-21/2
Let x = -5 + 7. Let a be (-110)/(-15) + x/(-6). Which is bigger: 0 or a?
a
Suppose 12 = 4*p, 0 = -0*w + 4*w - 3*p + 5. Is w != 1/17?
True
Suppose -4*f - 3*u = 79 - 11, -2*f + 5*u = 60. Let i be f/15 - (-2)/6. Let n = 48 + -48. Which is smaller: n or i?
i
Let t be 2/(-3) - 3046/(-42). Let v(c) = -3*c**2 + 6*c. Let h be v(6). Let k = t + h. Which is bigger: k or 0?
0
Let l be 518/(-128) + (-6 - 0) + 10. Does -1 = l?
False
Let b be 6/(-7) + (-10)/70. Which is bigger: b or -1/2?
-1/2
Let d(o) = o. Let k be d(-1). Let g be (-1 + 103)/((-6)/9). Let a be (-4)/(-6)*27/g. Is a not equal to k?
True
Let d(g) = -2*g**2 + g + 1. Let h be d(-1). Suppose 3*y + 1 = 10. Suppose q - 2 = -5*c + 2*q, -10 = -y*c + 5*q. Which is bigger: c or h?
c
Let h be ((-4)/(-5))/((-16)/(-600)). Suppose m - h = -4*m. Suppose 4*q = 2 + m. Is q equal to 3?
False
Suppose 0 = -2*r + 15 + 1. Is 7 < r?
True
Let g(d) = -d**3 + 8*d**2 - 5*d - 10. Let h be g(7). Suppose h*r = 3*r + 6. Suppose 15 = 2*b + 5*s, 7*b - r = 2*b - 2*s. Is b <= 0?
True
Let v = 7 - 8. Suppose 2*l + 4*l = -6. Are l and v unequal?
False
Suppose 0 = -5*x, 0 = -4*g + g - 4*x + 9. Suppose 0 = -w - 2*w - g. Let t be ((-9)/6)/w + -2. Which is smaller: t or -1/3?
t
Suppose -i - 2 + 1 = 0. Suppose -4*n + 0*n - 2*j = -4, 5*n + 3*j = 5. Let u be (1 - n/2)*-2. Is u >= i?
True
Let x be 402/(-18) + 2/6. Is 3 at most as big as x?
False
Let v(y) = -y**2 - 3*y + 12. Let m be v(-6). Let c(a) = -2*a**2 - 11*a + 5. Let z be c(m). Is z less than or equal to 1/4?
True
Let z = -1156/77 - -162/11. Let o(k) = 2*k + 3. Let j be o(-2). Which is smaller: z or j?
j
Let b = 3/109 - 239/763. Let k be 0*1/((-2)/1). Which is smaller: b or k?
b
Let c = 16 + -20. Let d be ((-15)/(-65))/(6/c). Which is smaller: d or 1?
d
Let z = 14 - 13. Is z at least 2/11?
True
Let g = -158.8 + 175. Let n = g - 23. Let i = n - -7. Is i greater than 1?
False
Suppose 0 = c - 2*c. Suppose 2*i = -c*i. Which is greater: i or 2/7?
2/7
Let x be 4/(-12)*-9*2. Do x and 8 have the same value?
False
Suppose -v = -0 - 1, 4*t = 5*v + 7. Suppose 2*g - 36 = 5*g. Let o be (3/(-12))/(1/g). Are t and o non-equal?
False
Let o = -0.7 - -0.65. Let r = -2.05 - o. Which is smaller: r or 1/2?
r
Let s(p) = -p**3 + 2*p - 1. Let a be s(-2). Let g be 1/(6/a + -3). Which is smaller: -2 or g?
-2
Suppose -3*f + 236 = -4*d, -f = 2*f + 3*d - 201. Which is smaller: 73 or f?
f
Suppose -4*k + 0*k - 22 = -5*r, 3 = -3*k - 3*r. Is 5 at least as big as k?
True
Let u(y) = y**2 - 8*y + 8. Let q be u(6). Is -5 less than q?
True
Let z = 101 + -197/2. Is z at least 0?
True
Let d(l) = -l**3 - 4*l**2 - 2*l + 2. Let c be d(-3). Let s be 35/14*2/c. Is -4 bigger than s?
True
Suppose -s - 3*h + 0 - 6 = 0, 0 = 5*h + 15. Is s < 5/3?
False
Let t(x) = x**3 + 1. Let i(u) = 4*u**3 + 11*u**2 + 10*u + 7. Let c(b) = -i(b) + 3*t(b). Let o be 0/(2 + 0) - 10. Let w be c(o). Is -4 at most w?
True
Suppose -3*m + 12 = 4*v, 2*m - v = 3*m - 3. Is 4/23 at most m?
False
Let j = -1.2 + 0.2. Let l = -29/50 - -2/25. Which is greater: l or j?
l
Let g(i) be the third derivative of -i**6/120 - i**5/15 - i**4/24 + i**2. Suppose 0 = 4*r - 4, 2*r - 8 = 3*h + 3*r. Let o be g(h). Which is greater: o or -5?
-5
Let g be 1/8*(-20323)/90. Let m = -463/16 - g. Let b = m - -2/45. Which is bigger: -1 or b?
b
Suppose l + 0*l - 351 = 0. Let o be (-171)/l + 2/6. Which is smaller: 0 or o?
o
Suppose -40 = n + 3*n. Let a(x) = x + 17. Let r be a(n). Is 7 != r?
False
Let z = -1.51 + -0.39. Let x = z + 1.85. Is x <= 3?
True
Let z = -36 + 143/4. Is 23 at most as big as z?
False
Let k(u) = u - 3. Let w be k(6). Suppose -5*d - 3*j - 45 = -10, -2*d - 3 = -j. Let b be d/(-6)*3 - -2. Which is smaller: w or b?
w
Let x be (6/10)/1 - (-60)/(-75). Which is smaller: -0.11 or x?
x
Let m = 74 - 3849/52. Do 1 and m have the same value?
False
Suppose 3*d + 0*d - 24 = 0. Let c(q) = q**2 - 6*q - 6. Let k be c(d). Is 10 smaller than k?
False
Let x = 128 + -643/5. Let j be (-3)/(-2)*(-4)/3. Is x not equal to j?
True
Suppose 5*o + 2*b - 51 = -0*b, 2*o + 4*b = 30. Suppose -m = -w - o, -m - 2*w = -0*m - 18. Let c be (3/9)/(m/9). Are c and 0 equal?
False
Let i be 6/(-10) + (-9)/(-15). Let q = 1 - i. Suppose -3*u - q = -5*s + 10, -u + 2*s = 5. Which is bigger: 4 or u?
4
Let z be 1*(1 - 2/2). Let n = 76 - 76. Is z != n?
False
Let j = 34 - 35. Let g = -5 - 3. Let n = g + 6. Are n and j non-equal?
True
Let v be (-3)/6*(-2 + 0). Let t = -1/26 - -29/78. Which is bigger: t or v?
v
Let p = 0 + -1. Let u be p + (-2)/(-2) - -2. Suppose -3*o - 4*i = -2*o - 17, 4*i - 16 = 0. Is u at least o?
True
Let w = 0 - 0.1. Let h = -18.3 - -17. Let j = 1 + h. Is j at most as big as w?
True
Let q = 110 + -111. Let h(a) = a**2 + 4*a + 1. Let f be h(-4). Is q < f?
True
Let w be 2/(-7) - 534/42. Let p = -5 - -6. Is w >= p?
False
Suppose 7 + 13 = 5*s. Which is bigger: 18/7 or s?
s
Let i = -22973/57 - -403. Are i and 0 non-equal?
True
Let y be (-20)/35*(-21)/6. Which is smaller: y or 4/7?
4/7
Let d = -51 - -50. Is d at least as big as 1?
False
Let f be (0 + 6/(-5))/((-8)/5). Is f smaller than -1?
False
Suppose 0 = 3*o + 4*w + 3, 10*o - 5*o + 3*w = -5. Is o equal to -1/5?
False
Let y be ((-7 - -4) + 3)/(-1). Suppose y = -10*a + 5*a - 70. Is -14 smaller than a?
False
Let h = -107 - -207/2. Is 3/5 > h?
True
Let p be (-2)/(-8) + (-31)/12. Which is greater: p or -1?
-1
Let j(o) = o**3 - 5*o**2 + 5*o + 4. Let c be j(3). Is -1/107 < c?
True
Let i be 3/6*0*2/(-4). Which is smaller: i or 20?
i
Suppos