 and b non-equal?
True
Let u = -29 + 28.919. Let n = u + 0.381. Is 4/7 bigger than n?
True
Let r = 189 - 119. Let s = r + -69. Is s > -16/9?
True
Suppose -4*r + 12 = 2*r. Suppose r*j = -6*j + 8. Are j and -0.01 equal?
False
Let x = 55 + -51. Suppose 2*z + 3*r = -4 - 2, 4*r = -3*z - 7. Is z smaller than x?
True
Suppose d + 4*d - 165 = 0. Let f = -34 + d. Which is smaller: f or -4/9?
f
Let o = 15 + -3. Suppose 0 = 3*t - v - 2*v + o, 2*t + v = -5. Let z = 6 - 9. Is t less than z?
False
Let x = 426 - 904. Which is greater: x or -1436/3?
x
Let u be 35 + -4 - -1*3/(-3). Let n be ((2 + -6)/8)/((-1)/u). Are 91/6 and n equal?
False
Let w be -114 + (3 + 4 - 4). Let p = w - -86. Is -25 at least p?
True
Let u = -3 - 2. Let r = -104 + 104.2. Is u >= r?
False
Suppose -6 = -b - 82. Let h be 1425/b - (-3)/4. Are -18 and h equal?
True
Let g(k) = -k - 2. Let c be g(-4). Suppose 5*h = -c*n - 31, -4*h + 2*n - 10 = 4. Is h at most -15/4?
True
Let j = 10621/14688 + -23/32. Is j bigger than -1?
True
Let v(y) = 14*y - 7. Suppose 10*w - 30 = -10. Let d be v(w). Which is smaller: d or 22?
d
Suppose 0*x + 3*x - 12 = 0. Suppose p = 2*p + 2*r + 8, x*p + 20 = -5*r. Let u be p*2/(-6)*1. Is u >= 5/6?
False
Let o(a) = -a**3 - 23*a**2 + 23*a - 2. Let l be o(-24). Is 24 at least as big as l?
True
Let u = -247 + -237. Are -485 and u unequal?
True
Let a(q) = q**3 - 3*q**2 - 5*q + 2. Let g be a(4). Let p be (-85)/15 + 1 + g/6. Let s = 3 + -7. Which is smaller: p or s?
p
Let y be (-2 + 5)/(3/23). Suppose -110 = 18*m - y*m. Is -1 >= m?
False
Let y be (27/(-15) - (-26)/65) + -6. Is y > -7?
False
Let m be (0 - 0 - (-3 - -2)) + 41. Which is smaller: m or 40?
40
Suppose 0*r = 3*r + 3. Let y be (5/(-60))/((-2)/8). Which is greater: y or r?
y
Let s = 0 + 4. Suppose 18 = 2*f + 20. Let q be (21/(-105))/((-1)/f). Is s greater than or equal to q?
True
Let f be -195*(-9)/(-54)*-8. Is f > 263?
False
Suppose f = -210 - 1105. Let i = 14449/11 + f. Which is smaller: 0 or i?
i
Let z = -129012/79 - -1633. Which is bigger: z or 1?
1
Let y be 2/(-9) - (32496/54 - -3). Is -606 > y?
False
Let a = 13.2 - 0.2. Let t = -0.6 + -11.4. Let o = t + a. Which is smaller: -11 or o?
-11
Let s = 81 - 72. Do 37/4 and s have the same value?
False
Suppose 46*i = 32*i. Let x be (2 - 6)/(-1)*(-3)/534. Which is bigger: x or i?
i
Suppose -45 = 5*r - 13*q + 37, 2*r + q + 8 = 0. Which is greater: 23 or r?
23
Let b(j) = j**2 + 2*j - 2. Let v = 56 + -55. Let f be b(v). Which is bigger: -4/17 or f?
f
Suppose -q - 3*z - 2 = 0, -9*z = -8*z. Which is smaller: q or -48/79?
q
Let n = 4728/1321499 - 2/907. Are 0 and n equal?
False
Let o = 93579/5 - 18845. Is o smaller than -130?
False
Suppose 0 = 5*a + 2*y - 53, -2*y = -a + 4*a - 31. Suppose -4*u = -0*u + 4*k - 8, -k = 4*u - 14. Suppose 5*m - 3*r = -2*r + 53, 3 = m - u*r. Is a less than m?
False
Let o = 1.5 + -1.39. Let z = -0.01 + o. Which is smaller: z or -2/39?
-2/39
Let m = -2 + 5. Suppose 2*a = m*a - 4. Suppose a*c + 5*n = 19, 4*c - 1 = -2*n + 3*n. Is c at most as big as -2?
False
Let b(y) = 14*y**2 + 3*y - 8. Let m be b(2). Suppose 5*s = d + 78, 0 = -5*s + 4*d + m + 33. Are s and 15 nonequal?
False
Suppose -4*h + 56 = -5*l, -2*l - 2 = 3*h + 2. Suppose 2*v + 97*j = 99*j - 26, 21 = -v + 5*j. Is l less than v?
False
Suppose -2 = 3*i - 4*i. Suppose a = -2*b - i, 0*b - 3*b + 11 = -2*a. Let n be b + (-1)/(2/2). Is n < 8/9?
True
Let p(d) be the third derivative of -d**6/120 - d**5/20 + d**4/4 + d**3 - d**2. Let k be p(-5). Suppose 5 = -3*g + k. Is g at most as big as 6?
False
Let z = -271 + 283.32. Let n = z - -1.48. Let r = 14 - n. Which is smaller: 4/7 or r?
r
Suppose 5*p + 951 = 4*z, 4*z + 6*p - 7*p - 955 = 0. Is 239 smaller than z?
False
Let j be 2*(((-14)/(-1))/7)/10. Which is smaller: 457 or j?
j
Let t(u) = -5*u**2 - 2*u + 2. Let c be t(1). Let h be (-12)/(-45) + 0 + (-2)/c. Let m = -2 + 3. Are h and m equal?
False
Let s(w) = w - 11. Let q(z) = z**2 + 8*z + 15. Let c be q(-6). Let g be s(c). Let i be (-115)/(-20) + 6/g. Do i and 5 have different values?
False
Let v = -138 + 218. Let p = v - 80. Is p >= 4/7?
False
Let f(w) = 5*w**2 - 2*w - 4. Let n be f(-2). Let o = n - 17. Suppose 2*c = 3*j + o*c - 43, c = -4*j + 56. Which is smaller: j or 14?
j
Let g = -36 - -35. Let o = -11.46 + -0.54. Do g and o have the same value?
False
Suppose 0 = o - 3*w - 2, 5*w - 6 = 3*o + 4. Let i(v) = v**2 + 10*v + 1. Let s be i(o). Let y be ((-1)/(-3))/(-2 + 1). Is s at most y?
False
Let z be 3 + (-2 - -6)/(-1). Let p be ((-3)/(-4))/(8/(128/90)). Which is greater: z or p?
p
Let o be 0 - 4/(4/(-3)). Let x be 2/(-3)*(-72)/32. Are o and x equal?
False
Suppose 4*s + 2*s - 6 = 0. Suppose -s = -2*j - 9. Let m be (12/16)/(-2 + j). Is m at most as big as 1?
True
Let t(z) = -z**3 - 7*z**2 - 5*z + 6. Let x be t(-6). Let d(b) = -b**3 - b**2 - b + 4. Let u be d(x). Suppose -3 + 11 = u*a. Is 2 less than or equal to a?
True
Let y be (1 - 3/6) + 870/4. Do 219 and y have the same value?
False
Let d = 6.41 + -5.9. Let o = d + 4.49. Which is smaller: 2/11 or o?
2/11
Suppose 0 = -2*c + c + 4. Suppose 0 = c*h - 13 - 15. Let m = h - 8. Is m greater than 1/16?
False
Suppose -13*c - 1369 = 2*j - 18*c, -5*j - 3373 = 4*c. Do -677 and j have different values?
False
Let n(f) = f**2 - 5*f - 1. Suppose 5*m - 11 - 14 = 0. Let a be n(m). Let c be (a - -4)*1/(-3). Is -2 != c?
True
Let z = 0.041 + -64.041. Which is smaller: z or -1?
z
Let p = -1.543 + 1.413. Is 3 greater than p?
True
Let x = -1/56 + 163/1288. Which is greater: x or 1?
1
Suppose 7*h - 8*h = -3*f + 300, 4*f + 4*h = 400. Which is greater: f or 98?
f
Let g be 8/(56/49) + 38/4. Suppose -x - 10 = 3*s - 32, 0 = 5*s - 10. Is g at most x?
False
Suppose 189*a = 195*a - 144. Let i be 115 + -4 + (-3)/(-3). Suppose -8 = -5*c + i. Is a less than c?
False
Let u(t) be the first derivative of t**4/4 + 10*t**3/3 - 3*t**2/2 - 6*t - 1. Let f be u(-11). Let w = -472/5 - f. Do -1 and w have different values?
True
Suppose k + 2*k = 0. Suppose -5*m + 36 = -54. Let w be (-6 - -4) + 2 + (-2)/m. Which is smaller: k or w?
w
Let i be (-6)/33 + 81548/(-638). Are 2/9 and i equal?
False
Suppose 0 = -0*f + f - 5*z + 18, 4*f + 15 = z. Let j be f/(-2)*(-16 - 0). Let x = -0.1 - -1.1. Which is bigger: x or j?
x
Let q = 59/24 + -17/8. Which is smaller: q or -124/7?
-124/7
Let s(y) = -y**2 + 19*y + 41. Let b be s(-2). Let n = -37/210 - 1/42. Is n smaller than b?
False
Let r be 4/16 - 306/40. Let g(s) = -2*s**3 + 30*s**2 - 29*s + 6. Let h be g(14). Do r and h have the same value?
False
Let b be ((-24)/20)/((-24)/30)*24. Is b at most 27?
False
Let f = -2.75 + 3.76. Which is bigger: f or 2/3?
f
Let u = 15955062/1045 - 15268. Is 0 at most as big as u?
True
Suppose 2*m - 1 = 5*l - 8, 2 = 2*l. Let h = 61 - 49. Suppose -h + 36 = -6*q. Do q and m have different values?
True
Let s be 114/741 - 8/390. Which is bigger: -0.9 or s?
s
Let z be 411/(-24) - 1/(-8). Which is smaller: z or -110/7?
z
Let b = -11 + 10.81. Let k = b + 0.28. Are 2 and k equal?
False
Let c be 0 + ((-6)/29)/3. Suppose -21*k - 111 = -90. Which is bigger: c or k?
c
Let g be 51*1*(-10)/(-6). Let p = g + -343/4. Suppose 4*r = -2 - 2. Is p equal to r?
False
Suppose -2*c = 3*k + 2*c + 888, -2*k - 5*c = 599. Which is smaller: -2/7 or k?
k
Let q(u) = -u**2 + 8*u + 9. Let g be q(9). Let d be 204/(-10) + (-202)/(-505). Which is greater: d or g?
g
Let a = -10/21 + 8/7. Suppose 104 = 4*v - 0*g + 4*g, -3*v + 4*g + 92 = 0. Is v at most a?
False
Let a = 92 - 109. Let r be (-23)/(-14)*-12 - 12/42. Is r >= a?
False
Let r be 6/36 + ((-9940)/24)/7. Is -46 bigger than r?
True
Let p be (-55)/(-22)*(408/(-410))/(-3). Is 0 > p?
False
Let v = -2445/13 + 186. Are v and -3 nonequal?
True
Let w be ((-2)/(-72))/(2/(-9)). Let k = -4 + 2. Are k and w unequal?
True
Let m(k) = 4*k - 4. Let d be 3146/(-91) - 6/14. Let r = d + 30. Let u be m(r). Which is bigger: -25 or u?
u
Let a = -706 + 707. Which is bigger: 8/95 or a?
a
Let o be 377/65 - (-8)/(-10). Let h(v) = v**3 + 5*v + 0*v - o + 3 + 4*v**2 - 3*v. Let q be h(-2). Is 0 smaller than q?
True
Let i = -661/55 - -61/5. Let t(b) = -5*b**2 + 3*b - 6. Let f(u) = 4*u**2 - 4*u + 6. Let j(y) = -4*f(y) - 3*t(y). Let g be j(6). Which is greater: i or g?
i
Suppose -36*s + 39*s - 15 = 0. Suppose 4*t + 10 = 2*r, -r + 6 - 1 = 5*t. Su