ler: g or -3?
-3
Let h = 569/45 - 115/9. Let b = -6 + 0. Let k = b + 6. Is k less than or equal to h?
False
Let s(b) = -2*b**2 + 55*b + 27. Let m be s(28). Does -4/113 = m?
False
Suppose 6*g = 9*g - 12. Suppose -3*m + 6*m - 1 = g*s, -3*m = 2*s - 13. Is 2 not equal to s?
False
Suppose 2*x - 22 = -3*b, 0 = 2*b - 3*x + 6 + 1. Let k be 1*(0 + -1) - 199. Let r be b/(-18) + k/(-630). Which is greater: r or 1?
1
Let i = 845 + -863. Which is greater: 1/22 or i?
1/22
Suppose -w - 1640 = -5*w. Let i = w - 4507/11. Let m = 22 + -23. Which is greater: i or m?
i
Let d(q) = 2*q**2 - 2*q + 2. Let v be d(1). Let u be 45/18*v/(-30). Which is smaller: u or 2/9?
u
Let v = 6.1 + -6. Let w = 7.1 + -8. Let z = w - v. Is 6 != z?
True
Let h be (-15)/20*1/(1/4). Suppose -p = -m - 1, -p - 5 = 2*p + 5*m. Is h bigger than p?
False
Let c = -20 - -28. Suppose 0 = -3*v + 4*m + 2, 2*m - c = 2*v - 5*v. Suppose v*u - 5 = 7*u. Which is smaller: -4/3 or u?
-4/3
Let x = 310 - 312. Which is greater: x or -30/37?
-30/37
Let m(j) = 18*j - 2. Let p be m(-1). Let x be p/(-10) - 1/1. Let s = x - 10. Is s at most -9?
True
Let o be (2/((-128)/(-24)))/((-678)/8). Is 1 > o?
True
Let v = -45 + 78. Let l be (v/9)/(222/(-21618)). Let o = -357 - l. Are 0 and o nonequal?
True
Let k = -22 + 55. Let h = -33 + k. Which is smaller: -0.003 or h?
-0.003
Let t(d) = 6*d**2 - 1. Let y be t(-1). Let j(i) = i**3 - 4*i**2 - 5*i - 3. Let x be j(y). Is -22/9 >= x?
True
Let b be (-506)/759 - (-518)/660. Which is bigger: 0 or b?
b
Let p = -0.0302 + 1.0302. Which is bigger: -13/23 or p?
p
Suppose 1 + 5 = 2*m. Let h(w) = -w**2 + 12*w - 27. Let p be h(12). Let x = p + 30. Is m != x?
False
Let b = 92 + -87. Let s = -8 - -1. Let v = b + s. Which is smaller: v or 3/7?
v
Let a = -0.27 - 0.38. Let p = a + -0.35. Is 0.8 <= p?
False
Suppose t = 2*j - 53, -t + 4*j + 138 = -3*t. Let o = t + 101. Is 0.1 smaller than o?
True
Let v = 6425/741 - 1/247. Let s be (-4)/10 - 1848/(-220). Is s at least as big as v?
False
Suppose -3*g + 0*g = 6. Let x be 4 - 23/(2277/486). Which is smaller: g or x?
g
Let c = -551 - -559. Is c greater than or equal to 0.068?
True
Let u be (0 - (-6 + 1))*1. Let a = -6793 + 6795. Which is greater: u or a?
u
Let l be ((-517)/(-94))/(2/4). Which is smaller: l or -0.5?
-0.5
Let b = -0.09 - 0.51. Let a = b + 2.6. Are 0.09 and a non-equal?
True
Let k be -20 + (-63)/45*-5. Does k = -69/5?
False
Let f = 0.61 - 0.6. Let v = f + -0.01. Let c = -40 + 40.04. Which is smaller: v or c?
v
Let w be ((-1)/(-1))/(110/8470). Which is bigger: 75 or w?
w
Suppose -10*o + 120 = -10. Which is smaller: o or 3?
3
Let z(o) = -o. Let j(i) = 0*i - 3 - 2 - 5*i. Let t(c) = -j(c) + 4*z(c). Let x be t(-5). Which is smaller: x or -5/7?
-5/7
Let c be 7/2*2 - 0/15. Which is greater: 12 or c?
12
Let l = -2655 + 2653. Is l smaller than -32/27?
True
Let r = -15 + 15. Let k = 0.7 - -5.3. Which is greater: k or r?
k
Let d = 20 - 10. Let c = 233 + -230. Suppose -2*x - 10 = 0, -m - x + 27 = c*m. Is m at least as big as d?
False
Let s = -0.91 + 41.91. Suppose 0 = 2*v + 4*u - 0 + 2, 4*v = 2*u - 4. Is v greater than or equal to s?
False
Let v = -152 + 152.09. Which is bigger: 0 or v?
v
Let s be -2 + 0 - (-3 + 4). Let b = -1 + 17. Suppose 3*x = -4*c - 20, 0 = -4*x - 0*x - b. Is s less than or equal to c?
True
Suppose 3*j + 25 = -86. Let g = j + 34. Which is greater: g or -13/4?
g
Let i be 8/(-12) - (-16)/(-3). Let p = i + 6. Is -1/54 at least p?
False
Suppose 5*p - 36 = 194. Suppose 0 = 44*g - p*g - 12. Is -8 < g?
True
Let i = 755/6141 + 2/267. Let n = 13 - 9. Suppose 5*b - n*j = 8, 4*j - 3 = -3*b - 11. Which is bigger: b or i?
i
Let k(a) = -a**3 - 4*a**2 + 5*a + 6. Let v be k(-4). Let m be ((-20)/9 - (-16)/72) + -12. Let j = v - m. Which is smaller: 1.5 or j?
j
Let o(s) be the second derivative of s**3/6 - 13*s. Let k be o(4). Are 30/11 and k equal?
False
Let f be 171/(-318) - (-2)/4. Let x(d) = -d**3 + 12*d**2 - 15*d - 49. Let u be x(10). Are f and u equal?
False
Let r = 22 + -21.9. Is -7.2 != r?
True
Suppose 3*x = -5*m - 0*x - 40, -3*m - x = 28. Is m greater than -13?
True
Let y = 24 + -62. Let f = -68 - y. Let g = 30 + f. Which is smaller: 2.1 or g?
g
Let s be (-40)/18 + (-2)/(-9). Let x = -4916/11 + 446. Is x equal to s?
False
Let c = -931 - -523. Are -408 and c equal?
True
Suppose 5*y = -2*q + 44 + 246, -4*y = 2*q - 286. Which is greater: 133 or q?
q
Let y be 80/(-3)*(-3)/2. Let g be (8/(-10))/((-18)/y). Let b = g - 41/18. Is b at least 2?
False
Suppose 0 = 5*o - o - 4. Let m be (9/(-12))/(7/8 + -1). Let i be 4 - (5 - m/(-6 - -4)). Which is smaller: o or i?
i
Suppose -2*g - 42 = 4*j, 0*j - 4*j - 47 = 3*g. Suppose 8 = 2*b + 2*b. Let c = -5 - b. Is c not equal to j?
True
Suppose -11*o + 312 = -7*o. Let c = o - 97. Is -17 != c?
True
Let z = 824 + -798. Is 20 equal to z?
False
Let h be (((-2)/14*0)/(-1))/4. Is -3/32 > h?
False
Let k = 16.085 + -0.085. Let h = k + -16.05. Which is smaller: -12 or h?
-12
Let b be ((-1)/2)/((-1)/(-2)). Let f = -1014/139 - 92565/973. Let d = f - -102. Which is smaller: b or d?
b
Suppose 0*k = 2*k + 26. Let s = -30 - k. Let o = -2 - 15. Are o and s unequal?
False
Let i(l) = l**2 + 13*l - 113. Let m be i(6). Which is greater: -10/161 or m?
m
Let r be (-4)/2*(-3)/2. Let o = 1689 - 1685. Which is greater: o or r?
o
Let h(k) = -9*k**3 - 13*k**2 - k + 13. Let f(i) = 7*i**3 + 11*i**2 - i - 12. Let y(q) = 4*f(q) + 3*h(q). Let z = 3 + -9. Let b be y(z). Is b at least -4?
True
Let q(f) = f**2 - 6*f - 92. Let y be q(-7). Is y greater than -77?
True
Let y = -86.001 + 0.001. Let t = 78.6 + y. Let d = 7 + t. Is 0.2 >= d?
True
Let t be (-1)/(5/2*-2). Let h = 25 - 42. Let w = h - -18. Which is smaller: t or w?
t
Let a(p) = 2*p + 4. Let x be a(-5). Let n(g) = -4*g + 1. Let t be n(2). Which is smaller: t or x?
t
Let l(q) = -2*q**3 + 2*q**2 - 5*q - 11. Let n be l(-2). Let v(b) = -5*b - 2. Let p be v(-5). Is n at least p?
True
Suppose 0 = 11*m + 1650 - 110. Is m != -142?
True
Let a(p) = -p**2 + 5*p + 9. Let b be a(7). Let v = b + 5. Is v less than -2/9?
False
Let p = -43 + 80. Let a = 40 - p. Let u(v) = -v - 4. Let r be u(-5). Is a < r?
False
Suppose -r - 5*i + 4 = 0, r = 4*r + i + 16. Which is smaller: -8 or r?
-8
Let o(f) = -f**3 - 12*f**2 + f + 11. Let b be o(-12). Let s be b*4 - (6 + -7). Let p be 70/(-28)*(-1)/s. Is p at most 2/3?
True
Suppose -215 - 21 = -2*w - 2*d, -5*d = -5. Is 116 > w?
False
Suppose -2806 = -5*m - 0*n + 2*n, 3*m = 4*n + 1692. Let f = m + -298. Let k be (-4)/26 + f/182. Is 2 less than k?
False
Let u = -37 - -29. Let f be 136/(-32) - 2/u. Which is greater: -1 or f?
-1
Suppose 0 = 2*o + 4*c - 8, 0 = 4*o - c - 4*c + 49. Suppose -z + 0*z + 12 = 0. Suppose 4*x - 3*b = -z, -1 = 2*x - 5*b - 9. Is x > o?
False
Let j(b) = -b**2 - 8*b + 8*b - b + 2. Let c be j(1). Let x be (-1)/2*0*1. Does c = x?
True
Let a(l) = -l**3 + 6*l**2 + 9*l - 7. Let p be a(6). Suppose -3*i + p = 4*r, 5*i - 14 = 11. Let n be 108/14 - 2/(-7). Is n less than r?
False
Let j(f) = -f**2 - 8*f + 7. Let g be j(-14). Let a be (-4)/7*g/66. Which is bigger: a or 0.6?
a
Let r(p) = p**2 - p - 12. Let w be r(9). Suppose w = -4*i - i. Let f be (-6)/40 - 9/i. Is 1 < f?
False
Let i be (-18)/(-60)*2 - 2068/3460. Are i and 1 unequal?
True
Let u = -335 - -335. Is 11/29 > u?
True
Let g = 10.6 + -10.66. Suppose -5*i - 31 + 1 = -5*a, 4*a - i - 24 = 0. Do g and a have the same value?
False
Let b = -10 + 12. Suppose -b - 4 = -3*l. Suppose -6*a + 8 = -3*i - a, -i - 3*a + l = 0. Which is smaller: -2/11 or i?
i
Let c be -5 + (7266/20)/21. Are 13 and c equal?
False
Let f be ((-200)/(-55) - 0) + (-1 - 3). Is f smaller than -1/15?
True
Let z = -1006/9 + 112. Let v = 2.6 - -7.4. Let q = v - 8. Which is smaller: q or z?
z
Suppose -5*f + m + 25 = -2*f, 4*f - 2*m = 30. Let i = f - 58. Is -48 at least i?
True
Let q = -0.3 + -0.7. Let z = -1734 + 1732. Which is bigger: q or z?
q
Let x = -430 - -425. Which is smaller: -58/9 or x?
-58/9
Let h = -80 + 38. Let f = h - -53. Are -2 and f equal?
False
Suppose 36 = 5*v - 8*v. Let j be (15/60)/((-163)/v). Let r = 555/3586 - j. Does 1 = r?
False
Let p be 1/(1 - 2/1). Suppose 0 = 2*f - 3*j - 9, 2*f + 6 = 4*f - 2*j. Suppose f = -9*b + 14*b. Is b equal to p?
False
Let p = -1589/8560 + -1/535. Is p greater than 0?
False
Let j be -3 + (-5)/