
False
Let m = 66 - 70. Let n = -0.9 + 1. Let s = -0.1 + n. Is m greater than s?
False
Let x(o) = 3*o**2 + 4*o + 3. Let f be x(-2). Let c = f - 11. Is c equal to -3?
False
Let f = -1 + -8. Let t = f - -10. Is 1 greater than t?
False
Let t(i) be the third derivative of i**5/5 - i**4/24 - 2*i**2. Let m be t(1). Suppose 4*v = 1 + m. Which is smaller: 2 or v?
2
Let x(r) = r - 1. Let k be x(-7). Does k = -8?
True
Let z = -1/100 - -607/700. Which is greater: z or 1?
1
Let o = -5 + 5. Is o not equal to 0.16?
True
Let r be ((-2)/(-8))/((-10)/(-1236)). Let f = r + -31. Let x(z) = z**3 + 9*z**2 - 9*z + 9. Let g be x(-10). Do f and g have the same value?
False
Suppose q + 1 - 2 = 0. Suppose -5*a + 13 = -3*f, 2*f + q = -2*a + 3. Let h = -39 - -116/3. Are f and h non-equal?
True
Let i = 0.86 - -0.14. Let j = -1.5 + -3.5. Which is smaller: i or j?
j
Let c(a) = a**2 + 11*a - 8. Let r be c(-12). Suppose 0 = -4*m - 8 - r. Let o be (m/(-6))/(3/2). Which is smaller: 1 or o?
o
Let x(w) = 6 - 1 + w + 6*w - 4*w - w**2. Let l be x(4). Let g be ((4/1)/(-2))/(-9). Is g smaller than l?
True
Let l(p) = -p + 10. Let w be l(9). Let i = w - 7. Which is greater: -5 or i?
-5
Let b be 376/(-20) + 1 + 18/(-15). Are b and -19 non-equal?
False
Let o = 32 - 38. Is -1/4 >= o?
True
Let k be 4 + -7 + (1 - 0). Which is smaller: k or -4?
-4
Suppose 0 = 4*c - 20 + 4. Suppose 0*j + d = -3*j + 13, -5*j - 5*d + 15 = 0. Is j bigger than c?
True
Let d = -15.028 - -0.028. Is d less than 1/6?
True
Let d be ((-1460)/98)/(-5) - 3. Let a = 19 + -20. Which is smaller: d or a?
a
Let q be 1*(-2 + 1 + 1). Which is smaller: q or 1/15?
q
Let b = 0.131 + -10.131. Is b less than -1?
True
Let a = -2 - -4. Suppose a*f - 5 = -f + 5*m, -m = 1. Is f equal to -1?
False
Let a = -0.3 - -0.3. Let s = a - -0.1. Let y(t) = t**3 - 7*t**2 - 9*t + 6. Let f be y(8). Does s = f?
False
Let z = -0.36 - -0.06. Let r(i) = i - 11. Let m be r(9). Let k be m/2*(-1 + 3). Which is smaller: z or k?
k
Let k = -0.12 + 0.02. Let y = -3.3 + 3. Let s = y + 0.7. Is k < s?
True
Let s = -24139/54 - -447. Is 0 at most as big as s?
False
Let f(u) = -3*u - 1. Let h(y) = -y - 1. Let s(v) = f(v) - 4*h(v). Let b be s(-4). Suppose 0 = o - 6*o. Which is greater: b or o?
o
Let v = 118 - 97. Is 24 at most as big as v?
False
Let a = 1 + -1.01. Let j = 0.99 - a. Let m = -2 + j. Is m less than or equal to 1?
True
Let p(o) = -6*o**2 + 1. Let k be p(1). Let f be ((-30)/(-50))/(4/k). Which is smaller: f or -1?
-1
Suppose 25*x - 23*x = -6. Which is greater: -15/8 or x?
-15/8
Let t(n) = -n**3 - 3*n**2 - n. Let m be t(-3). Suppose -5*o - 5 = 5*u, o = -m*u + 4*o - 15. Let l be 2/u - 3/(-3). Which is smaller: 0 or l?
0
Let u be (-2)/4 - 153/(-34). Is 15/7 greater than u?
False
Let q = -4/47 + -152/423. Which is bigger: -1 or q?
q
Let n = 0.56 + -0.06. Let r = n + -0.7. Let d be 10/(-8)*(-2)/10. Do d and r have the same value?
False
Suppose 3*o + c - 33 = -2*c, 5*o = 2*c + 76. Suppose -2*i + 4*i = o. Let d = i - 6. Which is bigger: d or 1/3?
d
Let v(k) = 20*k - 6. Let b be v(-6). Let w be 8250/b - 2/(-6). Let y = 65 + w. Is y at least 0?
False
Suppose 0 = -4*y + 8 + 16. Suppose -18 + y = -3*j. Is j less than or equal to 3/5?
False
Let w be (15/(-4))/(1/(-12)). Suppose 0 = 6*c - c + 5*a + w, -5*a - 25 = 0. Are 2/3 and c non-equal?
True
Let j = 8153/19 - 429. Let g = -21 + 20. Which is smaller: g or j?
g
Suppose -62 = 4*o - 14. Let j = 7 + o. Let q(u) = u**3 + 4*u**2 - 3*u + 5. Let k be q(j). Is -6 equal to k?
False
Let o(d) = -d**3 - 6*d**2 - 6*d - 5. Suppose 0*q - 81 = 3*q. Let v be (90/q)/(4/6). Let p be o(v). Is -3/7 at most p?
True
Let l = 41 + -41. Which is smaller: l or -2/23?
-2/23
Suppose -5*w + 10*w = 25. Suppose 10 = c - 4*v, 3*c - w*v + 3*v - 10 = 0. Let g be 3 + (-2)/4*2. Are c and g nonequal?
False
Let x = 3.4 + -5.34. Let p = x - -2. Which is smaller: -1 or p?
-1
Let v be 6/(-7)*4/12. Let n(j) = -j**3 - 9*j**2 - 7*j + 11. Let g be n(-8). Suppose g = 4*m - m. Is m bigger than v?
True
Let d = -19/64 + 2181/448. Which is greater: 5 or d?
5
Suppose -2 - 6 = 4*b. Suppose -5*k = 4*m + 5, 5*k - k - m + 4 = 0. Let t be (k + 1)/(1 + b). Which is smaller: t or -4/7?
-4/7
Let i be (-5)/(-15)*(-1 + 4). Suppose -5*n - 16 = 2*x, -n + 4*n - 3 = 3*x. Let j be 4/(-3) - 4/n. Is j equal to i?
False
Let b(z) = -z - 11. Let l be b(-9). Let x(n) = n**2 - n + 8. Let u be x(0). Suppose -u + 4 = 4*p. Is l at least p?
False
Let l(k) = k**2 + 8*k - 1. Let m be l(-9). Suppose i - m = 5*i. Is -4 less than or equal to i?
True
Let a = 37 - 36. Is 6 less than a?
False
Let k be (-2)/(-8) - 15/(-4). Suppose -k*f + 4 = 2*g, 4*g = -6*f + 5*f + 15. Let y(v) = v**2 + 5*v + 4. Let a be y(-4). Is f < a?
True
Let g = -2 + 3. Let c be g/(-3) - 1/3. Let q(u) = u**3 + 5*u**2 - 7*u - 8. Let b be q(-6). Is b smaller than c?
True
Let a = 364643/65 - 5610. Let i = -1024/455 - a. Which is smaller: -2 or i?
i
Let p(z) = z - 11. Let f be p(-6). Is 1/3 equal to f?
False
Let n = 6924/7 + -986. Are 3 and n equal?
False
Let p(h) = -2*h**2 + 4 - 2 - h - 1. Let c be p(1). Let w be c/(-5) + (-16)/140. Which is bigger: w or 1?
1
Let o = -3.16 + 3. Is o less than or equal to 0.1?
True
Let z be ((-6)/(-9))/((-4)/(-6)). Let q be (-2)/4 - (-26)/28. Is q greater than or equal to z?
False
Let r = 389/6 + -65. Do -0.4 and r have different values?
True
Suppose -v + 2*q + 12 = 3*v, 0 = q. Let p be v/((1 - 0)*1). Suppose 0 = -g + p*g - 2. Is g greater than 0?
True
Let l be (-646)/85 - (-4)/(-10). Which is smaller: l or 0?
l
Suppose -4*x + 12 - 8 = 0. Is 6/53 at most x?
True
Let n = -6 - -8. Let v be (4/6)/(-2) + 77/42. Which is greater: v or n?
n
Let s = 33 + -77. Let r be (-4)/22 + 80/s. Is -5/4 smaller than r?
False
Let a(g) = -5*g + 8. Let q be a(7). Let x = 217/8 + q. Is x < 0?
False
Let h be -5*(-2 + 32/20). Is 2 at most h?
True
Let d(u) = -4*u + 8. Let m be d(4). Is -10 != m?
True
Let o = 0.3 - -16.7. Let p = o + -16.97. Is p greater than or equal to -1/4?
True
Let g = 8 + -7.99. Let s = g + 0.19. Is s at least as big as -2?
True
Let j(i) = -i**2 - 6*i - 5. Let a be j(-6). Is a at least -4?
False
Let u be (2/(-3))/(14/(-63)). Let i be (-1)/2 - u/(-4). Is i equal to -1?
False
Let f(n) = 0*n**3 - 2*n**2 + n**3 + 11*n - 12*n + 2. Let h = 6 - 4. Let l be f(h). Which is greater: -1/8 or l?
l
Suppose 4*o - 40 = -4. Let q = -5 + o. Suppose 5*f - 25 = -0. Which is greater: f or q?
f
Let n = 4175/116 - 36. Is n smaller than -0.1?
False
Suppose r + 29 = -z + 6*r, -19 = z - 3*r. Let i = z - -5. Let d = i - 1. Is -1 less than d?
True
Let p = 3/178 + 335/1246. Let b = -15.1 + 17. Let t = b + -2. Is t greater than p?
False
Suppose -2*g + 3*j - 7*j = 20, -2*g = 2*j + 12. Is -0.2 not equal to g?
True
Let m = -3.99 - -4. Let v = m - 0.01. Do v and 4 have different values?
True
Suppose -3*q - 9 = 3*x, 4 = -4*x - 2*q - 6. Let z be (24/(-9))/(x/9). Let b be z/(-54) - 4/63. Do -0.1 and b have the same value?
False
Let s = -0.62 + 0.42. Let o = 0.1 + -0.3. Let a = o - -0.1. Which is smaller: a or s?
s
Let d(k) = -2*k**2 + 13*k + 9. Let y be d(9). Which is bigger: -37 or y?
y
Let f = -0.22 + 0.12. Let k = -46.9 + 45. Let o = k + f. Which is smaller: o or 0?
o
Let b be (1/429)/(3/18). Which is bigger: b or 0?
b
Let b = -8 + 12. Suppose y + s + 0 = 1, -2*y + b = s. Suppose 0 = y*q - 4*q + 4. Are q and 5 equal?
False
Suppose -28 = 3*y - 5*c, 2*y + 2*c + 7 = 3*c. Is -4/79 > y?
True
Let x be 3/4 - 6/8. Suppose -3*s = -x*s + 3. Is -8/7 < s?
True
Suppose -2*r - 2 = -p, 6*p - 2*p = -2*r - 12. Let o be 9/p + (-2)/(-4). Let m be o/6 + (-4)/(-6). Is m smaller than 0?
False
Let b be (-3)/((-30)/434) + 30/50. Which is greater: b or 45?
45
Let q = 7 - 5. Let g = 3 - q. Let l = g - 0.9. Is 0.1 at most as big as l?
True
Suppose -4*y + 4 + 0 = 0. Suppose 2*s - 5 = y. Is -1/4 bigger than s?
False
Let a be ((-24)/(-14))/(5/35). Suppose -5*z + 32 - a = 0. Is 4 bigger than z?
False
Suppose 5*a = 5 + 5. Let c be 3 - (3/1 - 3). Suppose 0*q + 3*d - 17 = -a*q, 3*q + c*d - 18 = 0. Which is smaller: -2/9 or q?
-2/9
Let q = 2 + -1.94. Let m = -1.94 - q. Let l = -0.3 - 0.7. Which is greater: l or m?
l
Let u = -29.3 + 27. Which is smaller: u or 0.1?
u
Let t be (-28)/(-45) - (-6)/(-9). Are t and -1 nonequal?
True
Let l(o) = o**2 + 5*o - 8. Let r be l(-7).