 Let i = -0.12 - -0.22. Are i and r equal?
True
Let v = -2/71 + 99/994. Let q = -24 - -25. Which is smaller: q or v?
v
Suppose 6*m - 23 = -5*l + 4*m, 20 = 5*m. Let t = 12 + -10. Is t less than or equal to l?
True
Let i(v) = 2*v - 11. Let f be i(6). Let x = 177 - 1237/7. Which is greater: f or x?
f
Let b = -45 + 197. Let h = 1066/7 - b. Which is bigger: -2 or h?
h
Let j = -112 + 123. Are 9 and j unequal?
True
Let f(g) = g**2 + 11*g - 15. Let o be f(-11). Is -17 less than o?
True
Let o(t) = 0 + 3*t + 0*t**2 + t**2 + 2*t - 2. Let n be o(-7). Is n at most as big as 0?
False
Let q be (6/20)/(36/(-10)). Is 1 at least as big as q?
True
Suppose s + 1 = 2*s. Suppose 4*q = s + 3. Let b be (-1)/2*(-1)/(-4). Which is bigger: b or q?
q
Suppose 0 = 10*r - 5*r + 5. Let h be 5*1/(-4) - r. Which is smaller: -5 or h?
-5
Let u(x) = x**2 + 4*x - 3. Let o be u(-5). Let c be (-26)/10 - (-6)/3. Is o not equal to c?
True
Let l = 46 + -43. Which is bigger: l or 4?
4
Let r(p) = -p - 5. Let k be r(-6). Let g be (12/(-8))/(k/2). Is g bigger than -2?
False
Let o(v) = 2*v + 11. Let t be o(-5). Let i = 2042/5555 - 2/505. Which is smaller: i or t?
i
Let f(d) = d**2 + 3*d - 8. Let x be f(-6). Suppose x = 3*r + 4. Is r less than 1?
False
Let f = 1 - 1. Let x be (-3 + 2)*(-12 + -4). Let m be (x/(-320))/((-1)/2). Is m less than f?
False
Let v = 3.83 - -0.17. Is 2/5 at most as big as v?
True
Let l(q) = 4*q**2 + 4. Let k be l(-4). Which is greater: k or 1?
k
Let i = 9 + -14. Let x = i - -5.1. Are -3/4 and x unequal?
True
Let s be ((-18)/8)/((-5)/(-40)). Let y be ((-6)/16)/(s/8). Which is smaller: y or 1?
y
Let h = 56 - 387/7. Let k be 1/((-3)/(-4 - -1)). Is h at most as big as k?
True
Let c(f) = -f**3 + 7*f**2 - 2*f + 14. Let i be c(7). Let w(g) = g**3 + 7*g**2 - g - 8. Suppose -3*a - 28 = a. Let p be w(a). Which is smaller: p or i?
p
Let w be (-6)/8 - (-92)/16. Suppose 0 = w*n + 6 - 16. Let c be 0/(-2 + 4) - -3. Does c = n?
False
Let y = -5 + 4.95. Let u = 0.4 + -0.3. Which is smaller: y or u?
y
Let n(h) = h + 4. Let u = -19 + 11. Let x be n(u). Let j = x - -3. Which is smaller: -3/7 or j?
j
Suppose -m + 6 = m. Suppose -2*c + 15 = m*c. Is c less than or equal to 5?
True
Let s be (3/63)/(6/234). Which is smaller: 1 or s?
1
Let t be 25/(-10)*(-1 + 3). Which is smaller: -11/2 or t?
-11/2
Let o = -72 + 63. Is o greater than -9?
False
Let n(r) = 16*r + 2. Let a be n(-2). Let l be (-5)/a - (-23)/6. Is l < 3?
False
Suppose 5 = -3*k - 1. Let o = 8/11 - 5/22. Is k bigger than o?
False
Suppose -2*v = v. Suppose v = -q + 2 + 4. Let b = q + -1. Is b greater than 4?
True
Let d be (8 + -10)*(-1)/5. Suppose w + 8 = 4*k, -w - 4*k + 8 = 2*w. Are w and d non-equal?
True
Let l(f) = f**2 - 7*f - 10. Let m be l(9). Let c = -13 + m. Let q be ((-4)/(-6))/(2/c). Is q at most -3?
False
Let d(t) = -t + 12. Let u be d(12). Suppose u*i - i = 6. Is i < -6?
False
Suppose 3*y = 2*y. Let f = -329/4 - -27. Let a = f - -55. Which is smaller: y or a?
a
Let n = 3 - -6. Is n less than 0?
False
Let o = 0.5 + 0.2. Is -2 less than or equal to o?
True
Let l be 4/8*(-1 - -1). Let z be l/(-2) + (-6)/(-15). Is 0 at least z?
False
Suppose 16 = -5*s + 6. Which is smaller: s or -4/7?
s
Let a be -2*((-7)/(-2) - 2). Do -3 and a have the same value?
True
Suppose -37 = 4*l + 5*d, -9*d = 5*l - 5*d + 44. Which is bigger: l or -33/4?
l
Let m(c) = -c**2 + 8*c - 7. Let f be m(7). Suppose 4*q - 6 = 2*y, 0 = -y - f*y - 4*q + 21. Suppose y*t = t. Is t > 2/5?
False
Suppose 0 = 2*h - q + 3 + 5, 5*h - 3*q + 18 = 0. Suppose 2*z = -2*u - 6, 3*z = 3 + 3. Which is smaller: h or u?
h
Suppose 61 = 2*i - 3*f, -4*i + 88 = -3*f - 25. Is 26 at least i?
True
Let a = -5.9 - -6. Let n = 0.1 + a. Is 0.1 bigger than n?
False
Let p = -26 - -47. Which is smaller: 22 or p?
p
Let s = 0 - 6. Let t = 3 + s. Are t and -2 nonequal?
True
Let w be (2 + (-4 - -3))/1. Is w <= -3/16?
False
Suppose -2*h - 2*r - 10 = 0, 3*h - 5*r = -2*h + 25. Suppose h = 3*v - 6*v - 3. Is v != -1?
False
Suppose -5*x = -0*x + 10. Let h be -2 + 3 - x/(-4). Does h = 1?
False
Let j = -226 + 157. Is -69 smaller than j?
False
Suppose -2 = -u - 2*g - 8, 4*g = -12. Suppose 2 = -4*s - u*o + o, -2*o + 4 = -4*s. Let r = s + -1. Is 1/5 equal to r?
False
Let v be (-1 + (-114)/(-4))*(-20)/(-175). Which is bigger: -0.1 or v?
v
Let r be ((-12)/9)/(7 + -11). Let w(k) = k**3 + 5*k**2 + 4*k - 1. Let d be w(-4). Is d not equal to r?
True
Let x = 38 + -39. Is -1/32 equal to x?
False
Suppose 27 = u - 4*u. Suppose 395 - 431 = 4*n. Is u <= n?
True
Let x(p) = -p**2 - 6*p - 6. Let q be x(-4). Suppose 4*v = -t + q, t = -t + 4. Suppose 4*y + 4*z = -12, 3*y - z + 1 - 12 = v. Is 2 < y?
False
Suppose p + 3 = -3. Let o(y) = -y**2 + y + 1. Let a be o(-2). Do a and p have different values?
True
Let c(j) be the second derivative of -j**4/12 + j**3 - 2*j**2 - 7*j. Let i be c(5). Is i at most as big as 1?
True
Suppose 0 = -3*l - 12, -5*m = 4*l - 9*l + 35. Is m less than or equal to -12?
False
Let u = -0.4 - -0.5. Let y be (-115)/(-100) + (-1)/(-4). Is u at most as big as y?
True
Let n be (3 - 2/(-6))*-3. Let m be (-6)/(-10) + n/(-25). Which is smaller: -1/5 or m?
-1/5
Let i be (-11)/(-22) - (-1)/(-2). Suppose -3 = 4*p - p. Which is smaller: p or i?
p
Let j(l) = -19*l + 1. Let r be j(-1). Suppose 2*a = -5*b + 30, -2*b - 2*a = -0*b - 18. Let k be (-38)/90 + b/r. Which is bigger: 0 or k?
0
Suppose -3*x = 15, -2*k + 0*k - 12 = 2*x. Let o = -1 - k. Which is greater: o or -1/30?
o
Let j = 27 + -16. Is 81/7 not equal to j?
True
Let h = -27 - -107/4. Suppose 2*n + 3*u - u + 4 = 0, -3*u - 21 = -2*n. Let a = -2 + n. Is a less than or equal to h?
False
Suppose -6*h + 4*h + 10 = 0. Let s be (2/h)/(3/(-5)). Which is greater: s or -2?
s
Let h = -11 - -10. Is h >= -1/39?
False
Suppose 63 = -0*b - b. Let t be (-1 - 2901/b) + 2. Let n = -142/3 + t. Is -1 > n?
False
Let k be 4/22 - 92/22. Let d be (4/(-15))/(k/(-10)). Which is greater: -2 or d?
d
Let s(p) = -p**3 + 5*p**2 + 6*p - 6. Let l be s(6). Let f = -5 - l. Is f at least -2/19?
True
Let b = -100 + 100. Which is greater: b or -1/14?
b
Suppose 2*q + 3*r = 4, -5*r + 10 = 2*q + 3*q. Suppose q*s = -s + 6. Let n(m) = 2*m - 3. Let z be n(s). Which is bigger: z or 3?
3
Let k be 0/1 + (-4)/(-12). Which is smaller: k or -1/2?
-1/2
Suppose 2*p + 18 = -5*m, m = 5*p - 0*m - 9. Let f be (2 + -8)/((-6)/(-18)). Let z be ((-3)/f)/(6/(-8)). Is z smaller than p?
True
Suppose 4*q + 7 = 5*q. Is q not equal to 7?
False
Let k = 0.03 + 2.97. Let s be 4/(-2)*(-3)/6. Is k greater than or equal to s?
True
Suppose s = 4*s + 12. Suppose 0 = 4*d + 16 - 0. Is d less than s?
False
Let f = -1/41 - -130/287. Let y = 15 - 15. Which is greater: f or y?
f
Let c be (-1)/((2 + -5)/264). Is 89 greater than or equal to c?
True
Let m be (-481)/130 + (-2)/(-4). Is m greater than -3?
False
Let f = 1 + 16. Which is smaller: 0 or f?
0
Let s = 38 + -24. Let n = -12 + s. Which is smaller: n or 1/2?
1/2
Let q(v) = v**2 + 8*v + 4. Let k be q(-8). Which is smaller: 3 or k?
3
Let p = -7.3 + 7.3. Is p != 1/125?
True
Suppose -3 = 3*h, -g - 3*h + 2 + 5 = 0. Let b = g - 10. Which is smaller: -5/4 or b?
-5/4
Let h = -110 + 68. Which is smaller: -1/2 or h?
h
Suppose -4*t + 0 = -8, 5*x + t - 2 = 0. Suppose -2*a + p + 11 = x, -4*a + 4 = -p - 17. Suppose k + 12 = 3*k. Which is smaller: a or k?
a
Suppose 0*j - 14 = 4*w - 5*j, -w = 3*j - 5. Is -2/41 bigger than w?
True
Let p(l) be the first derivative of -2 + 1/2*l**2 + 3*l. Let o be p(-2). Is 2 bigger than o?
True
Suppose 108 = -2*d - 3*d - 3*g, -5*d = -3*g + 102. Let f be 0 + ((-6)/d)/(-2). Is f > 1/4?
False
Let v = 28.4 - -5.6. Which is smaller: 1 or v?
1
Let t(q) = -q**3 + 4*q**2 + 6*q + 8. Let h(k) = -k + 2. Let g be h(-4). Let y be t(g). Let j = y + 113/4. Which is smaller: j or -1?
-1
Let c be ((-2)/(-1) + -2)/2. Is -2/13 equal to c?
False
Suppose -1 = 4*w - 3*d - 5, 0 = d - 4. Suppose a + w = -3*a - 2*f, -3*f - 6 = a. Suppose 2*l + 5 - 3 = a. Which is smaller: -1/2 or l?
l
Let z = -0.128 - -1.128. Is z smaller than -20?
False
Suppose -5*m + 4*o = -201, 3*m + 5*o = -0*m + 128. Suppose -h = -0*h + 5*l - 15, -4*h = l - m. Let n = h - 15. Is n smaller than -5?
False
Suppose 3*s - 22 + 1 = 0. Let r(g) = -g**2 + 7*g - 8. Let l be r(s). Let o be (-5)/(-7) + l/(-28). Which is smaller: 0 or o