alse
Suppose 17 = -8*t - 7. Does t = -2/15?
False
Let g(m) = 2*m + 15. Let y be g(-7). Suppose h + 2 = -y. Which is bigger: -1 or h?
-1
Let d = 37409 + -9165146/245. Let v = -1044 - -51154/49. Let r = v + d. Is 1 smaller than r?
False
Let t be -2 + (1 - 2 - -3). Suppose -h - 9 = -5*x, 2*x - 7*x + 2*h + 13 = t. Does x = 2?
False
Suppose 5 - 3 = 2*j. Suppose -b = -j + 6. Do b and -4 have the same value?
False
Let a be (100/(-12) + 7)*6/(-52). Let s(q) = q**3 - 3*q**2 + 2. Let z be s(2). Let h(p) = -p**3 - 3*p**2 - 3*p - 1. Let o be h(z). Which is greater: a or o?
o
Let w = -377/629 - -20/37. Which is smaller: w or 1?
w
Let q = 4 + -5. Let p(d) = -d - 6. Let c be p(-6). Let k be (-3)/(-39)*(1 - c). Is k >= q?
True
Suppose -3*q + 2*q - 4*u = 18, -12 = -4*q + 5*u. Let g(d) = -d**3 - 7*d**2 - 1 + 0*d**3 + 0. Let k be g(-7). Which is bigger: q or k?
k
Let y = -11/13 - -115/182. Which is greater: y or 0?
0
Let q be (-5)/3 - (-6)/(-18). Let x be (-7 - -9)*3/(-2). Which is smaller: x or q?
x
Suppose 2*b + 17 = 3*n - 2, 0 = b - 3*n + 2. Let t = 27 + b. Let r be (-1)/t*10/4. Which is smaller: r or 1/2?
r
Let a(s) = -s**3 + 5*s**2 - 2*s - 4. Let j be a(4). Let t = -6 + j. Suppose 0*w - 4*r + 16 = 4*w, -2*w + 4*r - 16 = 0. Which is smaller: t or w?
t
Suppose 3*t - 23 = -f, -5*t = 2*f - 3*t - 30. Suppose -1 - f = 4*w. Is -3 <= w?
True
Let d = 0.06 - -7.94. Let a = 7 + -3. Let m = a - d. Which is smaller: -0.1 or m?
m
Suppose g - 5*f + 140 = 0, 4*g = 7*g + 5*f + 520. Let w be 4/(-22) - 305/g. Is 1 equal to w?
False
Let i = 0.15 - -0.25. Suppose -5*n = 2*h + 5, -5*h - 37 = -4*n - 8. Which is smaller: i or n?
i
Let z = -45 - -31. Is -14 != z?
False
Let k = -12 + 14. Suppose -3 = 5*m + k. Which is bigger: m or 1/6?
1/6
Let k = 44 - 44.3. Are k and 2/5 unequal?
True
Let p(r) = r**2 + 2*r + 1. Let o be p(-1). Is o at least as big as 1/15?
False
Suppose -4 = -2*z + 4. Suppose z = y + 2. Suppose -y*a - 4 = 2*a. Are 0 and a equal?
False
Let s be (1/(-2))/((-2)/4). Let l be 4/5*65/26. Is l > s?
True
Let p = 20 + -15. Which is bigger: p or 4?
p
Let r = -10 - -7. Which is smaller: r or -2?
r
Let t = -2.2 + -8.8. Which is greater: 1 or t?
1
Let t(z) be the second derivative of z**4/12 - z**3/2 + z**2/2 + 2*z. Let f(l) be the first derivative of t(l). Let c be f(2). Which is smaller: c or 0?
0
Suppose -5*p + 2*p = 0. Let b = -2/319 + -1579/2552. Which is smaller: b or p?
b
Suppose -l + 2 = -3*l, -12 = 5*f + 2*l. Let q(c) = c**2 + 3*c + 1. Let h be q(f). Suppose 3*w + 2*w + 10 = 0. Is h smaller than w?
False
Let w(t) = t**2 + 14*t + 10. Let h be w(-11). Let q = 26 + h. Suppose 2*y + 16 = 6*y. Which is bigger: y or q?
y
Let z = -0.65 + 0.35. Do z and -2 have different values?
True
Let m = 8 - 15. Which is bigger: -9 or m?
m
Let n = 20 - 2. Suppose 0 = a + 3*i - n, -7*a + 35 = -2*a + 4*i. Let k = 10 + -7. Are k and a equal?
True
Let k = -0.38 - 0.02. Let m = -9.6 + k. Let p = m - -14. Which is bigger: -0.1 or p?
p
Let f(p) = p**3 - p**2 + p - 7. Let c be f(0). Let l(d) = -d**3 - 6*d**2 + 7*d + 7. Let v be l(c). Let j = v + -7. Which is smaller: -1/6 or j?
-1/6
Let o = 15 - 4. Is o at least 11?
True
Let x = 17 - 18. Which is bigger: 2/13 or x?
2/13
Suppose -5 = -2*j + 5*t, j + 0*j - 3*t = 3. Let s(h) be the first derivative of h**2/2 - 1. Let z be s(0). Is z > j?
False
Let n be (0 + (-1)/(-1))*-1. Let f be 1 + 32/(-14) - n. Let j(b) = 2*b + 2. Let u be j(-1). Is f not equal to u?
True
Let d = -0.266 + 0.066. Let h = -0.1 - 0.1. Does d = h?
True
Let o be (-3 + 0)/(-9) - 1. Let l(q) = -q**2 - 5*q - 1. Let h be l(-5). Is o <= h?
False
Suppose 2 = -0*x + x. Suppose -x*p + 16 = -p + 3*f, 0 = -4*p + 4*f. Which is greater: 5 or p?
5
Let y be -5 + (0/1)/1. Let i(j) = -j**2 - 6*j - 7. Let n be i(y). Let u(g) = -g**2 - g + 1. Let a be u(1). Is n greater than a?
False
Let c = 9 - 4. Suppose -c*k = -3*k. Is -6 bigger than k?
False
Let r be (28/385)/((-28)/(-10)). Which is smaller: -1 or r?
-1
Let a be 1 - 21 - (8 + -4). Which is bigger: -23 or a?
-23
Suppose 0 = 2*s - 4, -3*x - 5*s + 328 = -252. Let h = x - 1708/9. Which is smaller: h or 2?
h
Let i(s) = -s**3 + 8*s**2 - 7*s + 6. Let h be i(7). Is h < 4?
False
Let s be 9/(-3) + (-2)/1 + 5. Is s at most -15?
False
Let k be 264/(-64) + 4/1. Is k less than or equal to 1?
True
Let r = 0 + -1. Let m = 38 + -273. Let u = m + 5407/23. Which is bigger: r or u?
u
Suppose -15 = 2*j - 7*j, 0 = -3*i + 5*j - 21. Is -5/6 <= i?
False
Suppose y = -3*y - 8. Let o = 1 - y. Is o at most 2?
False
Let o be 4/(-22) + (-16926)/(-43362). Let q = o + 1/73. Which is greater: 3 or q?
3
Let r(p) = -p**3 + 6*p**2 - 2*p + 2. Let i be r(5). Suppose 4*m + 0*x + i = -5*x, -18 = m + 4*x. Let s(t) = -2*t - 5. Let u be s(-4). Which is smaller: u or m?
m
Let g = 13 + 11. Suppose 5*s - 6 = -5*m + g, 0 = -s + 3*m - 10. Is 3 < s?
False
Let p = -12 + 15. Let k be ((-15)/9)/(p/(-9)). Is 4 < k?
True
Let h be (-10)/(-7)*21/27. Which is bigger: 0 or h?
h
Let h be 15/(-6)*-2 + -5. Which is smaller: h or 3/11?
h
Let q = -209/3 - -69. Suppose -2*a + 0*u - 2*u = 0, 5*a + u = 4. Which is bigger: a or q?
a
Let s be (-26)/(-6) - 1 - 2. Let a = 74/129 - -4/43. Which is smaller: s or a?
a
Let r be 2 - 6 - 2/((-6)/255). Is 81 smaller than r?
False
Let p(k) = -k + 7. Let g be p(6). Let w = 0 - 0.02. Is w <= g?
True
Let m = 2422675/30987 + -5/2817. Let v = m - 78. Is v smaller than 1?
True
Suppose 2*b = -0 + 2. Which is smaller: b or 3/16?
3/16
Suppose -7 - 3 = -n. Let u = n - 6. Suppose -3 + u = d. Which is smaller: d or 0?
0
Let r be (-7)/(-42) - (-1)/3. Let c = -6 - -11. Suppose -3*d - p - 1 = -0*p, -c*d = 3*p + 3. Do r and d have the same value?
False
Let k = 26 - 1. Which is smaller: 27 or k?
k
Let k be (4 - 176/28) + 1 + 1. Let s(l) = l - 2. Let p be s(2). Is k != p?
True
Let l(w) = -w**3 - 5*w**2 + 7*w + 6. Let b be l(-6). Let z = b + -2. Are z and 0 non-equal?
True
Suppose a + 3 = 5*o - 3, 30 = 5*o + 5*a. Suppose -5*d - 16 = b - o*b, -3*b = -d + 8. Is 1/2 greater than or equal to d?
True
Let q be -1 + 3 + 6/(-7). Which is smaller: 1 or q?
1
Let i be 2/(-12)*9/(-6). Which is bigger: i or 1?
1
Let y = 231 + -3925/17. Is y < -1?
False
Let k be -4*(1/(-66))/1. Suppose 2*g - 4 + 2 = 0. Which is bigger: k or g?
g
Let f be 2/(-3)*(-1)/2. Let v(y) = y**3 + 11*y**2 - 12*y - 8. Let w be v(-12). Let q = w + 8. Does q = f?
False
Let q = -7 - -8. Suppose 5 = 5*s - 2*j, 20 = 3*j + 5. Suppose s*z = 2*z - q. Is z smaller than 0?
True
Let t = 1.1 + -3.16. Let u = 0.06 + t. Which is bigger: u or 0.2?
0.2
Let b = -9 - -12. Let j = 0.8 + 0.2. Which is bigger: b or j?
b
Let p = 21.6 - 15.6. Is 13 equal to p?
False
Let s(a) = -a**2 + 11*a - 8. Let y be s(10). Let q be (-12)/80*y*-2. Is 1 at least q?
True
Suppose -4*t + 0*t - 4 = 0. Let q be (-656)/(-10) + (-6)/(-10). Let n = -66 + q. Is t less than n?
True
Suppose -11*b + 9*b = -72. Is b less than 36?
False
Let f be (-2)/3*(-6)/(-1). Let t = f + 14/3. Is 0 less than or equal to t?
True
Let t(o) = 7 - 2*o**3 + o**3 - 10 - 5*o**2 - 4*o. Let c be t(-4). Let m = 1 + c. Which is bigger: -1 or m?
-1
Let u(a) = 11 + 8*a + 2*a**2 - a**2 - 3. Let f = -2 - 5. Let z be u(f). Is 2/5 < z?
True
Let u(n) = -n**2 + 3*n + 6. Suppose -4*k + 17 + 3 = 0. Let b be u(k). Let s = -36 + 34. Is s less than b?
False
Let i = 5 + -14. Suppose j - 2*s = -5*s - 15, 3*s - 9 = 3*j. Let h be (-5)/(0 - 3/j). Which is smaller: i or h?
h
Suppose g + 3*g = -32. Which is bigger: -7 or g?
-7
Let a be -2 + (512/60)/4. Which is bigger: a or -1?
a
Suppose -15 = -h + 5*y, -5*h + 0*y - 9 = 3*y. Let i(r) = -3 - r**3 - 4 + 5 + 0 - r**2. Let p be i(-2). Are h and p nonequal?
True
Let v = 106 + -106. Which is smaller: v or 1/5?
v
Suppose -b + 72 = b - 5*v, 3*v = -2*b + 40. Suppose 1 = w - 5*u - b, 4*w = 3*u + 23. Let p be (4/9)/(w - 0). Is p less than 0.1?
False
Suppose 4*o - 3*p + 1 = -1, 0 = 3*o - p + 4. Which is smaller: o or 1/4?
o
Let i = 0.11 - 0.02. Let d = -0.91 - i. Which is bigger: 1/2 or d?
1/2
Suppose -a - n + 1 + 6 = 0, 4*n = 5*a + 1. Suppose -a*y - 6 = 0, -v - 5*y = 2*v + 16. Let c be (v - 0) + 2 - 0. Which is bigger: -1 or c?
c
Let q = -3 - -7. Let f = q + -6. Which is bigger: f or -3?
f
Let q be 1/(-3*(-2)/(-12)). Do -2 and q have the same value?
True
Let b be (1*3)/(24/(-128)). Let y