: -1 or g?
g
Let c be (3 + -1)*45/18. Suppose 0 = -j + c*j - 12. Suppose -2*l + j = l. Is -0.2 <= l?
True
Let c = -303 - -190. Let z = c + 113. Is -0.036 at least z?
False
Let f(g) = g**2 + 10*g + 7. Let j be f(-8). Let w be 4/8 + 34/4. Let h = j + w. Is -1 at least as big as h?
False
Let g be 4/(88/174) - 1/(-11). Let a be 32/3 + 3/9. Are a and g equal?
False
Suppose -6*r = -10*r - 12. Let o = 31 - 32. Is r > o?
False
Let q = -45 - -44.24. Let g = -0.7 - q. Let s be 7 - ((-35)/(-10)*4 + -7). Which is smaller: g or s?
s
Let t be (-3)/(2*-3)*178. Let o = -128 + t. Let y be (-8)/2*o/(-26). Is y greater than or equal to -19/4?
False
Let h be (11/(-22))/(2/(-984)). Let a be 8/7 - (6 + h/(-42)). Which is greater: a or -2/9?
a
Let x be (10/(-3))/(2/(-6)). Let j(h) = h**2 - 10*h + 33. Suppose -4*v + 6 = 5*z - 13, -5*z + 4*v + 11 = 0. Let u be j(z). Which is smaller: u or x?
x
Let n = 1/2867 + -6997/3621021. Which is greater: n or 0?
0
Let w be ((-37)/(-3))/(2/(-6)). Let i(v) = -2*v**3 + 2*v**2 + v + 4. Let q be i(-2). Let t = w + q. Is -12 bigger than t?
False
Suppose 5*x = 26 - 6. Suppose x*b - 5 = -2*m - m, 3*b = 6. Is m at most as big as 1/15?
True
Let l = -0.26 + 0.46. Let x = -1564/5 - -314. Is l >= x?
False
Let i be (-96)/(-20)*(-60)/(-9). Let q = 32 - i. Do 8/35 and q have different values?
True
Let l = 1594/9 + -11519/72. Let y = l + -17. Let p = y - -5/24. Is 0 smaller than p?
True
Let g = -2234 + 2249. Is g at least 121/8?
False
Let h = -8.3 + 8. Let l = -12.25 - -0.25. Let n = l + 10. Is n at least h?
False
Suppose 7*d - 359 = -3*u + 12*d, -2*u + 241 = -5*d. Is 118 not equal to u?
False
Let b = 17/5 - 87/25. Let p = 12/25 + b. Which is greater: p or 15?
15
Suppose -4*d + p + 120 = 4*p, 0 = 3*p. Which is smaller: -2/5 or d?
-2/5
Let q = -11591/7434 - -3/826. Which is bigger: -3 or q?
q
Let b = -1382/59019 - -4/309. Suppose -9*j + 7*j = 0. Which is greater: b or j?
j
Let k = 18 + 33. Let q be 45/(-540) - (-1695)/36 - (-3 - 0). Is q not equal to k?
True
Let i(p) = 2*p**2 + 134*p + 134. Let m be i(-66). Suppose 5*x - 5 = -5*q, q + 4 = 4*x - 4*q. Is x >= m?
False
Let f be (-8575)/42840 - (-2)/9. Does 0 = f?
False
Let d(h) = -h**3 + 6*h**2 + 3. Let j(s) = s + 14. Let w be j(-8). Let z be d(w). Suppose z*f = -f - 16. Is f smaller than -4?
False
Suppose 4*v + 2*q = -106, -5*q + 3 = -2*q. Let b be (-110)/(-6) - (-20)/12. Let s be b/9 - (-6)/v. Is 6 not equal to s?
True
Let a(y) = -y**3 + 34*y**2 - 64*y - 4. Let l be a(32). Which is smaller: l or -87/19?
-87/19
Let i = -7 + 4. Let c(d) = d**2 - 4. Let x be c(i). Suppose x*f + 8 = 3. Does f = 2?
False
Let i = 0.756 + -0.7. Let c = 13.944 + i. Which is bigger: c or 1?
c
Suppose 3*n = -0*n + 2*d - 1, 2*d = -2. Let l = -703897/9 + 78133. Let o = l - -78. Which is greater: n or o?
o
Let x = 6 - 1. Suppose 1 = x*g - 24. Suppose 3*d = -f + 5, -2*d = g*f - 4 - 8. Which is greater: 3 or d?
3
Let o = 36 + -36. Is o >= -4/53?
True
Let z = -1.2 + 10.2. Let p = -6 + z. Let v = 4 - p. Which is greater: v or -0.11?
v
Suppose 0 = 50*d - 17*d + 198. Which is greater: -7/5 or d?
-7/5
Let o = -66.9 + 67. Let p = 13 - 19. Let c = p + 6. Which is bigger: c or o?
o
Let h be 11*(3 + 1)*(-17)/3. Is h bigger than -250?
True
Let d(h) = -h**3 - 10*h**2 - 11*h + 10. Let k be d(-8). Are k and -206/7 nonequal?
True
Let j(h) = 5*h**2 - 4*h. Let b be j(6). Suppose -8*t + b = 4*t. Which is smaller: t or 11?
11
Let h be (-4)/14 + 2/7. Let m = -143844 + 2448800/17. Let i = m + -203. Is i smaller than h?
False
Let s = -28 + 13. Let l = -58.9 + 44. Let n = s - l. Is 2/15 smaller than n?
False
Let f = 13 + -3. Suppose -29*j + 24*j = f. Is -6 less than j?
True
Let a be -1 + (-2*1 - (-9)/3). Suppose 24 = 3*w + 4*n + 6, 0 = 3*n. Let o be 136/182 + w/(-21). Are o and a equal?
False
Let u(p) = -2*p**2 + 20*p - 21. Let t be u(9). Does -9 = t?
False
Let u = -22/5 - -501/115. Which is smaller: -5/4 or u?
-5/4
Let w = -1877 + 1879. Which is bigger: 92 or w?
92
Let v(o) = -3*o**3 + 14*o**2 - 27*o + 35. Let l be v(3). Suppose -8*r - 15 = -3*r. Which is smaller: r or l?
r
Suppose -a - 50 + 49 = 0. Which is bigger: a or -5/29?
-5/29
Let r be 0 + 0 - (-4)/(-30)*141. Is 1 <= r?
False
Let o = 1.602 + -1.902. Which is greater: o or 25?
25
Let s(v) = -v**3 - v**2 - v. Let n be s(-1). Let l = 518 - 516.4. Is n greater than or equal to l?
False
Let r be -3*2*(-3)/6. Suppose 3*t - r = -15. Let i be (-42)/(-4)*t/6. Which is smaller: -8 or i?
-8
Suppose 4*h = -4*z - 80, h + 16 = z - 2. Let u = h + 36. Let d = 136 - 118. Which is bigger: d or u?
d
Let q = 0.102 + -0.002. Suppose -6*j + 60 = 2*x - 9*j, x - j = 30. Is q at least as big as x?
False
Let g(x) = 11*x - 4*x + 9*x + 10 - x**2. Let w be g(14). Is 37 at most as big as w?
True
Let p = 2 + 6. Suppose 3*o = p*o. Suppose o = -3*r + 8*r. Which is smaller: -2 or r?
-2
Let j be 40/15*(-3)/312*-2. Which is greater: j or 1?
1
Let u be 4/(-28) + (-98404)/(-45948) + -2. Let m = -9832/11487 + u. Is -1 < m?
True
Let x = -4300 - -4317. Let p = -454/13 + 2038/39. Which is smaller: p or x?
x
Let d be 3 - (-48)/(-15) - (-9)/49. Which is greater: d or 1?
1
Let t(w) = -5*w**3 - w**2. Let p be t(1). Let j = 2 + p. Let s = -24 + 24.2. Does s = j?
False
Let m(k) = -k**2 - 3*k + 3. Let f be m(-6). Let z = -233 + 137. Let x be 4/6*(5 + z/21). Which is smaller: f or x?
f
Let i(d) = d**3 - 6*d**2 - d + 10. Let q be i(6). Suppose 12 = -2*j - q*h, -2*h - 2 = j - h. Let c be j/(-4) - (1 + 1). Is -3 less than or equal to c?
True
Let n = -4 - -3.7. Let c = 196.77 - 197. Let t = n - c. Which is bigger: t or 0?
0
Let n = -17296/13 - -1330. Let r be (0 - 3)/(6/(-4)). Let u be 3/(-2)*r/3. Which is smaller: u or n?
u
Let g = -2 + 8. Let y be g/(-8) + 174/168. Let v be (12/(-14))/(342/(-532)). Which is bigger: v or y?
v
Let w = 33 - 34. Let z = -342 + 342.6. Which is bigger: z or w?
z
Let r = -70605/2639 - -348/13. Let b = r + -738/8729. Is -1 <= b?
True
Let k = 634 + -14576/23. Let n be ((20/(-15))/((-4)/(-24)*-4))/(-2). Which is bigger: k or n?
k
Let h(f) = 2*f**2 - f + 1. Suppose -n - 4*x = 3, 5*x = 2*n - 4*n - 6. Let k be h(n). Let l be k/(-77) + 37/7. Which is smaller: 6 or l?
l
Let t = 2.4 + -0.4. Let f = t - 3. Suppose -18 = -4*r + 14. Is r at least as big as f?
True
Let x(k) = k**2 + k - 1. Let w(i) = -i**3 + 2*i**2 + 11*i + 3. Let f(l) = w(l) - 5*x(l). Let b be f(-4). Let y = 21/20 + -71/60. Is b >= y?
True
Let r be (-10)/22 + 12/(-22). Do 2/569 and r have the same value?
False
Let i(k) = -6*k**2 - 4*k - 5. Let t(j) = -j**3 - 12*j**2 - 8*j - 9. Let w(x) = 5*i(x) - 3*t(x). Let l be w(-2). Is -7 less than l?
True
Suppose -4*h - 5*z = -2*h - 63, 2*h - 4*z - 54 = 0. Let w = -1677 - -1705. Is w not equal to h?
True
Let w(l) = -2*l**3 - l**2 + 2*l - 1. Let z be w(2). Is -24 greater than z?
False
Let g = 54 + -31. Suppose -8*f = -9*f - g. Which is smaller: -1 or f?
f
Let k = -7 + 4. Let j be k/(-6)*(-1 - 1). Let n(a) = 24*a**3 - a**2 - 2*a - 1. Let p be n(j). Is -24 <= p?
True
Suppose -9*g = g + 130. Which is greater: g or -17?
g
Let s be (3 - 2/(-2)) + 4543/(-132). Let i = s - -31. Which is greater: 2 or i?
2
Let s be 465/6 + (-45)/(-18). Which is bigger: 82 or s?
82
Let o = 73.9 + -73.8. Let d = -2.98 + 3. Is o equal to d?
False
Let t be -7 + (-843)/(-129) + (-1)/(-2). Which is bigger: t or 1?
1
Let k be 4/10 + 36/10. Suppose 5*y - 150 = -5*n, y + k*y = -4*n + 124. Is n equal to 26?
True
Let c = -0.0369 - -0.0369. Let o = 24 + -44. Are c and o non-equal?
True
Let c(m) = m**3 + m - 27. Let h be c(0). Let d = 24 + h. Is d < -19/5?
False
Let s be (-2)/11 - 513/(-99). Let u(c) = -c**2 + 5*c + 5. Let x be u(s). Suppose 0*o + x*o = 5. Does o = 4?
False
Let a = 10 + -221/22. Let d = 262 - 261. Is a > d?
False
Let n = 2455 - 2227. Which is smaller: n or 231?
n
Let p = -8.644 + 0.144. Is p <= -3?
True
Suppose -3*v = -h + 35, 2*v + 42 = 5*h - 9*h. Is v > -13?
False
Let t be (-84)/147 + (-4)/42. Suppose 5*l + 0*p - 40 = -5*p, -5*l + 13 = -4*p. Which is smaller: t or l?
t
Let w = 11 - 11. Suppose -3*u - 13 = 5. Let a be (14/21)/(4/u). Is a at least w?
False
Let f = -343 + 244. Let t = 106 + f. Which is bigger: -0.08 or t?
t
Let y = -274 - -275. Let u be 0 - 1 - (-8 + 5). Suppose -u*s + 25 = 4*q - 7*s, 0 = -2*q - s - 5. Is y greater than q?
Tr