an h?
True
Let y be 2/(-5) + 44/10. Suppose -d = -2*d + 2*i, 2*d + y*i = 24. Which is smaller: d or 5?
5
Let h = 0.9 + -0.7. Let z = 0.1 - 0.3. Which is smaller: h or z?
z
Let c = -313477/170 + 14901/10. Let r = c + 354. Is -1 greater than r?
False
Let z be (-12)/(-56) + 2/(-4). Let i(a) = a**2 - 5*a - 7. Let j be i(6). Let y = j + 2. Which is bigger: y or z?
y
Let g be 8/20 - (-39)/15. Suppose -2*k + 2 = -0. Let y = 2 + k. Is g greater than or equal to y?
True
Suppose -4*f = -13 - 47. Suppose 0 = -4*g - b + f, 5*b + 9 + 12 = 4*g. Let n = g - 6. Is n at least -3?
True
Let v = 24 + -24. Let k = -1/47 + 52/235. Do v and k have the same value?
False
Suppose -4*w + 7 = -9. Suppose -2 = -w*p - 50. Are p and -12 unequal?
False
Suppose 13 = 2*q + 5. Suppose -4 = -3*g - 4*p + 27, q*g = 2*p + 12. Is g less than or equal to 3?
False
Let j be ((-11)/(-22))/(127/4). Are j and 1 non-equal?
True
Suppose g - 297 = 51. Let d = g + -3128/9. Let x = 8 + -9. Which is smaller: d or x?
x
Let v = -0.2 + 0.2. Which is bigger: 4 or v?
4
Let b be (1 - -11)/((-4)/(-6)). Suppose 3*d - n - 14 = 0, 3*d - 7 + b = -4*n. Let h be -1 - (0 - d/4). Which is bigger: h or 0?
0
Let q = -9.1 - -9. Which is smaller: 0.4 or q?
q
Suppose -3*g + 10 = -0*g - 2*u, -5*u + 9 = g. Suppose g*o + 5*d + 1 - 13 = 0, o - 2*d = -10. Let j be (o - 0)/2 + 2. Is 0 <= j?
True
Let g(y) = 4*y - 16. Let b be g(4). Is b bigger than 2/57?
False
Let s = 0.03 - 0.33. Suppose 6 = 3*d - 3. Let m be 1/d + (-4)/(-6). Which is smaller: m or s?
s
Let g = 3.4 - 0.2. Is g < 0.1?
False
Let i(h) = -h - 8. Let c be i(-11). Suppose -4 = u - 5*u. Suppose -u = -2*v + c. Is 0 < v?
True
Suppose 2*o = 4*o. Let b = -7194/7 + 1031. Let r = b - 57/28. Is o greater than or equal to r?
False
Let s = 0.417 - -0.003. Let d = s + -4.62. Let m = -4 - d. Are m and 0 non-equal?
True
Let o be (0 - 0) + (-1 - -5). Let a be 6/(-10) - (4 - o). Are a and -2/3 nonequal?
True
Let g = 3.9 - 3.4. Is -0.2 <= g?
True
Let m = 110 + -113. Does m = -4?
False
Suppose -1 = 2*q - 5. Suppose -q*x - 2 = -l, 5*l - 6 - 4 = -3*x. Let u = 1469/8 + -184. Which is smaller: u or x?
u
Suppose 0 = -3*r + 12, -3*r = 3*v + 2*v - 37. Suppose 2*i - 2 = -2*x + 30, 3*i + v*x - 58 = 0. Is i != 11?
False
Let r = 13 - 18. Let u = 7 + r. Let m = u + -4. Is m less than 2/5?
True
Suppose 7 = -3*u + 1. Let d be 2 + 2 + 1 + u. Let t be (-8)/(-12) + (-5)/d. Is 0.1 < t?
False
Let i = -3/187 - -769/1309. Which is smaller: i or 0?
0
Let l = -23 + 45/2. Let y = 19/4 - 5. Is l smaller than y?
True
Suppose -9 = 2*x - 23. Are 6 and x equal?
False
Let x(o) = -8*o + 17. Let j be x(6). Is j not equal to -30?
True
Let f = 190 + -190. Are -113 and f nonequal?
True
Let g = -7 + 269. Let n = g + -1314/5. Is -2 greater than or equal to n?
False
Let v = -14 - -14.5. Let i = 10 - 12.9. Let z = 3 + i. Is v > z?
True
Let c = 5.7 - 6. Let q = c - -0.5. Is 1 >= q?
True
Let z = -2 - 0. Let j be 0 + 1 + (-15 - z). Let f be j/4 - (-2)/2. Which is bigger: f or -7/3?
f
Let b(s) = s**3 + 7*s**2 + 6*s + 6. Let w be b(-6). Suppose w*j - j = -20. Let h be 1*3*-2 + 1. Is j greater than h?
True
Suppose -3*q = 6 - 18, -12 = -t - 4*q. Let m be (t + -4)*(-3)/(-4). Let z be (-34)/30 + (-2)/m. Which is smaller: 1 or z?
z
Suppose -5 + 9 = o. Let r be 1/(o - 3 - 2). Which is smaller: r or 3?
r
Suppose 3*h - 2*k = 14, -5*k - 17 = 4*h - 51. Let f be 3/(-9 - -3)*h. Is -2 >= f?
True
Suppose 0 = 3*m + 3*m + 72. Which is bigger: -13 or m?
m
Suppose -44 = 2*f + 20. Let v = f - -129/4. Let h(w) = -w - 20. Let a be h(-20). Which is bigger: v or a?
v
Let j be (-2)/(4/(-2))*-1. Let r be 2/j - (4 - 6). Let c be (r/(-1))/(2/(-2)). Which is bigger: -2/3 or c?
c
Let l be 680/224 + 3*-1. Which is smaller: l or -1?
-1
Let b = -208.02 + 211. Let h = 3 - b. Let q = h + 1.98. Which is smaller: -2 or q?
-2
Suppose -4*t + 16 = -2*v, 3*t + 4*v = 5*t - 20. Let j(g) = -g**3 + 1 + g**3 + 2*g**3 - g**2. Let q be j(1). Are q and t non-equal?
False
Let z be (6/(-8))/((-180)/32). Is -1/2 smaller than z?
True
Let w be -1 - (-27)/(-21)*-1. Let g be ((-1)/2)/(1/2). Which is smaller: g or w?
g
Let k = 18 - 17.77. Are k and 2/9 equal?
False
Suppose m - 7 = 23. Is -2/7 at least m?
False
Let c = -293 - -308.9. Let p = 16 - c. Does 1/6 = p?
False
Suppose 3*v = -4*y - 5, -4 = y + 5*v - 24. Let m be (1/y)/((-4)/(-10)). Let i = 10.9 + -11. Is m at least i?
False
Suppose -5*v = -6*v + 5, 4*g - 5*v - 459 = 0. Let r = g - 607/5. Which is smaller: 0 or r?
r
Suppose -23 = -4*l - 3. Suppose 0 = -3*p - 15, p = 3*t + t - l. Let y be (-7)/7 + 2/3. Is t at most y?
False
Let p(j) be the second derivative of -j**5/20 - 3*j**4/4 - j**3/6 - 13*j**2/2 + 3*j. Let a be p(-9). Let t(d) = d**2 + 3*d - 3. Let v be t(a). Is v < -1/5?
False
Let w = 5.11 - 0.11. Let d = 64.1 - 64. Which is smaller: d or w?
d
Suppose 5*n = -2*m + 31, 2*n + 0*m - 1 = 3*m. Let w(l) = 4*l**2 - l + 1. Let p be w(1). Which is smaller: p or n?
p
Let k = -23 - -21. Which is greater: k or -4/5?
-4/5
Let f(w) = -w**3 + 2*w**2 - 5*w + 2. Let v be f(1). Suppose t + 4 = -t, h - 2*t - 3 = 0. Let i be 8/(-14)*3 - h. Are v and i unequal?
True
Suppose 2*r + 16 = 6*r. Suppose z + r*z = 5. Let g = -4 - z. Which is smaller: g or -6?
-6
Let s = -595 + 595.2. Let r(m) = -m + 4. Let c be r(-5). Which is greater: c or s?
c
Let n = 1014/7 - 144. Let w = n - 25/21. Suppose -3 = -f + 3*k, 4*f - 2*k - 6 = 2*f. Is f less than w?
False
Let f = 53 + -51. Which is smaller: -0.08 or f?
-0.08
Suppose 0 = r - z - 3*z + 17, 3*r = 2*z - 1. Suppose 4*x + 2 + 18 = 0. Let p = 5 + x. Is r at most p?
False
Let m = -0.65 + 0.55. Let a be (0 + (-1)/2)*-1. Do m and a have the same value?
False
Suppose -5*s - 8 = -2*l + 10, -20 = -3*l + 4*s. Let c be 1 - l - 21/(-18). Which is smaller: -1 or c?
c
Let i be 2 + (1 - 0) - -9. Let y be i/(-20) - 9/(-15). Which is smaller: 1/2 or y?
y
Let u(s) = s - 6. Let x be u(6). Suppose -3 = 4*c + 1. Let f(k) = 2*k**2 + k. Let g be f(c). Which is greater: x or g?
g
Suppose -2*i - 9 = -7. Let q be -1*(0/i + 1). Let z be (-1)/(0 + 3)*3. Is q equal to z?
True
Let r be ((-21)/(-9))/((-1)/12). Let p = r - -4. Let a be ((-1)/(-2))/((-6)/p). Which is greater: a or 2/3?
a
Let w(y) = 10*y + 59. Let s be w(-6). Let c = -6/5 - -19/20. Is c less than or equal to s?
False
Let b(u) = u**3 + 9*u**2 + 20*u + 5. Let t be b(-4). Suppose 0 = -3*c - 2*j - 5 + 19, -6 = -2*c + 2*j. Is t at least as big as c?
True
Let p = -3 - -3.1. Let l = -2 + 5. Let a be l/1*3/(-9). Which is smaller: p or a?
a
Let r = -45.9 + -13.1. Which is smaller: 1 or r?
r
Let f be (-4)/(-10) + (16/15)/4. Is f < 3.1?
True
Suppose 0 = -4*u - 5*l - 50 - 51, u + 4*l + 39 = 0. Let d = u - -12. Let n = -6 - d. Which is smaller: n or 3/4?
3/4
Let y(x) = -x**2 - 9*x + 4. Let d be y(-9). Let s = -8 + 11. Is s at least d?
False
Suppose -4*o + 2 = 2*g, -g - 5*o = -0*g - 4. Let z be 6/9*(-6)/10. Do g and z have the same value?
False
Let n = 6.9 - 6.5. Which is smaller: n or 1/3?
1/3
Let j be (-92)/42 + (2 - 2). Let z = -1604 + 11208/7. Let y = z - j. Is y less than or equal to 0?
True
Suppose -22 = 3*s + 2. Let y = 5 + s. Let q(n) = -n**2 + 7*n + 5. Let p be q(8). Is y bigger than p?
False
Suppose -2*v + v = 0. Suppose -p - 3*p + 12 = v. Does -1/4 = p?
False
Suppose -2*q + 39 = -5*m + 2*m, 3*m + 42 = q. Which is smaller: m or -14?
m
Suppose -9 = 4*c + 11. Which is smaller: c or -6?
-6
Suppose -3*m = -28 + 31. Let h be ((-1)/(-12))/((-2)/(-3)). Which is greater: m or h?
h
Let p = 7 - 5. Let g be p/6 - 8/6. Is g < -1?
False
Let f be 4/(-6)*(-3)/(-5). Let q be (-2)/(2/(-19) - 0). Let k = q - 20. Are f and k unequal?
True
Let v = -43 + 41. Is v less than or equal to -8/7?
True
Suppose 31 + 14 = -3*v. Let q be 3 + -2 + v/21. Which is greater: -0.1 or q?
q
Let n be (16/(-12))/((-2)/3). Suppose 3 = -n*r - 3. Let v be (-2 - -1) + r + 3. Which is smaller: v or -2/9?
v
Let y = 11 - 17. Let v = y + 6. Let o be 4/14 - 80/(-14). Which is greater: v or o?
o
Let w = 8 - 6. Let x = 64 - 64. Which is bigger: w or x?
w
Let f be (3/(-10))/((-27)/12). Which is bigger: f or -1?
f
Suppose 7*j - 4*j = 0. Let y(v) = 4 - 6*v - v**3 + 8*v**2 + v - 4*v**2. Let o be y(3). Which is smaller: j or o?
o
Let y = -0.4 + 0.4. Let w(h) = h + 4. Let t be w(-7). Let d be 3 + (-512)/84 - t. Which is