or -10?
-10
Let b(o) = -12*o**2. Let q(i) = i + 3. Let y be q(-4). Let k be b(y). Let v be -2 + ((-39)/k - 1). Do v and 1 have different values?
True
Let u(r) = 2*r - 4. Let m be u(3). Let y be -2*m + (-8 - -10). Let c be 0 - 2 - 1 - y. Do c and -3/7 have different values?
True
Let d = -13 + 5. Let h be 35/d + 3 - -1. Is h smaller than -1?
False
Let h(c) = 4*c - 44. Let t be h(11). Are t and -6/31 non-equal?
True
Suppose 5*c = c. Let h = 11 + -13. Which is smaller: h or c?
h
Let h = -25 + 16. Let z be 4/h*8/16. Is 1 <= z?
False
Let q = 7 - 37/5. Let y(b) = b**2 - 11*b + 11. Let n be y(10). Is q not equal to n?
True
Let x = 991863391/22 + -45092649. Let f = x - -7951. Let r = f + -1/11. Is 3 less than or equal to r?
False
Suppose 3*c = f - 15, 2*c = 3*c - 1. Suppose f = 5*z - 3*k, -4*z - 6 = -7*z + 3*k. Suppose -p + z = 5. Is p less than 2/13?
False
Let s = -137 - -127. Is s greater than 0.3?
False
Let p = -0.15 - 0.05. Let t = -0.1 - p. Is t <= 4?
True
Let y = 33 + -63/2. Let u = -0.06 - 0.04. Is u equal to y?
False
Let b = 192 + -244. Which is greater: -53 or b?
b
Suppose -11*b = -12*b - 3. Which is bigger: b or -2?
-2
Let d = -21 - -25. Suppose d*h = 2*h. Which is greater: h or -3/10?
h
Let g = 86 + -38. Is 0.1 <= g?
True
Let k be (-8)/(-14) + 15/35. Let n be (((-9)/(-12))/k)/(-3). Is n at most 2?
True
Let o = 5 - 9/2. Let v = 0.01 + 0.39. Let g = 2.4 - v. Is o bigger than g?
False
Let x = 2 - 1. Let u = -1.3 - -1.5. Is x > u?
True
Let p = 33 + -167/5. Let w(h) = -h**2 - 2*h. Let s be w(-2). Is s at least p?
True
Let u = 8 - 4. Which is bigger: 5 or u?
5
Let z(l) = -10 + 2*l**2 - l**2 - 1 - 1 - 9*l. Let v be z(10). Let b(d) = -d - 8. Let u be b(-7). Are u and v unequal?
True
Let m be (-2)/(-6)*(3 + -3). Which is bigger: m or 1/41?
1/41
Suppose 2*l = -5*t + 9, 4*t = -t - 3*l + 6. Let h be ((-3)/(-2))/((-15)/(-20)). Which is smaller: t or h?
h
Let a(b) = b**3 - 5*b**2 - 9*b + 15. Let m be a(6). Which is smaller: m or 1?
m
Let m(q) = q**2 - 28*q - 94. Let k be m(31). Let d(g) = -g + 3. Let b be d(3). Is k greater than or equal to b?
False
Let o(x) = x**2 + 11*x + 10. Let n be o(-10). Let m be (n - 0)/(-1 - 1). Let u = -95 + 761/8. Is m <= u?
True
Let l be ((-528)/(-99))/(1/3). Let g be -2 - 1*-4 - -14. Does l = g?
True
Suppose 5*q = -2*w - 16, 0 = -4*w - 3*q - 2*q - 12. Suppose 8 = j + 3. Let c = j + -2. Which is smaller: w or c?
w
Let q be 3 + -3 - 0/1. Let j be 3/2*12/9. Let d = 0 - j. Which is smaller: d or q?
d
Let r(g) = 0*g**2 + 3 + 1 + 3*g + g**2 + 3*g. Let f be r(-4). Is f less than -5?
False
Let g = 43 + -26. Do g and 17 have different values?
False
Let k(y) = -2*y + 1. Let x be k(2). Does -5/3 = x?
False
Let g be (-1290)/(-65) + 2/13. Is 41/2 equal to g?
False
Let h be 0 - 3 - (7 - 9). Which is smaller: h or -4/19?
h
Suppose -1 - 5 = -2*u. Let f(n) = n + 9. Let a be f(-7). Suppose a*k = s + 10, 14 = 4*k - 0*s + s. Which is smaller: u or k?
u
Let b be 2/4 + (-3)/2. Let o be ((3/(-5))/1)/b. Which is bigger: 0 or o?
o
Let s = -9.1 + 0.1. Let v = s - -4. Let u = 1 + v. Is -0.1 greater than u?
True
Suppose 3*k - 5*t - 19 = 7*k, k + 3*t + 10 = 0. Is k != -5?
True
Let z = -57/2 - -26. Suppose -u + 2 - 4 = 0. Is z less than u?
True
Let u = 231 + -2081/9. Suppose -3*m + 0 = s - 5, 4*m - 4*s = -4. Which is smaller: u or m?
u
Let z be 0/(1/(2/4)). Let d be -1*z/(2 - 0). Suppose d = -u - 4*k + 5, 2*u - u - k = 0. Is 0 smaller than u?
True
Suppose 2 = -2*r + 3*r. Suppose 0*q + r*j = -q, -3*q - 10 = -4*j. Let t be (q - 5) + -1 + 2. Is -5 equal to t?
False
Let s(m) = 4*m - 8. Let p be s(2). Let v be 1/(1*1/(-3)). Let w = v + p. Is w bigger than -3?
False
Let s = -12 - -23. Let u(a) = -a**3 + 10*a**2 + 11*a + 3. Let f be u(s). Which is smaller: 6 or f?
f
Let d = 24 + -20. Is d less than 10/3?
False
Let v be 4/12*12/2. Do -32 and v have the same value?
False
Let q = 1 - 0. Let m = -35/19 - -3096/1691. Let v = 85/356 - m. Which is greater: q or v?
q
Let x = 12 - 18. Let p be (9/x)/(-3)*0. Let a = 16.93 - 17. Which is greater: p or a?
p
Let b = -6 - -4. Let l = b + 7/4. Is -1/4 < l?
False
Suppose -2*d - 2 = 6. Let g(r) = -r - 3. Let i be g(d). Let k be ((i - -1) + -3)*-1. Is 0 not equal to k?
True
Let j = -8 - -8. Suppose j = -2*u - 5 - 5. Is -5 <= u?
True
Let k(b) = b**2 - 2. Let g be k(0). Let c be (1 + g)*1*1. Which is smaller: c or 1/5?
c
Let t = -1.97 + -0.03. Let c = t + 5. Which is smaller: c or 1/3?
1/3
Let y be 1/(-15) - (-2)/(-6). Let n be (-3)/6 - 5/(-2). Suppose -n - 1 = -3*g. Which is smaller: g or y?
y
Let y = -4 - -8. Let r be 3/26*y/(-3). Let z(i) = -i**2 + 6*i - 4. Let h be z(5). Does h = r?
False
Let r be (1 + -3)/2 - -8. Suppose 2*z - r*z = -30. Let b be (z/(-4))/1 - -1. Which is greater: b or -2?
b
Let l = 33/2 + -299/18. Which is greater: l or -1?
l
Let t = 11 - 34/3. Is t at least 2.6?
False
Suppose -2*x + 2*k = -12, -x = 2*k + 5 - 11. Let p = -6 + 8. Suppose -x*b = -p*b. Which is greater: b or 1/2?
1/2
Let l be (-6)/7 - 0 - -2. Is l < 1?
False
Suppose -2*d = -3*d - 5*d. Which is greater: d or -12/31?
d
Let f = -369/5 - -75. Which is smaller: 1 or f?
1
Let o = -95 - -123. Which is bigger: o or 27?
o
Suppose 0 = -0*u - 3*u - 162. Is u greater than -54?
False
Let g = 6 - 3. Suppose 1 = i + g*f, -5*i - 3*f - 1 = 6. Are i and -3 equal?
False
Let d = -4 + 6. Suppose -3*c - d*c - 5*m = 20, -5*m - 12 = -3*c. Let j be 3 + -4 + c/(-3). Which is greater: j or 0?
0
Let a(b) = -3*b - 17. Let n(w) = w - 1. Let u(d) = -a(d) - 2*n(d). Let p be u(0). Suppose -3*j = -5*v + 12 - 0, 5*v = -4*j + p. Is -2/11 != j?
True
Let m be ((-8)/(-2))/(0 - -1). Suppose 2*q + 3*q + m = 2*y, -y + 2*q = -2. Is 3 != y?
True
Let h be (-16)/12*(-1 + -2). Let n be 5 + (1/(-5) - (-19)/(-5)). Are h and n nonequal?
True
Suppose 0 = -7*u + 5*u + 124. Let y be u/(-6) + 4/12. Does y = -10?
True
Let q = -3.26 + 0.882. Let y = q + 0.408. Let o = 0.03 - y. Which is smaller: o or 2/7?
2/7
Let h be 0/(-2*(-1)/(-2)). Suppose k + 1 - 4 = h. Is k != 4?
True
Suppose -l - l = -4*p, 5*l - 10 = 0. Is p at most as big as 2/5?
False
Let h = -5.8 + 5.6. Is 1/5 smaller than h?
False
Let b = 1 + -1. Let r be (10/(-21))/(24/36). Let m = -18/35 - r. Is m not equal to b?
True
Let m = 0.51 - -0.04. Which is smaller: 1 or m?
m
Suppose -5*h + 2*h = 4*l - 43, -4*h = -2*l - 94. Suppose -5*z + h = -2*z - 5*k, -5*z - 5*k - 5 = 0. Let y = -4 + 6. Is z greater than y?
False
Let m = -220 - -1104/5. Let q = 15 - 13. Is q greater than m?
True
Let z be (24/(-9))/((-2)/(-6)). Let n be 76/(-190) + (38/(-5))/1. Is z greater than or equal to n?
True
Let h be 24/(-90)*(-3)/(-2). Which is smaller: -1 or h?
-1
Let c = -794 + 21434/27. Which is greater: c or -1?
c
Suppose 0 = 5*h + 2*u + 2, -4*h + 0*u = 3*u + 3. Is 3/32 > h?
True
Let u be ((-2)/6)/(5/25). Which is smaller: 1/2 or u?
u
Let s = -0.02 - -4.02. Let q = -53 + 48.9. Let p = q + s. Is p at least as big as 1/6?
False
Let m be 3*(4/3 - 0). Suppose -2*t - m = -3*r - 3*t, 0 = 4*r + 5*t - 9. Do -1/4 and r have different values?
True
Let l = -39 - -41. Which is greater: -4 or l?
l
Let y be (-9)/(-18) + 17/(-2). Which is smaller: -7 or y?
y
Let i = -34 - -239/7. Let d be (-1)/(16/12 - 1). Let j be (d/(-4))/((-27)/24). Which is greater: j or i?
i
Let r = 1.1 + 0. Let n = r - 0.1. Is n less than or equal to -3?
False
Suppose 2*h + 2*h = -8. Let u be h/6 + (-13)/(-21). Suppose 0*b - 1 = -b. Is b at most as big as u?
False
Suppose -v = 4 + 11. Do v and -15 have different values?
False
Suppose -3*s = -7 - 2. Suppose -55 = -8*a + s*a. Which is bigger: -0.1 or a?
a
Let j = -44 - 264. Let f be ((-10)/(-42))/(1/(-1294)). Let h = j - f. Is 1 at most as big as h?
False
Let d = -71 - -71.03. Are d and 0.1 non-equal?
True
Suppose 2*v + 5*b = 25, 3*v + 3*b - 10 = b. Suppose -d + v*d - 9 = 0. Do -8 and d have the same value?
False
Let l = -23.907 + -0.093. Which is bigger: -2/9 or l?
-2/9
Suppose 0*l = -4*l - 4*q, -3*l = -q. Suppose l = -z + 2*m + 4, 4*z - 3*m = 2 + 4. Suppose -4*x = 5*u - 15, -2*x = 5*u - z*x - 15. Which is greater: u or -2/3?
u
Suppose 7*a = 2*a + 95. Is a less than 19?
False
Let a(h) = 2*h + 2. Let c be a(2). Suppose -c*x + x = 0. Let u = -2/17 + 61/85. Which is smaller: x or u?
x
Let j(m) = -m**3 + 8*m**2 - 8*m + 5. Let v be j(7). Is -1 at least as big