ger: k or g?
g
Let u be ((-268)/12)/((-3)/18). Let v = -668/5 + u. Let m = -0.4 + -0.6. Do m and v have the same value?
False
Let p = -4941952/657 + 7522. Is 0 < p?
True
Let y(f) = f**2 - 8*f - 10. Let p be y(9). Let j(l) = 7*l**2 + 2*l + 1. Let n be j(p). Let a be (n - 7)/(-1 - 0). Is -2/11 at least as big as a?
False
Suppose 9 = -3*o, 0*p - 104 = 2*p - 4*o. Which is smaller: -56 or p?
p
Suppose o = 3, 2*f - 5*o - 710 = -729. Suppose 0*y = -2*y - 2. Let s be y/3 - 5/3. Are s and f unequal?
False
Suppose 0*x - x + 3 = 0. Suppose 0 = -4*b + x*b + 10. Suppose -d = 3*k - 6*k + 10, -5*k + b = 5*d. Is k less than 5?
True
Let o = -11/8 + -1/8. Let y be 4*-5*(-14)/(-35). Let p be (-1)/((-4 - 0)/y). Is o less than p?
False
Let i be (2 - (-70)/(-20))*6. Let q = 1.3 - 0.9. Is i less than or equal to q?
True
Let g be (-1)/(-7) - 162/840. Suppose 2*t = -6*t. Which is smaller: t or g?
g
Suppose -15*z = -9*z + 1476. Is -246 bigger than z?
False
Let o = -5 + 4. Let b = -8 - o. Is b > -9?
True
Suppose 0 = -2*r - 18 + 10. Let u = 29 - 38. Which is smaller: r or u?
u
Let o = 7 + -7. Let m = -13183/12 + 1098. Which is smaller: o or m?
m
Let w(d) = 50*d - 80. Let p be w(14). Do p and 620 have the same value?
True
Let h be (-177)/12 + 1/(-4). Let n = 12 + h. Let a be (-2)/(-2) + 0 + n. Which is greater: -3 or a?
a
Let t = -7.11 + 0.11. Is t less than or equal to -0.16?
True
Suppose 0*o + 5*o - 2*y = -50, o = -3*y + 7. Let v be (-32)/64*(o/(-39))/2. Which is bigger: v or -1?
v
Let k be 216/74 + (-22)/(330/45). Let l(j) = -j**2 + 6*j - 6. Let i be l(5). Which is greater: i or k?
k
Let k = -3.5 + 3.6. Let a be -3 - (3 - -1 - 3). Let d be (-3)/(-6) + (-2)/a. Do k and d have the same value?
False
Let a = -139127/124 + 1122. Is 1 >= a?
True
Suppose 194*n + 172*n = 404*n + 38. Suppose -2*g + 21 = -5*v, 3*v + 7 - 1 = -g. Is v bigger than n?
False
Let u = -1 - -2. Let q be ((-252)/(-210))/(-1 + 146/5). Which is bigger: q or u?
u
Let g(d) = -32*d**2 - 5*d. Let x be g(-4). Let c be (4 - (-1974)/x)*2. Is c less than or equal to -1?
False
Let z = 10207 - 6751. Let x = -3438.81 + z. Let p = 17 - x. Which is smaller: -0.1 or p?
p
Suppose -2*h = -4*h. Let g be -3 + (5 - -3) + 2. Let a = g - 25/3. Which is smaller: a or h?
a
Let c be -12*(-9)/(-2)*2. Is -109 > c?
False
Suppose 4*g + 16 = 0, -5*j - 2*g - 4 = -1. Suppose -3*d + f = j, d - 2*d + 5 = -3*f. Are d and 5.1 nonequal?
True
Suppose -19*h + 29*h = -2750. Is h < -275?
False
Let p be (3 - 6/45) + 4/30. Let k(h) = -h**3 + 5*h**2 - 6*h + 9. Let y be k(p). Is 5 > y?
False
Let c = -24 + 6. Let l = 17 + c. Which is greater: l or -2?
l
Let s = 18.62 + -102.2. Let m = s + 84. Are 0 and m equal?
False
Let f = -6.9 - -7. Let a = -3.8 - 15.2. Which is smaller: f or a?
a
Suppose -265*m - 670 = -275*m. Is m at least as big as 68?
False
Let o be 2940/1029*(-1)/((-110)/(-8)). Let v be (1 - 1) + 14/22. Let n = o + v. Which is bigger: -0.3 or n?
n
Let x = -2501 + 1583. Let a = x + 1797/2. Which is smaller: a or -19?
a
Let t be (-7)/(-2)*18/21. Is t equal to 12/5?
False
Suppose -40 = 2*q + 3*q. Let h = 627 + -636. Is q equal to h?
False
Let l = -0.0277 + -0.3063. Which is bigger: 1 or l?
1
Suppose 0 = -2*g + 4*g + 5*d - 450, -2*g = -d - 474. Which is smaller: 234 or g?
234
Let a(b) = -b**3 - b**2 + 8*b - 10. Let x be a(-5). Let i = 50 - x. Which is greater: -1/2 or i?
i
Let d(i) = 5*i**2 + 3*i - 3. Let q be d(2). Let m = q - 22. Which is smaller: 2/5 or m?
2/5
Let a = 41 - 14. Let l = 28 - a. Suppose -k + l = -5. Which is smaller: -0.1 or k?
-0.1
Let i(j) be the second derivative of j**5/10 + j**3/3 + j**2/2 - j. Let w be i(-1). Let a be 2/(5 + w)*-1. Is -3/10 != a?
True
Suppose 44 + 8 = -4*c. Suppose 166*w - 169*w = 24. Is w at most c?
False
Let l be -7*1 - 17/(238/(-1288)). Is 0 at most l?
True
Let a = -45.9 - -46. Is a at most -11.3?
False
Suppose 3*m + 50 = -214. Is -177/2 <= m?
True
Let r = 15 + 25. Suppose x + r = 11*l - 6*l, -5*x - 88 = 3*l. Is -22 less than x?
True
Let j(t) = t**2 - 4*t. Let g = -23 - -36. Suppose -g*k = -8*k - 20. Let c be j(k). Is 3/4 < c?
False
Let o = 2866/4991 + -2/713. Let y(c) = 1 - c**2 + 5 - 4 + c + 2*c**2. Let z be y(0). Is z greater than o?
True
Suppose 3*w - 15 = -u - 2*u, 2*u - 3*w = -15. Let n be (-350)/225*-1*3 - 6. Which is greater: n or u?
u
Let g = -515.2 - -515. Is g > -2/519?
False
Let n(o) be the third derivative of o**4/6 + 5*o**3/6 + 9*o**2. Let a be n(-5). Let c = a - -15. Is c smaller than 2/19?
True
Let t(b) = b**2 - 3*b + 3. Let u be t(2). Let p = -2018 + 58516/29. Which is bigger: p or u?
u
Let n(k) = -k**2 - 6*k - 4. Let p be n(-4). Suppose -p*x = 2*o + 14, 2*x = -5*o - 5 + 2. Is -20 at most as big as o?
True
Suppose 5*a - 50 = 80. Let l be (16/(-6))/(a/39). Is l bigger than -7?
True
Let t = 0.216 + 194.784. Is 1 equal to t?
False
Let f = 813.2 - 813. Is -116 at least f?
False
Let j = 16/27 + -599/54. Which is greater: -1 or j?
-1
Let c be (1 + -30)/(2 + -3). Let b = c - 49. Is -1 less than or equal to b?
False
Let d(p) = -p - 2 - 6 + 0 + 14. Let k be d(6). Are k and -1/19 non-equal?
True
Suppose -2*f + 15 - 9 = 0. Suppose 0 = f*x - 6*x. Let g = 278 + -2506/9. Which is greater: g or x?
x
Let p = 218613/124 - 1763. Is p not equal to 0.1?
True
Suppose -r + 5 = 0, r + 122 = -4*c + 3*r. Which is smaller: c or -24?
c
Suppose 4*k = 3*a - 33, -1 = -a - 5*k - 9. Which is smaller: -1/3 or a?
-1/3
Let s = 36 + -33. Let b be 12 + -6 + s*-1. Which is smaller: -2 or b?
-2
Let w = 3 + -1. Let k be w/(-6)*(-3)/(-2). Let v be ((-8)/(-30))/(32/(-80)). Is v greater than or equal to k?
False
Suppose -5*n = 5*o - 2225, 15*n = 18*n - o - 1323. Which is greater: n or 444?
444
Suppose -67*b - 14*b = -567. Which is bigger: 232/31 or b?
232/31
Let s be (32/(-18))/(-4 - (-50)/15). Is 0.01 at most as big as s?
True
Let y = -65.02 + -134.1. Let w = -196 - y. Let a = -0.12 + w. Is a at most 0?
False
Suppose 0 = 3*h + 15, 49*m + 2*h + 8 = 47*m. Let a be 1/3 - (-68)/(-114). Is m >= a?
True
Let a be 4/((-200)/(-685)) - -1. Is a smaller than 14?
False
Suppose -4*f + 4*r = 408, 3*r = -3*f + r - 306. Let p = 96 + f. Is -27/4 at most p?
True
Suppose 8*x = -2*x - 500. Which is smaller: x or -51?
-51
Suppose -2*l = -3*l + 3. Let h be l/(-1) - 31/(-10). Suppose -2*g + 0*g - 2 = 0. Which is smaller: h or g?
g
Suppose 8*v - 6060 = 3*v. Let g be 2/15 + v/(-990). Which is bigger: g or -2?
g
Let u(r) = -3*r**2 - 6*r - 6. Let g(o) = 13*o**2 + 25*o + 25. Let p(w) = 2*g(w) + 9*u(w). Let t be p(-6). Is t > -17?
True
Suppose -2*v = -5*q - 8, 5*q + 3*v = 4*v - 4. Suppose 30*j - 26*j - 24 = q. Is 9 at most j?
False
Let o = 282 + -13253/47. Which is smaller: 0 or o?
0
Let r(a) = -2*a - 14. Let f be r(-11). Let i be ((-27)/(-15) - 2)/(f/(-28)). Is -0.1 <= i?
True
Let p = 1/7500 - 30247/1852500. Is p <= 0?
True
Let g = -0.492 + 0.44. Which is smaller: g or -6?
-6
Suppose 3*s + 0*s + 3 = 0. Suppose 8*t - 41 = -1. Suppose -2*j + u - 16 = t*u, 0 = 4*j - 4*u - 4. Is j smaller than s?
True
Suppose -l = -4*l + 51. Suppose -10 = -s + l. Let d = s + -28. Is -2/45 less than or equal to d?
False
Let r = -0.0428 + -2.5572. Which is bigger: -2/11 or r?
-2/11
Let k be (-2)/(-16) - (-45668)/224. Suppose 63*f = 60*f + k. Are 68 and f nonequal?
False
Let x(y) = -y - 16. Let s be x(-13). Suppose -4*m = -3*p + 11, 10 = 5*m - 0*p + p. Let i be (-3)/s + -1 + m. Is i smaller than -1?
False
Suppose -2*v = -2, -12*d = -8*d - 3*v - 237. Which is bigger: 70 or d?
70
Let u = -0.178 - -0.063. Let m = u + -0.085. Is m equal to 2/89?
False
Let l(f) = -f**3 + 4*f**2 + 13*f - 8. Let o be l(6). Let q be -20*3/(-48)*o/(-8). Let n be -1 + 2/1 + -2. Which is bigger: q or n?
q
Let t be 2 + (-6)/(-18)*-3*63. Is t greater than -3?
False
Let h = -6/11 - -7/11. Does 0 = h?
False
Let u(l) = -2*l**2 - 5*l - 14. Let o be u(-6). Let p be (-1552)/o + (2/(-7))/(-1). Is p > 28?
False
Suppose -j = -5*q + 70, 3*q - 2*j + 16 = 51. Which is smaller: q or 2?
2
Let i be 43 - -2 - (20 - 18). Is 43 <= i?
True
Let a be (-6)/(-2)*((-292)/(-108) - 3). Let n be 3/45 - (-1)/3. Which is smaller: a or n?
a
Suppose -4*x + 57 = -7*x. Let o = x - -19. Is -5 greater than or equal to o?
False
Let w(f) = f**2 + 7*f - 2. Let y be w(-7). Let k be y*(110/(-35) + 3). Let z = 5.04 - 0.04. Is z equal to k?
Fals