 + 91. Do 28 and j have different values?
True
Let y(z) = -z**2 + 6*z + 7. Let l be y(7). Suppose l*p = -5*p + 15. Suppose p*x = -5*c, 5*c - x + 0*x = 0. Which is bigger: 1 or c?
1
Let h be (-1)/(-1) + 0 - 38/2. Let i be (1 - 1)*(-3)/(h/(-6)). Which is greater: i or -2/103?
i
Let k(f) = -f + 46. Let a be k(8). Suppose 23*q - 20*q = 111. Which is greater: q or a?
a
Let t = 0.48 - -15.52. Let q = -21.14 + 0.14. Let n = t + q. Is n >= -2?
False
Suppose -6*u + 14 = -4*u - 5*q, u - 25 = -2*q. Are u and 15 nonequal?
True
Suppose -32 = 5*i - 2*j + 5*j, -i - 5*j = 24. Which is bigger: -26/5 or i?
i
Let h be 0/((-2)/(-3 - -5)). Which is smaller: -20/27 or h?
-20/27
Suppose -5*k - 13 = -p, -p - 4*k - 5 = -0*p. Let z be -1*(1 + p)/4. Is z greater than 0.07?
False
Suppose 0 = 2*v + 3*v - 150. Let z = v - 30. Is z greater than -1/9?
True
Let c be (2 + 1)*1*7/3. Which is greater: 1 or c?
c
Let o = 0 + 2. Let n = 3 + o. Let v = -4814 - -4813. Is n less than v?
False
Let q = -10 - 32. Let j = q - -42. Let k = -155 - -1700/11. Which is greater: k or j?
j
Let h = 2117 + -1994. Which is bigger: 116 or h?
h
Let o(y) = 115*y**2 + 2*y - 1. Let d be o(1). Let h = -804/7 + d. Let r = -86/63 + h. Which is smaller: 1 or r?
r
Let x(h) = -2*h**2 + h + 1. Let y(l) = 7*l**2 - 7*l - 5. Let o(j) = 6*x(j) + y(j). Let r be o(1). Which is bigger: 0 or r?
0
Suppose 0 = y - 4*n - 0*n + 1, y - 5*n = -1. Let w = -4 + 1. Let b be 0 + (-12)/(-5) + w. Which is bigger: b or y?
b
Let v = 77 + -51. Let q = v - 26. Is q smaller than -0.2?
False
Let a = -1950 + 1945. Which is smaller: -53 or a?
-53
Let r be (-6)/(-9)*(-2)/(-4). Let n(g) be the second derivative of g**5/20 + g**4/6 + 9*g**2/2 + 14*g + 1. Let b be n(-3). Do b and r have the same value?
False
Let b = 0.95 + -0.56. Let w = 0.17 + -0.56. Let g = b + w. Is 30 > g?
True
Let p be (-114)/152 + (-1 - -1). Which is smaller: 7 or p?
p
Let d = 8 - 8.03. Let z = d - -0.63. Let p = 0.4 - z. Are p and -0.2 equal?
True
Let k be 120/50*-7*(-40)/(-18). Which is bigger: -37 or k?
-37
Suppose 5*i + 3*j - 55 = 0, -5*i + 3*j + 3 = -52. Suppose 4*l - 5*u + 14 = -i, 2*l + 29 = -3*u. Let q be 114/165 - 4/l. Is 0 less than q?
True
Let t = 153/400 - 8/25. Let r be (-1 - -2) + (-115)/48. Let m = r + t. Which is smaller: m or -2?
-2
Let s be 58/(-10) + 6 - (-21)/(-5). Which is smaller: s or -5?
-5
Let s(d) = 6*d**2 - 53*d - 41. Let n be s(9). Is -33 < n?
True
Let o be ((-616)/(-33))/(1/3). Let j be 8/o - 76/(-7). Is 10 bigger than j?
False
Let o = -14 - -39. Let t be ((-4)/(-10))/((-5)/o). Let u be -1*-2*1/2. Which is greater: t or u?
u
Let s = 715 + -27886/39. Which is greater: s or 1?
1
Suppose 2*p - 87 = f + 78, -2*p - 801 = 5*f. Is -161 at least f?
True
Let x be (12/4)/(0 + 12/8). Suppose -39 = x*z - 23. Which is greater: z or -20/3?
-20/3
Suppose -4*a = -94 + 98. Is -5/47 at most as big as a?
False
Let m(z) = -z - 12868. Let l be m(0). Let w = 360365/28 + l. Let v = w + -7/4. Which is bigger: 0 or v?
v
Suppose -1965 = 19*d - 103. Is 0 at most d?
False
Let s(m) = 2*m + 4. Let g be s(-3). Let b be (-1)/11*(1 + g). Suppose 4*a = 5*q + 12, -3*q - 5*a + 29 = 14. Which is smaller: b or q?
q
Suppose 5*g - 111 - 9 = 0. Suppose 6*a = g + 18. Is a smaller than 7?
False
Let i be 16/(-84)*(-9)/(-1542). Is i >= -1?
True
Let w be (1 - 3/3) + 2. Suppose -5*l + l - 4 = 4*o, l = 5*o - 7. Let v be o/(-2)*(-56)/20. Is w equal to v?
False
Suppose -2*h = -3*w + 3*h - 43, -5*h = -5*w - 75. Which is smaller: -14 or w?
w
Suppose -t = -7*t - 510. Let d = 24619/302 - 3/151. Let c = d + t. Are -4 and c nonequal?
True
Let n(c) = -2*c**3 - 3*c**2 + 20*c + 10. Let z be n(-4). Let s = -0.6 - 3.4. Which is bigger: s or z?
z
Let x(a) = a + 1. Let w be x(-8). Let v = w - -9. Let h be 19/(-7) - v/7. Which is bigger: h or -4?
h
Let c = 332104121435 - 62099817563859143/186989. Let a = c - 2/16999. Let j = a + 472/99. Is -0.1 bigger than j?
False
Let v = -0.83 - 1.57. Which is smaller: 0.2 or v?
v
Let y = 14 - 9. Let w be (-4)/(2/y*-1). Let d be (16/(-20))/((-14)/w). Which is bigger: 0 or d?
d
Let p be 362/120 - (-44 + 47). Which is greater: p or -1?
p
Suppose -2*y + 0*y + 4 = 0. Suppose 0 = -0*q - y*q + 32. Suppose -2*a + 40 = 10. Which is smaller: a or q?
a
Let f be 2/5 - 66/(-10). Suppose 12*i + 7 = 5*i. Let m be 2 - (i - (1 + 2)). Which is smaller: m or f?
m
Let g(k) = -k**2 + k + 1. Let o be g(-1). Let t be o/(4 - (-39)/(-10)). Let n be (-5)/3*8/t. Which is bigger: n or 0.3?
n
Let c = -315 - -305. Does 4 = c?
False
Let a(z) = -z**3 + 6*z**2 + 7*z - 8. Suppose 2*n + 2*d - d + 27 = 0, 0 = 2*n - 5*d + 9. Let u be (-87)/n - (-3)/(-12). Let h be a(u). Which is smaller: h or -7?
h
Let d = -14 - 0. Let h be (6/d)/((-21)/14). Is -4 > h?
False
Let u = -12 - -12. Let k(w) = -w**3 - w + 2. Let s be k(u). Suppose d - 3*g = 15, -s*d = -0*d + 2*g + 2. Is -2 greater than d?
False
Let u = 86 + 895. Is 979 smaller than u?
True
Let h = -334 + 214. Let y = 8519/71 + h. Which is bigger: y or 0?
0
Let h(r) = -8*r**2 + r + 1. Let b be h(-1). Let p = b + -3. Is 1 at most p?
False
Let k = 0 - 2. Let w(y) = 4*y + 8. Let i be w(-3). Let g be 2*i*(-2)/16. Which is smaller: g or k?
k
Let o be -24 - 140 - (1 - (4 + -1)). Let v be (-37)/o - 4/18. Is v greater than or equal to -1?
True
Let i = 0.2 + 27.8. Let r = i - 29.5. Which is smaller: -2/3 or r?
r
Let s = -13 + 9. Let j be 570/(-24) + 2 + s. Let p = j - -26. Which is bigger: p or -1?
p
Suppose -2*m = 2 + 16. Let v = -16/17 + -257/34. Which is bigger: v or m?
v
Let l(a) = 14*a**3 + a. Let g be l(-1). Let x be (-1)/(-5) - (-3)/g. Which is smaller: x or 6?
x
Let v be 0 + (32/15 - -1). Suppose -29 + 20 = -3*s. Let g = v - s. Is 0 less than g?
True
Let b(s) = s + 4. Let v be b(5). Let z be 1254/133 + 8/14. Which is smaller: z or v?
v
Let b(n) = 37*n**3 - n**2 + 4*n - 4. Let j be b(1). Suppose 0 = -567*a + 562*a + 185. Is j > a?
False
Let b(h) = -1969 + h - 5*h + 1966 + 14*h. Let x be b(-1). Is x greater than -14?
True
Suppose 4*w = 16*w - 36. Suppose 5*s - n = 0, n + w*n = 3*s - 17. Which is smaller: 2/237 or s?
s
Let j = 52 + -13. Let s = 40 - j. Which is greater: 2/41 or s?
s
Let k be (-4)/(-6) - 2/3. Suppose k = -2*f - 3*g - 24, 4*f - g = -22 + 2. Let n be ((-4)/(-88))/(1/f). Which is bigger: 1 or n?
1
Suppose 4*j = 1198 - 406. Let o = j - 1388/7. Let b = -55.9 - -45.9. Which is smaller: o or b?
b
Suppose -2*t + 4*u + 15 = -3, 2*t - 3*u - 22 = 0. Let n = t - 27. Which is greater: -11 or n?
n
Suppose -62 = 18*u + 46. Which is bigger: u or -17?
u
Suppose 0 = -15*m - 404 + 419. Which is bigger: -2/1601 or m?
m
Let k(i) be the first derivative of i**3/3 + 3*i + 5. Let m be k(0). Suppose 0 = -4*v - 0*p - 5*p + 9, 3*v = -m*p + 3. Is v <= -3?
True
Let w be ((-3770345)/39172)/5 + (-8 - -10). Let z = w - -2/9793. Which is greater: -17 or z?
-17
Let h = 5 + -10. Suppose -133 = 40*n - 21*n. Is h greater than n?
True
Suppose -11*y + 41*y = 0. Do 28 and y have the same value?
False
Suppose 0 = -5*b + 7*b - 11*b. Which is smaller: 4/9 or b?
b
Let v = -5.3 - -5.85. Let o = 2.55 - v. Is -3 at most as big as o?
True
Let b be 12 + -9 - (2 + (-71)/(-67)). Which is smaller: -1 or b?
-1
Let q = -0.47 + 0.5. Let i = 12.2 - 12. Let t = -0.1 + i. Is q != t?
True
Let h(v) = 14*v + 84. Let k be h(-6). Is k less than or equal to 1/28?
True
Let s = 435 - 637. Which is smaller: -203 or s?
-203
Let w be (-334)/(-4) + (-3)/(-6). Let o be 3/(81/w - 1). Let b = -594/7 - o. Are b and 0 equal?
False
Suppose -23*r = 1933 + 2069. Which is greater: -177 or r?
r
Let a = -572 - -571. Is a at most as big as -2/1099?
True
Let x = -2/765 - -1576/17595. Is x at least as big as 7?
False
Let b(n) = n**3 - 72*n**2 - 83*n + 493. Let f be b(73). Which is greater: f or -239?
f
Let y = -4.17 - -72.77. Let u = -69 + y. Which is smaller: -12 or u?
-12
Let q = -19.2 - -3.2. Let f = 13 + q. Which is greater: f or -1/3?
-1/3
Let c be 1 + 8 + -6 + 39. Let x = -70 - -70.2. Are x and c non-equal?
True
Let u = -1211/15394 + 12/179. Let r(i) = -i**3 - 12*i**2 - 19*i + 9. Let h be r(-10). Is u >= h?
True
Suppose 27 - 33 = -3*o + 3*t, 4*o - 33 = -t. Which is smaller: o or 17?
o
Let g = 2.7 - 15.7. Let z = 8531 - 8527. Which is bigger: z or g?
z
Let q be 2/12 - 3835/(-30). Suppose -3*x = 5*v - 469, x + 4*v = 2*x -