o 12 and i have different values?
True
Suppose 7*r - 3 = -10. Let c = 565 + -2813/5. Let g = 7/3 - c. Which is smaller: r or g?
r
Let y = -4.14 + 4.04. Let u = -113 + -31. Is y greater than u?
True
Suppose -4*n - 8 = 4*w - 0*n, 5*n + 17 = 2*w. Suppose 0 = -2*i + 2*k + 3358, 0 = -28*i + 27*i + 5*k + 1691. Let v = i + -73741/44. Is w at most as big as v?
False
Suppose -26*v + 443 - 172 + 561 = 0. Is v smaller than -46?
False
Let q be (-3)/(1 + 2) - -4*79. Let p = -2861/9 + q. Let c = 12 - 11. Is p <= c?
True
Let y = -621 - 214. Let t = y - -818.26. Let n = -0.26 + t. Is 0 < n?
False
Let j = -262432 + 3449668636/13145. Is j at most as big as -1?
False
Let f be -25 + -2 - (2 + -1). Suppose -4*p - 116 = 4*b - 3*b, b - 3*p + 88 = 0. Let m = b - -72. Are f and m nonequal?
False
Let f = -9 - -19. Let g = -138.8 + 18.8. Let r = -120 - g. Which is smaller: r or f?
r
Let f = -70.35 - -221.36. Let u = f + -151. Does u = -5?
False
Suppose 7*m - 150 = 13*m. Suppose -p = 5*w + 4*p - 50, 3*w + p - 34 = 0. Let z(j) = -j**3 + 13*j**2 - 15*j + 11. Let v be z(w). Is v bigger than m?
False
Let k be (4/(-18) - (-50)/225)/(1 - 3). Does -20208 = k?
False
Suppose -86*h = 128*h + 66*h + 9520. Which is greater: h or 22?
22
Let l = 7771.1 - 7775. Is l at least -30?
True
Let l = -2803443 + 1132594975/404. Let v = l - 16/101. Let q = -619 + 629. Is v at most as big as q?
True
Let v = -6537 - -6540. Let z be (3 + -2)/(17/(-2)). Which is bigger: v or z?
v
Suppose -96*m = -113*m - 1394. Are m and -404/5 unequal?
True
Let s(x) be the second derivative of -7*x**3/6 + 15*x**2/2 - 186*x. Let k be s(2). Which is bigger: 6 or k?
6
Let i = -6503/4 + 57911/36. Let y = -13 + -3. Is i greater than y?
False
Let v = -6135 - -6141. Let k = 17 + -35. Let w be (v/(-7))/(k/126). Which is bigger: w or 23/4?
w
Suppose 2 = -c - 5*h, c + h - 1 = -3. Let q be ((-3)/6)/((-4)/(-56)). Let t(l) = l**3 + 7*l**2 + l + 4. Let a be t(q). Which is smaller: a or c?
a
Let h be 0 + 0/(-4) - (-2 + 45). Let z = 44 + h. Let x be (-2 + z)/((-618)/(-12)). Which is bigger: 1 or x?
1
Suppose c + 3*z - 1468 = 1035, 0 = -4*c + 8*z + 10052. Do c and 2509 have the same value?
True
Let d(i) = 2*i**3 - 24*i + 84. Let w be d(8). Let u = -906 + w. Is 1 greater than u?
False
Suppose -288 = 35*x - 27*x. Let v be (0 + 5)/(4*9/x). Let t(j) = -5*j - 26. Let p be t(v). Is p smaller than -5/22?
True
Let l = 78249 + -41941449/536. Let d = -2721/268 + l. Is -11 at most as big as d?
True
Suppose -26*j + 29*j = -249. Let p = -88 - j. Suppose 4*d = 0, 4*d + 3 = 3*f + 15. Is p smaller than f?
True
Let n(y) = y**3 - 11*y**2 + 9*y + 10. Let f(c) = -2*c + 31. Let o be f(5). Let h = -11 + o. Let d be n(h). Which is bigger: d or -4/29?
d
Let c = 223 - 56. Suppose 0 = 5*j - 7*j + 5*m - c, -5*j = -4*m + 392. Is -77 less than or equal to j?
True
Suppose 7 = 2*n + 29. Suppose 43*z + 14 = 36*z. Let o be z + -2 - (10 - 8). Is o <= n?
False
Let f = -7872 + 7859. Is f greater than or equal to 156?
False
Let u(z) = z**3 - 2*z**2 - 7. Let j be u(3). Suppose j*d - 2 = -8. Let p be d/(-21) - 78/(-1218). Which is bigger: p or -1?
p
Let m(w) = 39*w**2 + 8*w - 5. Let k be m(4). Let d be ((-2)/3)/(84/k). Which is greater: -5 or d?
-5
Suppose 0 = -2*m + 4*f + 20, 4*m + 10 = -4*f + 2*f. Suppose m*b + 30 = -6*b. Do -6 and b have the same value?
False
Let g = 17.3 + -17.284. Suppose -2*d + 4*d = 24. Let f be ((-3)/(-2))/(45/d). Which is greater: g or f?
f
Let u = -2 - -4. Let q be -1 + u + -8 + 19. Suppose -4*v + v + 2*h = -4, 4*v + 4*h - q = 0. Are v and 3 unequal?
True
Let c = -453.626 - -0.626. Let g = -436 - c. Which is bigger: 2 or g?
g
Let r = -2/8777 + -16540/4449939. Do 1 and r have the same value?
False
Let l = 0.05999 + 0.03001. Which is smaller: 88/3 or l?
l
Let z = 4479 + -4484. Which is smaller: -20/11 or z?
z
Let j = 12 - 11. Suppose -t + g + 39 = 0, t - 39 = -12*g + 10*g. Let n be (-3)/t*(-2)/4. Is n at most as big as j?
True
Suppose -3*v - 842 = -n + 483, -4*v - n - 1769 = 0. Let a = -637 - v. Is -195 at most as big as a?
True
Let n = 49.118 + -0.118. Let o = n - 48.979. Let s = o + -35.021. Is 0 >= s?
True
Let y be (-13593)/(-105) + 3 + 1748/95 + -19. Which is bigger: 131 or y?
y
Let d = -51925/6 + 8726. Which is bigger: 72 or d?
72
Let z = -23590 + 16449. Is -7141 >= z?
True
Let o be ((-12)/5 + 2)*(-530 - -10). Let g = o + -84. Does 123 = g?
False
Let b = -840 + 832. Let u be (-24)/b + 105/(-34). Which is bigger: u or 0?
0
Let d(j) = 3*j**2 - j - 16. Let v be d(0). Let h be 111/12 + (12/v)/3. Which is smaller: 8 or h?
8
Let n = 218 - 217. Let w be (-2*(-104)/(-48))/(n/(-18)). Let y(k) = k**3 - 4*k**2 - 10*k + 2. Let f be y(7). Which is smaller: w or f?
w
Let o = 557 - 545. Let k be -4 - 801/(-54) - (-2)/o. Is 13 less than or equal to k?
False
Let c be (216/1890)/(4/14) - (-166)/(-40). Is 26/9 less than or equal to c?
False
Let t = 0.08 - 12.08. Let w(g) = g + 15. Let n be w(-11). Let o be ((-2)/n)/((-30)/4 + 6). Is t < o?
True
Suppose -27378 = -138*v + 1993 + 7475. Let i(c) = -c**3 + 14*c**2 - 5*c + 8. Let a be i(6). Is a <= v?
True
Let a(j) = -j**3 + 9*j**2 - 9*j + 8. Let g be -4 + (-3)/(-7 - -4). Let c be 3/((-45)/40)*g. Let o be a(c). Which is greater: o or -2?
o
Let a be (6/(12/(-242)))/(-4). Let l = -31 + a. Let d = -6.7 + 6.3. Which is smaller: d or l?
l
Let k(r) = 7*r + 53. Let w be k(-14). Let d = 45 + w. Is 7 not equal to d?
True
Let u = 16105/7049 + 1/1007. Let k be 5 + (2 - 3 - 2). Which is bigger: k or u?
u
Let l = -6 - -8/3. Let w = -6/109 - -1022/2725. Let b = w + 9/50. Which is smaller: b or l?
l
Let b = 2/10465 + 11792/47814585. Which is bigger: b or 1?
1
Let q be 7/(-1) + ((-1456)/65)/(-8). Let h be (2 - 1) + 9/(-3). Let x = h - 1. Which is bigger: q or x?
x
Let d = -781 + 36709/47. Which is smaller: d or 5/6?
d
Let q be (-10)/(-4)*(-6 - -4). Let t(g) = -2*g**2 - 6*g + 3. Let j be t(q). Suppose -80 - 64 = 8*n. Are n and j equal?
False
Let p = -556.14 + 786.17. Let l = 230 - p. Is -1 greater than l?
False
Suppose -9821 = -c - 9389. Which is bigger: c or 433?
433
Let q = 3012 + -2965. Let o = 53 - 98. Let z = o + q. Is z > -11?
True
Let z = -5 - -3. Let k = -141 + 179. Suppose 7*t - k = -3. Is t less than or equal to z?
False
Let s(g) = -3*g**2 - 64*g - 707. Let n be s(-68). Is -10227 > n?
False
Suppose 2*l = 2*g + 264, 3*g - 9*l + 10*l = -372. Are g and -132 non-equal?
True
Let c(i) = i**3 - 12*i**2 + 17*i + 1. Let q = 6 + 1. Let a be c(q). Is a less than -125?
False
Let v = 105 + -109.7. Let j = v + -18.3. Let r = 25 + j. Which is smaller: r or 12?
r
Let u be -8 - 97*(-6)/(-30). Let t = 136/5 + u. Which is bigger: 254 or t?
254
Suppose -10*g - 103 = -113*g. Is -2/5505 > g?
False
Suppose 4*l - 30 = -34, 5*l + 1195 = 5*t. Are t and -6/17 equal?
False
Let h = 66 + -65.8. Let t = 27 - 23. Let p be 64/(-296)*(-1)/t. Which is smaller: h or p?
p
Suppose 146*m - 131*m - 11880 = 0. Let j be (10/50)/(0 + m/(-10)). Do -2 and j have the same value?
False
Let i be 49761/(-342)*16/6. Is i bigger than -1160/3?
False
Let r be 1706/4 - (-9)/(-18). Suppose 0 = -4*t - 0*t - 3*u - 425, -4*t - 2*u - r = 0. Which is bigger: t or -106?
-106
Let u = -68 + 69. Let i = -1 + u. Let o = 1.1 - 1.086. Is i at least o?
False
Suppose 0 = 5*v - 2*w - 29 - 13, 5 = v + 3*w. Let a be 2/v - (-63)/36. Suppose a*g = 3*z + 151, -4*g + 2*g = z - 131. Is 68 at most g?
True
Let j = 120 - 106. Let w = j - 15.2. Let s be ((-3)/(-9))/((-14)/12). Which is smaller: s or w?
w
Let y(r) = -2*r**3 + 12*r**2 - 2*r + 11. Let l be y(6). Which is greater: l or -1/395?
-1/395
Let y = -1119 - -2056. Let b = -771 + y. Is b not equal to 1/2?
True
Let s = 645 - 645.0527. Let k = s + 0.052. Which is smaller: k or 1?
k
Let z(k) = 3*k**3 + 2*k**2 - 1. Let d be z(1). Let b(q) = 2*q**2 + 18*q + 40. Let v be b(-7). Let p be 2/(-3) + 8/v. Which is bigger: p or d?
d
Let z = -152.9 - -147. Let m = -1.05 - -0.987. Let p = m + -0.037. Is p greater than or equal to z?
True
Let f be 411647/132770 + 29/(-290) + -3. Is f at most 1?
True
Let s be (-6)/(-208) + (-27)/6 + 791/182. Which is bigger: -68 or s?
s
Let n = 1.19 + 536.81. Let l = n - 538. Is -19 at most l?
True
Suppose -5*w = 2*o + 36349, 0 = 35*o - 43*o - 56. Is -7266 at least w?
True
Let c = 418 - 192. Let o = c - 225.97. Let b = 0.7 + 