r equal to r?
True
Let c = -1.3 + 0.3. Let d = c + 2. Let f be 10/(-50) - (-31)/105. Which is greater: d or f?
d
Let v = -37.5 - -2.5. Is 1 not equal to v?
True
Let i = -1.41 - 0.29. Let l = i - -1.6. Is l > -2?
True
Let w = 81 - 81. Suppose 0*g = g. Is w at most g?
True
Let w be (-1)/((-12)/(-20)) + 2. Let n be (4/21)/((-2)/3). Which is smaller: n or w?
n
Let s = 3109/2 + -1516. Let q(t) = -2*t**2 + 3*t + 4. Let z be q(-4). Let v = z + s. Are v and 1 nonequal?
True
Let c be 4/(-8)*4/10. Suppose 5*q - 28 = 3*n, 0*n - 3*n + 3*q - 18 = 0. Which is smaller: n or c?
n
Let q(u) = -u**3 - 12*u**2 - 12*u - 7. Let v be q(-11). Let z be (-3 + v)*(-6)/2. Is -4 at least as big as z?
False
Let r be 24/(-375)*5/(-20). Is 1 at least as big as r?
True
Let x = -6 - -16. Let h be 3/x*12/9. Let d(o) = -o**2 - 3*o + 5. Let n be d(-4). Is n smaller than h?
False
Let w = 25/24 - -45/8. Which is smaller: 7 or w?
w
Let b be (-156)/(-4654)*(-1)/(-3). Is b less than 1?
True
Let x = -5.9 - -5.96. Is x <= 3/5?
True
Let m(j) = -3*j + 2. Let n be m(-3). Is 12 > n?
True
Let g = 14/27 - 235/297. Is 4 greater than g?
True
Let i = 112 + -338/3. Let t = -37 + 22. Which is smaller: t or i?
t
Let g = 9 - 5. Let y be g/(-2) + 8/5. Is -3 > y?
False
Let k(w) = w**3 + 7*w**2 + 5*w - 6. Let t be k(-6). Which is greater: t or 2/75?
2/75
Let b be ((-1)/5)/(((-64)/60)/2). Suppose p + 2*p = 0. Is p bigger than b?
False
Let l = -1.49 + -5.51. Let a = 1 - 1. Which is bigger: a or l?
a
Let g = -12 + 9. Let n(i) = -i + 5. Let d be n(6). Let o be d/(-1) + -3 - -1. Does o = g?
False
Let l be -4 + (-6)/(-1) - 5. Let f = -32/105 - 2/21. Is l smaller than f?
True
Let s = 11/8 + -17/24. Which is bigger: -2/81 or s?
s
Let r(j) = 5*j**3 - 11*j**2 - 3*j - 5. Let g(f) = f**3 - f**2 + f + 1. Let k(c) = 4*g(c) - r(c). Let i be k(8). Is i bigger than 3/5?
True
Let w = 4 + -6. Let k = -2 - w. Which is bigger: -1/15 or k?
k
Let g(a) = -a**2 + 10*a - 12. Let z(u) = 4*u**2 + 4*u + 2. Let i be z(-2). Let l be g(i). Let o be (2/(-3))/((-14)/l). Which is greater: o or -1?
o
Suppose 115 = -9*n - 2. Is -15 greater than or equal to n?
False
Let c = 2 + -2. Suppose -12 = -c*d - 3*d. Suppose -k - 1 = -o, -d*o = -2*k - k. Is o > -1?
False
Let s = -124 - -82. Let g be (8/(-40))/(s/20). Which is bigger: g or 1?
1
Let u = -17.8 + 1.8. Let i = u + 16.4. Is i > 3?
False
Suppose d = -5*k - 0*d - 1, -3*d = -2*k - 14. Is k at most as big as 2/9?
True
Let x be 10/(-25) + (-226)/(-110). Let l = -11/5 + x. Is l at least as big as -1/2?
False
Let b = -0.36 + 0.36. Let q = 274 + -275.99. Let w = 0.01 - q. Is w less than b?
False
Let l be (-3)/6*2/(-3). Which is bigger: l or -1/7?
l
Let y = -8 - -6. Which is greater: y or -5/4?
-5/4
Let o = -16 + 22. Let z = o - 5.98. Which is smaller: z or -1?
-1
Suppose -j - 28 = -5*c, 7*j = -4*c + 3*j + 8. Which is greater: c or 4?
c
Let j(c) = -c**3 - 3*c**2 + 6*c + 2. Let u = 11 - 15. Let p be j(u). Which is smaller: p or -14/3?
p
Let a = 192 + -192. Is -104 bigger than a?
False
Let a = 102 + -101. Is 5 > a?
True
Let d = 830/9 + -92. Is d greater than or equal to 0.6?
False
Suppose 0*x = -x. Suppose -18 = q - 4*l, x*q + 5*l - 35 = -5*q. Which is greater: q or 1?
q
Let u be (-8)/(-4) - (3 - 3). Which is greater: 8/3 or u?
8/3
Let k = -4 - -5. Let q be k*6/9*3. Let c be 4 - q - (2 + 0). Which is smaller: 1/3 or c?
c
Let j = 5.1 - -7.6. Let y = 13 - j. Which is smaller: y or 0.2?
0.2
Let d = -1413/119 - -79/7. Which is smaller: -2 or d?
-2
Let c = -115/4 + 29. Suppose 4*x - 3 = -5*j, 0 = -x - x - 2*j. Let m be 5/x + 4/2. Is m <= c?
False
Let o be 3/(-9)*5*-3. Are o and 5 non-equal?
False
Let i be (-3)/((-9)/(-10))*18/(-12). Is 4 at least i?
False
Let s = -405/14 - -535/7. Let q = s - 379/8. Let l(b) = b + 4. Let x be l(-5). Which is smaller: q or x?
x
Let h be -6*-3*642/189. Let w = h + -62. Which is smaller: -1 or w?
-1
Let w be -34 - (-3 + 3 + -1). Is w greater than -34?
True
Suppose -y = -6*y. Let z be 378/390 - (-1 + 2)/1. Which is bigger: z or y?
y
Let n be (-465)/(-60)*(-8)/10. Let i = -6 - n. Is 1 at least as big as i?
True
Let n(u) = -2*u**2 + 21. Let y be n(-4). Is y <= -11?
True
Suppose 0 = -2*f - 5*p + 7, -3*f + 3*p - 1 = -f. Let i be 2/(-2) + 2 + -3. Let k be -2 - (2 - f)*i. Is k bigger than 0?
False
Let m = -0.012 + -0.008. Is m bigger than 0.2?
False
Let p(x) = x + 3. Let o = 6 - 9. Let b be p(o). Let a = -33 - -34. Is b less than a?
True
Let x = 2/41 + -57/328. Is x smaller than 0?
True
Let z = -43 - -42. Which is smaller: z or -1/66?
z
Let c(h) = -2*h + 2. Let n be c(4). Let g be ((-18)/(-8))/((-15)/(-40)). Let a = n + g. Is a at most as big as 2/5?
True
Let n be 43/(-55) - (-4)/22. Which is greater: -2 or n?
n
Suppose 9*v = -0*v - 81. Which is smaller: v or -10?
-10
Suppose 2*y + 0 = -4. Suppose -w + 2*b - 26 = 3*w, 4*b = 4*w + 32. Is y <= w?
False
Let k be (-2)/(-42)*(-15)/3. Let w = k - 1/84. Which is bigger: 4 or w?
4
Let m = 150 + -150. Which is smaller: 36 or m?
m
Let c(n) = -n - 3. Let u be c(-3). Let y be 54/(-220)*-2 - (-2)/(-5). Is u greater than y?
False
Suppose -15 = -0*t - t - 3*y, 0 = -2*y + 6. Let g = -11/2 + t. Which is smaller: g or -2/7?
-2/7
Let f(r) = r**2 + 10*r - 9. Let b be f(-9). Let c be b/4*(-2)/3. Suppose -6*t + 4*i + 4 = -2*t, 0 = -t + 3*i + c. Are 0 and t unequal?
False
Let k = -35 + 34. Do 1/15 and k have different values?
True
Let q(l) = -l + 2*l**3 - l**3 + 3*l**2 - 9 + 5*l**2. Suppose 6*w - 8*w = 16. Let s be q(w). Is s at least as big as -1/4?
False
Let v(m) = -m**3 - 6*m**2 + 2*m + 9. Let c be v(-6). Let d be 4*c/6 + 5. Suppose -g + 3*o + 6 = 0, o = 4*g - d*o. Is -3 less than or equal to g?
True
Suppose -36 = 5*c + 19. Let m = 7 + c. Let y = -1 + -4. Is m smaller than y?
False
Let t = 9 - -11. Suppose -q = 4*q - t. Is q > 2?
True
Suppose -15 = -4*j - 3. Let g(o) = -o**2 + 2*o. Let z be g(j). Let d = z + 3. Is d equal to 2/9?
False
Let g be ((-3)/12)/((-3)/6)*0. Is 17 >= g?
True
Let g = 6 - -7. Let m = -8 + g. Is 7 smaller than m?
False
Let q = 6 + -2. Suppose 0 = q*p - 5*p - 8. Are -8 and p nonequal?
False
Let g = -1772/17 + 104. Which is greater: -1 or g?
g
Let s be 2361/((-34)/8 - 4). Let n = s - -286. Which is greater: n or 0?
0
Let t(q) = -q**2 + q + 1. Let s(w) = -w**3 + 4*w**2 - 3*w - 1. Let h(p) = -s(p) - 2*t(p). Let o be h(2). Let c = -79/203 + 3/29. Which is smaller: o or c?
c
Let m = -0.297 + -14.003. Let s = m + 14. Which is smaller: -0.1 or s?
s
Suppose -4*i - 8 = 4*d, -d = 10*i - 11*i. Is i at least 4/27?
False
Let t be (-1)/((-9)/140824) + -2. Let c = t - 15695. Let a = c + 149/3. Which is bigger: a or -1?
a
Let o = 949 + -5707/6. Is -1 less than or equal to o?
False
Let y be (-20)/21 + 2/3. Let a(i) = -3*i - 2. Let b(r) = 7*r + 5. Let x(v) = -5*a(v) - 2*b(v). Let p be x(0). Is p greater than y?
True
Let w(n) = -n + 9. Let k be w(7). Suppose -4*m + 9 + 3 = 0. Let z be m + -1 + (-1 - -2). Which is greater: k or z?
z
Let b be (2 - -1)/(-3) + 2. Suppose b + 2 = o. Let w be ((-3)/(o*2))/(-1). Is 2 not equal to w?
True
Let b(a) = a + 0*a - 8 - 2*a. Let s be b(-6). Let u be (1/2)/(s + 0). Is 0.3 <= u?
False
Let n be (-36)/(-260)*(-90)/(-16). Let a = n - 5/8. Which is smaller: a or 0?
0
Suppose -3*n - 2*n = 0. Suppose y - 2*p - 4 = -n, 5*p = 0. Is y at least as big as 5?
False
Let i = 5 - 6. Let l be 4*i - (-8 + 5). Is l < -1?
False
Let r = -3 - -6. Suppose -2*h - p = r*p + 4, 5*p + 6 = -2*h. Is 3 smaller than h?
False
Let g = 329/12354 - 2/213. Which is bigger: g or -1?
g
Let u be 42/(-36) - (-2)/4. Is -0.1 at most as big as u?
False
Let r(n) = -2*n**3 + 2*n**2 - 3*n + 2. Let u be r(2). Let b be 2/u - 123/18. Is b < -8?
False
Suppose 1 = -p - 2. Let s be (-6)/(-4)*(1 + p). Are s and -3/2 unequal?
True
Let h = 90 - 90. Is -56 bigger than h?
False
Let b be (-2)/3*(-3)/8. Let l(y) = y. Suppose 0 = z - 2*z. Let w be l(z). Which is smaller: b or w?
w
Let x = -14.7 - -15. Which is smaller: -2 or x?
-2
Let i be 1 + -7*(-1)/(-4). Let u(l) = -l**2 + 6*l - 7. Let x be u(5). Which is smaller: i or x?
x
Let n(p) = -p**3 - 3*p**2 + 2*p + 4. Let i be n(-3). Which is greater: -7/4 or i?
-7/4
Let c = 1 - -3. Let p be (9/(-15))/((-6)/c). Let d = -2 - -1. Which is bigger: d or p?
p
Let f be -1*(-4 - (1 + -2)). Let p = -20 - -47. Suppose -f*s + 2 = t 