han h?
True
Suppose w + 9 = -2*w, j - 3*w = 13. Suppose j*m = 3*m. Is 1/3 greater than or equal to m?
True
Let r be 1 + 1/(4/12). Suppose 4*f + 8 = r*n, 3*f = 2*f + 4*n - 11. Let z be -2*1 + 1 + 1. Is f less than z?
False
Let h be (2008/252)/(-2) + 4. Which is bigger: -1 or h?
h
Let z = -18 + 10. Let a = z - -7.4. Is 1 > a?
True
Let a be 5/(4 - 1 - 2). Let f = 244 - 241. Is a at least as big as f?
True
Let i(g) = -g**2 + 3*g - 2. Let k be i(2). Let t = k - 4. Is t greater than -2?
False
Let h = -39 + 194/5. Which is greater: -19 or h?
h
Let q(u) = u**3 + 10*u**2 + 5*u - 2. Let p be q(-9). Is 34 equal to p?
True
Let w be ((-273)/(-9) - -2) + 0. Let j = w + -32. Let k be 2 - (-1 + (1 - -2)). Which is bigger: j or k?
j
Let z = 9 + -16. Is -8 greater than z?
False
Suppose 41 + 14 = -5*g. Let p = 15 + g. Is 2 greater than p?
False
Suppose -5*b + 35 = 5*j, 0 = 3*j - 6 - 0. Are 5 and b nonequal?
False
Let x = 0.3 - -0.7. Let w = 9.19 - 0.19. Let z = 3 - w. Which is bigger: z or x?
x
Suppose -2*j - 14 = 2*m, -2*j = -j + 4*m + 22. Let p be ((-2)/(-4))/1*-2. Which is greater: j or p?
p
Let v(s) = s**3 + 11*s**2 - 13*s - 13. Let d be v(-12). Which is greater: 1/5 or d?
1/5
Let u = 12.25 - 12. Is u less than -0.1?
False
Let w(c) = -c**2 + 4*c + 1. Let s be w(3). Suppose 4*f - p - 2*p = 5, -s*p - 12 = 0. Which is greater: f or -2/7?
-2/7
Let t be 2/10 - 4*2/(-10). Is t less than 1?
False
Let g = -4.6 - -0.8. Let k = g - 1.2. Do 2/5 and k have different values?
True
Suppose -4*g - 12 = -g. Let w = g - -7. Suppose 4*c = -4*y + 20, y - 7*c = -2*c - 7. Is w < y?
False
Suppose -f + 2*r + 10 = 0, -f - 13 = 4*r - 5. Suppose -f*l = -5*a - 3, -8*a = -3*a + 4*l - 13. Which is smaller: a or 1/6?
1/6
Let y(i) = i**3 - 2*i**2 - 1. Let n be y(3). Let h = n - 5. Which is greater: 1 or h?
h
Let p be (3 + -1)*5/1. Let c = 22 - p. Let v be ((-14)/c)/(-7)*-1. Is v at most 1?
True
Let j = 1.2 + -2.9. Let d = j - -0.7. Which is bigger: -2 or d?
d
Suppose -3*l + 5*y = -l - 15, 9 = -5*l - 3*y. Let w(a) = a - 2. Let s be w(l). Which is smaller: -1 or s?
s
Let p = 0 + 5. Let y = 3 - p. Suppose -5 = 2*k - 1. Does k = y?
True
Let j(v) = -v**2 - 2*v + 4. Let m = -8 - -8. Let q be j(m). Is q at least 9/2?
False
Let x = -0.05 + 0.16. Let o = x - 0.21. Are o and 4 nonequal?
True
Let k = -188 + 2066/11. Let b = 12 + -7. Suppose 7*s - b*s = 0. Is k > s?
False
Let l = -3.2 - -3. Suppose -3*f - 4*b = 14, -5*f + 0*b + 3*b = 4. Is f equal to l?
False
Suppose 2*a = 5*d - 8, 2*a - 26 = -34. Let r be (6/4 - 1) + -1. Is d at most as big as r?
False
Let i = 229/175 + -22/25. Let d = -38 + 38. Is i less than or equal to d?
False
Suppose -4*r + 2*b - 12 = 0, 4*r - r + 19 = 4*b. Which is smaller: -2 or r?
-2
Let d(z) be the second derivative of -z**5/20 + z**4/2 + 4*z**3/3 - 4*z**2 + 3*z. Let j be d(7). Is j less than -4/5?
True
Let t = 20 - -4. Let x be 2/(-4)*t/(-9). Which is bigger: -2/5 or x?
x
Suppose 0 = 3*w - 19 + 22. Let b be w/2*14*-1. Which is smaller: 6 or b?
6
Let z = 0 - 0.3. Let g = z + 2.3. Do 3 and g have different values?
True
Suppose -d - 4*o + 10 = 0, -5*o + 22 = 3*d + 6. Suppose 5 = -4*k + 4*x - 7, -k - 4 = -d*x. Which is greater: k or -1/3?
-1/3
Let t(p) = p**2 + 8*p + 6. Let j be t(-7). Which is greater: 1/3 or j?
1/3
Let h(b) = -b**2 - 23*b + 51. Let y be h(-25). Which is greater: y or 0?
y
Let p be (2 + -6 + -2)/(-4). Are p and 2/15 non-equal?
True
Suppose -3*s - 143437 + 5881 = 0. Let t be (s/18)/(7 + 0). Let u = 364 + t. Which is smaller: 1 or u?
u
Let u = -1109/5 - -223. Suppose 5*l + 2*o + 20 = 7*o, 2*l + o - 7 = 0. Which is smaller: l or u?
l
Suppose 3*h = -9, -h = s - 5*h - 12. Suppose -5 = a - s*a. Suppose -2*f - 3*x = -0*x + 24, -4*f - 4*x - 40 = 0. Which is smaller: a or f?
f
Let z = 0.3 + 0.45. Let m = z - 0.7. Let j = m - 0.05. Does -0.1 = j?
False
Let z = -14 - -17. Suppose n + 1 = -z*b - 15, 10 = -2*b. Is n < 2/53?
True
Let f = -0.075 + 0.11. Let x = f - -1.945. Let z = x - -0.02. Is z < 0?
False
Suppose 4*z + 5*k = -13, 8*z + 7 = 3*z + 3*k. Let x = -3 - z. Let o = 186 - 186. Is x >= o?
False
Let z be 22*((-101)/(-2) - 0). Suppose 5*t - 125 + z = 2*f, 3*f = 3*t + 588. Let o be 12/t*(-3)/2. Which is smaller: o or 0?
0
Let i = 11013/1720 + -1/344. Let s = -71/15 + i. Let z(f) = -f + 5. Let l be z(4). Is s not equal to l?
True
Let z = -13 + 13. Let m be (-5 - -1)/2 - 2. Let r be 8/34*m/16. Do r and z have the same value?
False
Let v = -1/33 + 4/11. Let m = 2.9 - 3. Let u = 0 - m. Are v and u unequal?
True
Let c be (-4)/(240/(-27)) - 2/10. Let a be -1 - (-2 - -1*4). Let q = a + 3. Is q smaller than c?
True
Suppose -3*m + 16 = 2*h, -5*h - 2*m + 2 = -4*m. Let w be (2*1)/((-6)/(-9)). Which is bigger: w or h?
w
Let f = 1 + 0. Let d = -85 + 77. Is f smaller than d?
False
Let r = -5 + 10. Suppose -r*x + 2*x = 0. Is -1/4 not equal to x?
True
Let y = -0.248 + -0.022. Is -2/7 at least y?
False
Suppose -n = 3*t - 11, 3 = -n - t + 16. Let d = 19/42 + 3/14. Which is smaller: n or d?
d
Let g = -10 - -7. Let m(f) = 4*f**2 - 10*f + 15. Let l be m(10). Let c be (-159)/l + g/(-5). Is c less than or equal to 1?
True
Let z = -63/8 + 347/40. Let c be (2/(-4))/((-1)/4). Let g be 0 + 0 + c/(-5). Does z = g?
False
Let q = -36 + 38. Let u = 1 - 1. Are q and u non-equal?
True
Let g(i) = i - 12. Let m be g(9). Suppose -21 = w - 4*w. Suppose -3*x + 7 = 5*v, -v + 0*v + w = -5*x. Which is smaller: m or x?
m
Let j = -4 - -4. Which is smaller: j or -2/5?
-2/5
Let g(b) = b**3 - b**2 + b + 1. Let i(v) = v**2 - v + 1. Let h(w) = g(w) - 4*i(w). Let a be h(4). Is a less than -2/11?
False
Suppose 4*k - 8 = 2*l + 2*k, -3*k + 12 = 0. Which is smaller: 2/29 or l?
l
Let h(d) = d**2 - 9*d + 10. Let w be h(8). Suppose -4 - 3 = k - 2*c, 0 = -w*k + 2*c - 6. Let z = -8/9 - -31/45. Is k <= z?
False
Let f = 28 + -19. Let n be (-8)/6*f/(-6). Let p be ((-2)/4)/(2/(-12)). Which is bigger: p or n?
p
Let l be ((-102)/30 + 3)/((-12)/(-75)). Suppose -5*b - 1 = 4*u, -5*b + u + 1 = 7. Which is bigger: b or l?
b
Let j = 1.8 + 5.2. Let h = j + -6.9. Is 0.1 at least as big as h?
True
Suppose -7 = 7*o + 28. Let d = -7 + 4. Which is smaller: d or o?
o
Let v be (-1 - 2)*(-6)/9. Let w be 0 - v - 2/(-4). Are -3 and w nonequal?
True
Let p = -40 - -39. Is 0 bigger than p?
True
Suppose -4*v + 21 = i, 2*i = -2*v + i + 13. Let b be (-6)/v*(-5)/(-30). Is b != 0?
True
Let p = 2 + -2.01. Let t = 0.41 + p. Which is bigger: 1/3 or t?
t
Let d be ((-39)/2)/((-63)/(-12)). Which is greater: -5 or d?
d
Let d be (-91)/(-70) - 1/2. Let l = d - 23/10. Let c(t) = -t**3 + 6*t**2 + 7*t - 1. Let u be c(7). Which is greater: u or l?
u
Let u(t) = 0*t**2 - 3 + 5*t**2 - t**2 - t**2 - 3*t. Let j be u(3). Is 15 > j?
False
Let s = -11.9 - -12. Is -4/5 at most as big as s?
True
Let w be -2 + 1/1 + 1. Suppose 12 = 5*h + 4*s + 53, h - 3*s - 7 = w. Let g(n) = n + 4. Let r be g(-8). Is r less than or equal to h?
False
Suppose -2*l - 26 = -0*l. Is l > -13?
False
Let x = -0.7 - 0.3. Let y = 0.2 + -1.2. Do y and x have different values?
False
Let j be (-168)/(-35) - (2 + 1). Is j smaller than 1?
False
Let o = -2623/54 + 97/2. Suppose -1 = -2*t - c, t - 4*c = -0*t + 5. Which is smaller: t or o?
o
Let s = 18 - 18. Let p = -1/315 + 191/630. Is s greater than p?
False
Let g be 1 + 1/((-1)/(-2)). Let v(h) = -h**2 + 7*h - 6. Let x be v(5). Which is smaller: g or x?
g
Let p(v) = 17*v**2 + 2*v - 1. Let z be p(1). Let n be (-5)/((-15)/z) + -3. Which is greater: n or 2?
n
Let f be 6/12*(-6)/(-1). Is 0 > f?
False
Let z be (-9)/((-2)/(-8)*6). Let h = -11 - z. Which is smaller: -6 or h?
-6
Let i(u) = -3*u + 4. Let b be i(2). Let y = 3 + -4. Which is smaller: b or y?
b
Suppose 0 = -9*p + 11*p - 2. Let t be (p/(-11))/((-6)/(-12)). Is t at most as big as 0?
True
Let f = 1/39 + -587/78. Which is smaller: -7 or f?
f
Suppose 3*v - 3 = 2*b - 13, -4*b = -2*v - 20. Do v and -2/53 have the same value?
False
Let v(k) = k + 21. Let q(a) = -a - 22. Let j(w) = 5*q(w) + 6*v(w). Let d be j(-7). Suppose 0 = 4*h + d + 7. Is -4 at least h?
True
Let u = 5323/13 - 409. Which is smaller: -1 or u?
-1
Suppose 2*o = 3*x + 17, 30 = 5*o + 2*x - 60. Which is smaller: o or -0.1?
-0.1
Suppose 0*q - 3*l = -q - 1, 0 = q + l + 1. Let y be q/3 - (-20)/6. Suppose -2*p + 3 = -7*j + 2*j, -3*j = y. Which is great