ller: 2/7 or h?
h
Suppose 2*y = 15 + 19. Do y and 95/6 have the same value?
False
Let z be (-5)/15 - (2 - 2). Let s = 29 - 55. Let i = s - -25. Which is greater: z or i?
z
Let s(z) = z**3 - 8*z**2 + 6*z - 7. Let v be s(7). Let a be ((-5)/18)/(7/v). Let i be 0*3/(-2)*(-2)/3. Which is smaller: i or a?
i
Let c(l) = -l**2 + 4*l + 7. Let y be c(5). Suppose -20*i = -86 - 94. Let z be y/4 - i/18. Which is smaller: 4 or z?
z
Let h = 4 - -28. Let l = 12 - h. Is l less than -21?
False
Let y be (1/(-14))/(3/(-6)). Which is smaller: 1/8 or y?
1/8
Suppose -q - 7 = 1. Let x = -14 - q. Let a be (1 - -2)/(x/(-8)). Which is smaller: 0.1 or a?
0.1
Let c be (9/6)/(-3)*240/8. Is c > -15?
False
Let o be (20/6)/((-3)/9). Let p = 13 + o. Let x be (-5)/15*p/2. Is x > -1?
True
Let x be ((-4)/(-16))/((-3)/(-12)). Is x != 8/33?
True
Suppose i - 48 = 2*y, 5*i = -52*y + 48*y + 254. Which is bigger: i or -2/17?
i
Let o be 2/6 + (-686)/42. Let x be (5 + -8)/((-6)/o). Are -8 and x equal?
True
Let c be (-12)/(-30) - (-2 - (-652)/(-20)). Let h(f) = 37*f**2 + f. Let r be h(-1). Do c and r have the same value?
False
Suppose 10*c + 27 = 11*c. Suppose h - c - 22 = 0. Which is smaller: 1 or h?
1
Let w be ((-186)/81)/(-2) + -1. Let d = w + -13/27. Let y = 142.1 + -142. Which is smaller: d or y?
d
Let q(p) = -p**3 + 10*p**2 - 12*p - 4. Let w be q(4). Let t = w + -45. Let v be ((-5)/(-50))/(2/(-32)). Which is smaller: t or v?
v
Let d = -0.22 - -0.35. Let x = -4180 + 12541/3. Which is smaller: x or d?
d
Suppose -5*v - k + 3 = 24, -4*k + 8 = -3*v. Let t = 1 - 2. Let d = t - -2. Is d smaller than v?
False
Let s = 283 + -283. Let a be (-1)/(-13)*(-15452)/4. Let w = a + 297. Which is smaller: s or w?
w
Let q = 74 - -95. Is q <= 168?
False
Let f be (-9)/12 + (-18)/(-88). Suppose -2*x + 3*x = -3. Let u = -4 - x. Is u >= f?
False
Let u = -48 - -49. Which is smaller: u or -1?
-1
Let y = -5.6 - -6. Let g be 5/(210/234) + -6. Is y at least g?
True
Let y = 5 + -1. Let f = -12 - y. Let o = f + 42. Is 26 > o?
False
Let k = 9 + -23. Let v = k + 14. Suppose -4*x + 11 + 1 = 0. Is x smaller than v?
False
Let z = -8569 - -1242512/145. Which is smaller: 0 or z?
0
Let v = 3/636919 + 4427223918/10827623. Let f = v + -409. Which is smaller: f or 0?
f
Suppose r = -4*k - 135, 0 = -2*k + 2*r + 15 - 85. Let p be -4 - (k + 2) - -4. Is p at most as big as 30?
False
Suppose 0 = g + 2*z - 3, 5 = -g + z + 2. Is g greater than -2?
True
Let i be (-1*10*-8)/((-2)/5). Let r be i/52 - (-4)/(-26). Let a = -1 - 1. Which is bigger: r or a?
a
Suppose -44 = 5*j - 24. Let h be j + (-7)/((-21)/(-6)). Which is greater: h or -4?
-4
Let m be (-2103310)/675 + (-2 - 1). Let z = m + 3119. Which is bigger: 0 or z?
0
Let b = 100483/37 + -2716. Is b at least as big as 0?
False
Let i = 0.004 - 0.02. Let k = i - -0.076. Let b = -138 - -964/7. Is k greater than or equal to b?
True
Suppose 3*u = 2*f - 202, 0 = -5*f + f + 4*u + 396. Is f at most as big as 95?
True
Suppose -589 + 214 = 75*s. Let o(p) = -p**3 + p**2 + 4*p. Let a be o(3). Which is bigger: a or s?
s
Let d be 12/(-1 + (-5)/(-2)). Let g = 2 - -7. Which is smaller: d or g?
d
Suppose 4*d - 27 = 3*a, 3*a = 8*a + 25. Let i be ((-1)/d)/((-14)/(-6)). Is i at most as big as -1?
False
Suppose 5 + 7 = -4*c. Suppose 0 = -4*n + 6*n - 4. Suppose 3*k + n = -10. Are k and c nonequal?
True
Let f = -0.41 - -0.71. Are f and 10 equal?
False
Let u = -56 + 43. Is u <= -14?
False
Let c be -3 - (-59)/(-20)*-2. Let y = -5/2 + c. Is y less than or equal to 4?
True
Suppose 0 = -13*g - 5*g + 18. Is -3/89 greater than g?
False
Suppose 0*v = 19*v - 152. Suppose 6*m = 3*o + 3*m + 9, 0 = 2*o + 5*m - v. Which is smaller: o or -3/74?
o
Let c = 563611371979/8175 + -68943287. Let v = -4/327 + c. Are v and -1 non-equal?
True
Let l(o) = 2*o + 22. Let v be l(-14). Let r be (3/v)/((1435/(-10))/(-7)). Does r = -1?
False
Let s(l) = -4*l - 76. Let f be s(-21). Let n be 8 + (-4)/(-6)*3. Suppose -5*q - n = 0, -2*w + q = 4*q - 12. Which is smaller: w or f?
f
Let t = -0.0349 - -0.0049. Which is smaller: t or -3.4?
-3.4
Let x = -24 + 44. Let u = x - 21.5. Let k = -1.7 - u. Which is bigger: k or 2/11?
2/11
Suppose -2*h = -v + 2*h + 19, 2*h + 14 = -4*v. Suppose 48 = -x + r, -r - 40 = -5*x - 272. Let s be 8/40 - x/(-155). Which is greater: s or v?
s
Let b = -0.036 - -0.666. Let o = b + -0.63. Is o greater than -6.3?
True
Let o be 3/18 - 62/12. Let u(x) = 2*x**2 - 62*x - 5. Let m be u(31). Are o and m unequal?
False
Let i = -10/181 + 6869/127605. Which is greater: i or 0?
0
Let u = 118 + -123. Is 9.1 at most as big as u?
False
Let k = -29.28 + 29. Let r = k + 0.3. Is r bigger than -3?
True
Let i = 10846/3 + -3713. Are i and -99 equal?
False
Suppose 0 = -v + 4*n - 108, -2*v - 97 - 75 = 3*n. Is -90 >= v?
True
Let a(d) = 4*d**3 - 23*d**2 - 23*d - 12. Let w(l) = 9*l**3 - 47*l**2 - 47*l - 25. Let r(v) = 7*a(v) - 3*w(v). Let n be r(21). Is n bigger than 11?
True
Suppose -2*a - 11 = 3*w - 3, -a + 2*w = -3. Do -4.4 and a have the same value?
False
Let g = -10012/7 - -1430. Let d = -3.4 + -0.3. Is g less than or equal to d?
False
Let q = -0.5146 + 0.0546. Which is smaller: q or -0.2?
q
Let u(w) = 7*w**2 + 15*w + 1. Let t(x) = 20*x**2 + 44*x + 2. Let n(p) = -6*t(p) + 17*u(p). Let a be n(-10). Are 5/2 and a non-equal?
True
Suppose -25*u - 3595 - 1055 = 0. Is u smaller than -186?
False
Let q be 2*(95/10 - 2). Let v be 21/15 - (-9)/q. Let d be (-24)/4*5 - v. Which is bigger: -31 or d?
-31
Let d(n) = 60*n - 1035. Let o be d(11). Do o and -375 have different values?
False
Let u = -14 - -7. Let t(i) = -2*i - 9. Let b be t(u). Suppose -5*k + 75 = -2*n, 29 = -2*k + b*k + 2*n. Is 13 <= k?
True
Let z = 9.1 + 2.9. Let o = 9.2 - -0.8. Let u = z - o. Do u and -2 have different values?
True
Let o = 5 - 5.16. Let j = 1.56 + o. Let w = j + -0.8. Is w equal to 2/5?
False
Let z = 107567/604 + 24/151. Let u = z - 181. Which is smaller: -2 or u?
u
Suppose -9*f + 3 = -12*f. Let d be f + ((-2)/5 - 10/(-25)). Is 1/21 <= d?
False
Let q be 7 + -3 - (-6)/(-3) - -23. Suppose 0 = 4*x - 71 - 33. Which is smaller: q or x?
q
Let j be ((-60)/(-72))/(4/3). Suppose t - 4*s + 11 = 0, -3*t - 21 = 2*t - 3*s. Let f be t + 5/(0 - -1). Is j at most as big as f?
True
Let g be 2/(-5)*70/12*-39. Which is bigger: -2 or g?
g
Let l = -23 + 16. Let u = 1 - l. Let p = u - 10. Which is bigger: p or -1?
-1
Let v = -1167 - -1166. Let n = 2713/192225 - 2/2563. Are v and n unequal?
True
Let m = 29 + -22. Suppose 0 = 3*s - m*s + 4. Is -2 greater than s?
False
Let f be 12/10 - ((-23552)/720)/(-23). Which is bigger: f or 0.011?
0.011
Let t = 24 - 140. Let c = t + 1278/11. Is c less than -1?
False
Let x be (13/(-26))/(2/(-32)). Is 47/5 greater than x?
True
Let t = 146/3 + -440/9. Suppose -2 = z - 7. Suppose 0 = 5*p - 0 - z. Which is smaller: p or t?
t
Let a be (-5 - (-140)/30)/((-3)/(-9)). Are a and 2/1607 non-equal?
True
Let s(v) = 2*v**3 + 21*v**2 - 11*v - 32. Let p be s(-11). Suppose -3*j = 2*l + 60, 3*l - 3*j + 90 = -8*j. Is p > l?
False
Suppose -2640 = -1237*z + 1245*z. Which is smaller: z or -331?
-331
Let i(p) = 19*p - 323. Let j be i(15). Which is greater: 1 or j?
1
Let h = -1 + 4. Let j = -5/693 - 476066/3465. Let k = j - -137. Which is smaller: k or h?
k
Let g = -62/1037 - -18/61. Is g at least as big as -2/3?
True
Suppose 0 = 4*k - 635 - 333. Let g = 1677/7 - k. Which is smaller: g or -1?
g
Let m(w) = -4*w - 26. Let h be m(-7). Let y = 0 + 1. Let o be (-1*1)/(y - 0). Is o bigger than h?
False
Let w(z) = z + 20. Suppose q + 2*c + 9 = -c, q + 13 = -2*c. Let a be w(q). Do a and -1/11 have different values?
True
Suppose -s = -0*d - 4*d + 4, 0 = 3*s. Is 3/1504 <= d?
True
Let x be ((-2)/(-5))/(13/5). Let y be 6*10/180*-3. Which is bigger: y or x?
x
Let z(v) = -2*v**3 - 23*v**2 - 10*v + 10. Let o be z(-11). Which is greater: o or 2/673?
2/673
Let m be ((-12)/870)/(46 + -24). Is -1 at least m?
False
Let t = 145 - 462. Do t and -317 have the same value?
True
Suppose -3*y - 2*y = 160. Let c = 17 + y. Let n(i) = 2*i**3 + 5*i**2 - 2*i - 11. Let v be n(-3). Is v > c?
True
Let c(f) = 2*f**3 - f**2 - 28*f - 11. Let a be c(9). Is a greater than 1114?
False
Let d(u) = -u**3 + 3*u**2 + 6*u + 2. Let f be d(-1). Is f at least 1/406?
False
Let d(v) = -2*v**2 + 9*v - 7. Let t be d(3). Which is smaller