 Do r and 33 have the same value?
False
Let v be -1 - -1 - 196/(-180). Let s = -6/5 + v. Which is bigger: s or 0?
0
Suppose -25 = -5*x + 5*t, -5*x - 4*t = -4 + 24. Suppose 0 = 5*r - x*r + 25, 3*f + 4*r = -17. Is 0 != f?
True
Let r(l) = 12*l + 5. Let j(x) = 11*x + 4. Let b(m) = 6*j(m) - 5*r(m). Let c = 0 + 1. Let k be b(c). Which is smaller: k or 4?
4
Let y be (-5)/(-25) - (-38)/(-90). Is 1.1 smaller than y?
False
Let i = 0 - 0. Let d = 0.35 + -0.25. Which is smaller: i or d?
i
Let f(c) = -11*c - 4. Let w be f(-4). Suppose -2*k + w = -0*k. Let g = -41/2 + k. Which is smaller: g or 1?
g
Let r be (-12*3/(-6))/(-2). Let q be (r/9)/(5/(-30)). Which is greater: q or 3?
3
Let d(s) = -2*s**2 + 2*s - 2. Let f be d(1). Suppose 2*t + 6 = -0. Which is bigger: t or f?
f
Let h be 2/4*2 + 1. Let a be (-12840)/54 + (2 - h). Let q = -238 - a. Which is smaller: q or 1?
q
Let n(u) = -u**2 + 3*u + 5. Let k be n(4). Suppose 3*g + 5 + 16 = 0. Let y be (-2 - -2) + (-2)/g. Is k greater than or equal to y?
True
Suppose 4*u + u = 20. Let x = -25 + 24. Is u less than x?
False
Let l = -0.33 + 0.13. Let n = l - -4.2. Is n equal to 2/5?
False
Suppose 2*r = -5*p + 2*p + 9, 6 = -5*r + 2*p. Is -8/15 less than r?
True
Suppose -3*c - 10 = -8*c - 3*p, 5*p = -2*c + 4. Let i = 4 - 2. Let m = i - 2. Is m at least as big as c?
False
Let f(k) be the first derivative of 5*k**3/3 - k**2/2 - k + 1. Suppose -5*s - v = 0, 2*s + 5*v = 6*s + 29. Let o be f(s). Is o at most 5?
True
Let h(q) = -q**3 + q**2 + 2*q + 1. Let v be h(-3). Is -1/3 < v?
True
Let u = 8 - 4. Suppose u*s = -3*o - 8 - 1, 4*s = 3*o - 39. Let q be (0 - s/(-4))*-2. Is 3 greater than or equal to q?
True
Let k = 24 - 11. Are 13 and k equal?
True
Suppose p - w - 5 = 0, 2*p + p + 4*w + 6 = 0. Let g = -2 + 4. Suppose 5 = 3*f + g*x, 4*f + 0*x + 3*x - 7 = 0. Is p not equal to f?
True
Let w(z) = -2*z**2 - z - 93. Let a be w(0). Which is smaller: -92 or a?
a
Let m = -48 - -68. Suppose -m = -5*r, -5*s + r = 4*r - 7. Let v be (-3)/4*(-2)/(-3). Is s <= v?
True
Suppose 7 = -5*n - 23. Let q be (-3)/n*-4*-4. Let i be (-60)/(-161) - q/28. Which is smaller: 1 or i?
i
Suppose -2*u + 3 + 17 = 4*x, -2*x + 10 = 5*u. Let j be 2/(-14)*6 + 1. Which is greater: u or j?
j
Let d = 31/3 - 10. Is d != 1?
True
Suppose -3*o = 2*y + 2*o - 49, 4*y - 3*o = 85. Let k be (-3)/(-1 + y/4). Which is smaller: 0 or k?
k
Let v be (4/(-3)*3)/(-2). Suppose -3 + 1 = d + v*n, 3*d - 2*n - 10 = 0. Let w be -1*(0/2 + d). Which is smaller: w or -3/4?
w
Let x = 1.59 + 0.01. Let m = 2 - x. Is m at most as big as 2?
True
Let p = -2.35 - 0.05. Let r = p + 0.4. Let a = -1.2 + 1. Is a at most r?
False
Let h = -0.5 - -2.5. Let n = -0.59 - -0.19. Is n at least h?
False
Let g be (-2)/(-34)*(-10 - -9). Suppose -1 - 1 = 2*y. Are y and g non-equal?
True
Let z = 8 - 4.3. Which is bigger: z or -1/4?
z
Suppose -13*f + 8*f - 250 = 0. Is -50 greater than f?
False
Suppose 4*s = -7 + 15. Which is smaller: 3 or s?
s
Let x(v) = 3*v**2 - 2*v - 2. Let q be x(2). Let j = q + -12. Let t be j/(-16) + (-4)/16. Which is bigger: t or -2/3?
t
Let f = 2 - 20. Let t = 27 + f. Which is smaller: 10 or t?
t
Let y = 85/66792 + -932873/333960. Let l = y - 2/253. Which is smaller: l or -4?
-4
Suppose -2*k - b = -7, -5*k - 5*b + 9 = -11. Suppose 0 = 3*d - 0*d - k. Let j = -4 + d. Is -3 > j?
False
Let q(t) = -t**2 - 4*t + 3. Let i be q(-4). Let r be (-10)/(-15) + 4/i. Which is smaller: r or 4?
r
Let s(k) = k**3 - 3*k**2 + 7*k + 13. Let w be s(-4). Is -127 bigger than w?
False
Suppose -7*t + 0*t = -28. Suppose -t*j = -2*j + 2, 5*j = 2*x - 3. Let z = 1525/9 - 169. Is z <= x?
False
Suppose 3*i + 4 + 17 = -2*x, 2*i - 5*x = 5. Let u be 299/(-114) - 2/3. Let c = u + -4/19. Which is smaller: c or i?
i
Let b = 197/1008 - -3/112. Which is smaller: b or -0.6?
-0.6
Suppose 5*g - 36 = g - 4*i, g - 2*i - 3 = 0. Let x = g - -2. Suppose -5*t - x - 1 = 0. Is -1 bigger than t?
True
Let a be (-2)/(44/(-5218)) + 2. Let w = -239 + a. Let x(f) = f**2 + 6*f + 4. Let g be x(-5). Is w <= g?
False
Let f = 1/9 + 11/63. Is 2/9 greater than or equal to f?
False
Let j be (-3)/330*2*1. Which is smaller: 0 or j?
j
Let o = -28 - -27.9. Which is smaller: 0.02 or o?
o
Suppose 1 = -5*w + 4*x - 0, -5*w - 5*x - 10 = 0. Let p be -3 + ((-16)/w)/2. Let m(k) = 7*k**3 - 1. Let z be m(1). Is p > z?
False
Let j be 1 - (13/16 - 0). Do j and -1 have the same value?
False
Suppose -6 = -5*u - 2*j, -5*j = 4*u - 0*u - 15. Let p = -144/5 - -30. Which is bigger: p or u?
p
Let a(l) = -l + 3. Let s be a(0). Let m = -6 + s. Let b(o) = o**3 + o**2 - 18*o + 7. Let d be b(-5). Is d equal to m?
True
Let j be (-6)/(-15)*9/(-6). Let c(s) = s. Let f(b) = -2*b + 5. Let x(z) = 3*c(z) + f(z). Let n be x(-6). Is n >= j?
False
Suppose -3*d - 26 = -5*d. Suppose -d = 2*r - 9. Let y be 1 + r + (-15)/(-17). Which is bigger: y or 0?
0
Let d(s) = s + 2. Let r be d(7). Suppose -2*l = -4*c - 13 - r, 4*l = c + 23. Which is bigger: -4 or c?
c
Let k = 2 + 5. Suppose -28 = -0*s - 4*s. Is k <= s?
True
Let q(x) = -3*x + 4*x + 5*x - 2*x. Let m be q(2). Is m != 9?
True
Suppose q + 5*d = -13, 2*q = -5*d - 9 - 2. Let i be -6 + q - (0 + 2). Let l be (-1*(2 + -9))/(-1). Are i and l non-equal?
True
Let h(x) = 3*x**2 + 2. Let l be h(-2). Suppose -y - l = 5*f, -2*y - 4*f - 2 = 8. Which is smaller: y or 1/7?
1/7
Suppose -3*w - 35 = -119. Is 27 not equal to w?
True
Let k(g) = 2*g + 4 + 4*g**2 - g**3 - 2 - 6*g. Suppose 5*h = 7 + 8. Let q be k(h). Is q not equal to 2/7?
True
Suppose -216 = 4*l + 4*s, -4*l + 67 = -s + 263. Let d be (-45)/l - (-6)/(-10). Is 1 at most d?
False
Let v = -40 - -31. Which is bigger: v or -39/5?
-39/5
Let j be -1 + (-4 - -4) + -1. Let i = j + 6. Is i != 6?
True
Let q be (1 + (3 - 1))/3. Let c be 1 + (q - 3) + 0. Is 1 bigger than c?
True
Let q = 10 + -7. Suppose -2*r = -q*r + 3. Let p be -1 + r - (-24)/(-14). Is p equal to -3?
False
Suppose 4 = w + 3*z, 3*w + 2*z = -2*w + 7. Let h = -5 - -4.95. Which is smaller: h or w?
h
Let w(q) = -2*q - q**3 - 9 + 7*q**2 + 3 + 3*q - 6*q. Let x be w(6). Let h = 0 + 0. Is x at least h?
True
Suppose 4*l + 3*b - 3 = 0, -3*l + 0*b = b - 1. Suppose -2*f + 2 + 4 = 0. Which is smaller: f or l?
l
Let u = -0.97 - 0.03. Let h = u + 2. Is -2/15 smaller than h?
True
Suppose -o - 5*d = -28, 3 - 23 = -4*d. Suppose i + 3*i = 3*v + 8, 5*i = -o*v - 17. Which is smaller: v or -3?
v
Suppose 21 = -0*b + 3*b. Suppose -f = -2 + 7. Let m = b + f. Is 2 greater than or equal to m?
True
Let i = -8108 + 40332/5. Let d = 41 + i. Is d greater than -2?
True
Let x = 16 + 7. Which is smaller: -2 or x?
-2
Let m(k) = k. Let o be m(1). Let h be (-2 - 1)*8/(-42). Which is bigger: o or h?
o
Let q = 0 + -10. Let k = 12 + q. Which is greater: k or 1/5?
k
Let a = -0.3 + 0.2. Let d = -3.1 - a. Let p = d - -3. Do -0.3 and p have the same value?
False
Let c be 9/(-12)*-9 + -2. Are 5 and c non-equal?
True
Let b be 2 + (-1)/5*13. Suppose 0 = -0*i + 9*i. Is b smaller than i?
True
Let u be 4/(4/3)*6. Suppose 0*c + 3*c - u = -5*d, -2*c = -3*d + 7. Let j(t) = t**2 - 3*t + 1. Let z be j(d). Which is smaller: z or 2/5?
2/5
Let m be 4/(-6)*3/(-2). Let p be m - 2/(184/100). Is p <= -0.2?
False
Let c = 23371/25990 - -2/2599. Which is greater: c or 0?
c
Let b = 3.91 + 0.09. Let l = 2 - b. Let s = 1.9 + l. Is s > -1/2?
True
Let u = 463429 + -486600637/1050. Let w = u + 2/175. Let j be (-4)/6 - (-1)/(-3). Is w at least j?
True
Let z(n) = 15*n + 10. Let i be z(-6). Which is greater: i or -79?
-79
Let g be 1/(-2)*(-4)/(-5). Let n = -1.713 - -0.713. Is n bigger than g?
False
Let f be (-3)/2*(-8)/(-3). Suppose -k - 23 = 4*q, 4*k - 2*k = -q - 11. Which is greater: f or k?
k
Let k(g) = 4*g. Let p be k(6). Suppose l - 4 = 3*b - l, 5*b + l = -p. Let c = b + 3. Which is greater: 1 or c?
1
Let y = -10 + 9.9. Which is greater: y or -2?
y
Let j = -26.1 + 26. Is -0.1 greater than j?
False
Let d(o) = 4*o + 7. Let f(s) = s + 1. Let n(a) = d(a) - 6*f(a). Let u(v) = -v**3 - 6*v**2 - 5*v + 1. Let j be u(-5). Let m be n(j). Which is smaller: -1/8 or m?
m
Let l(x) = 4*x - 15. Let q be l(4). Let g be 30/(-16)*(-10)/15. Do q and g have different values?
True
Let q be (-4)/6 + (-516)/9. Let j = -28 - q. Let d be 1/5*j/(-24). Are -1 and d non-equal?
True
Suppose 0*d + 2*d + 17 = 5*v, -3*v - 5 = -5*d. Let a(l) = l - 6. 