 Are -22 and g equal?
False
Let c = 39 + -56. Let n(z) = -14*z - 5. Let l be n(5). Let p be l/45 - (-2 + 0). Is p at least c?
True
Let n be (89/2 + -3)/(-1)*-6. Let o = n + -745/3. Which is greater: 35 or o?
35
Suppose -5*r = 4*b + 444, r - 4*r - 104 = b. Let n = b - -142. Which is smaller: n or 25?
25
Suppose -4*j = -3*y + 1080 + 2959, 2039 = -2*j - 5*y. Which is smaller: j or 0.1?
j
Let p(z) = -4*z**3 - 171 + 5*z + 5*z**3 - 9*z**2 + 188. Let s be p(8). Is s greater than or equal to -57/10?
False
Let f be 28/((-140)/25) + (10722/(-1035))/(-2). Is f less than 0?
False
Let a(c) = -5*c**2 - 1818*c**3 + 11 + 134 + 1817*c**3 + c. Let r be a(0). Which is smaller: r or 144?
144
Let k = -11246 - -11249. Suppose 50 + 30 = 5*y. Let j be (-2)/(-8)*y/6. Are k and j unequal?
True
Let z = 79.5 - 81.5. Suppose -5*m = -1 - 14. Let i be 19/m - 6/(-9). Is i < z?
False
Let r = 30243 - 30253.4. Suppose 0 = 6*j - j + 10. Is j greater than or equal to r?
True
Let l = 168.263 + -9.263. Which is greater: l or -5?
l
Let u be (-1)/(-2) + 153/(-34) + 6. Let z be 6/(4/u)*10496/576. Which is bigger: z or 56?
56
Suppose -7*m + 204 = -m. Let b = -34 + m. Let h(a) = -a**3 + 5*a**2 + 12*a + 4. Let k be h(7). Are b and k equal?
False
Let d be (-4)/(-48) - (14521/156 - 10). Which is smaller: -84 or d?
-84
Let l(m) = 25*m**2 - 5*m + 5. Let w be l(1). Suppose w*v - 94 = 6. Is v bigger than 3?
True
Let a = 75 - 72. Let u be a*150/108 - 0. Which is bigger: 3 or u?
u
Suppose -76*q + 48462 + 21755 = 601. Which is smaller: q or 914?
914
Let i(r) = -55*r - 695. Let y be i(18). Which is smaller: y or -1684?
y
Let r(h) = -5*h + 1. Let m be r(-2). Suppose 3*q = -4*w - 23, -4*w - w + 15 = -5*q. Let k be q - ((-380)/35 + -5). Which is bigger: m or k?
m
Let h(j) = -192*j - 2361. Let v be h(-12). Which is smaller: -167/3 or v?
v
Let j = -43.5 + -0.5. Let h = 68 - j. Let u = h + -112.16. Which is smaller: u or 0?
u
Suppose 87*x + 496 = -92*x + 55*x. Are -11/4 and x unequal?
True
Let b(j) = 195*j + 1133. Let h be b(-6). Which is smaller: 31 or h?
h
Let c be 1/(-1 + -2 + 4). Let o = -259/9 + 6065/207. Which is bigger: o or c?
c
Let s = -34.12 + 232.82. Let f = s + -197. Which is smaller: f or 0.2?
0.2
Let w be (-4 + 1)/(1*(-12)/304). Suppose 21 = 79*q - w*q. Are 14 and q equal?
False
Suppose 4*s = -q + 16, 13 = -5*q + 9*q - s. Suppose 3*k + q*y - 92 = 0, -5*y = -k + 3*k - 52. Suppose -92 + 20 = -2*z. Is k < z?
False
Suppose 124*r = 117*r + 35. Suppose 886 = -r*f - 2*i, 0*f - 4*f + 4*i - 720 = 0. Is f less than or equal to -179?
False
Suppose -5*o - 3*u - 27 = -1, 0 = -5*o - 2*u - 24. Let a be 0 - (72 + o - 4). Is -1 at least as big as a?
True
Let b be (-3507)/3173 + (1 - 17/19). Which is greater: -593 or b?
b
Let t = -1270 + 1149.9. Let z = t - -120. Suppose 0 = -0*m + 3*m - 3. Which is smaller: m or z?
z
Let a = -1409 - -1525. Is 3 at most a?
True
Suppose 0 = -4*f, 3*p - 1 = 2*p + 3*f. Let k be (120/(-18))/(-2) + (-697)/615. Which is greater: k or p?
k
Suppose -3295 = -16*m - 11775. Which is smaller: -531 or m?
-531
Let l be (3228/(-216) - -14) + 3/6. Let u be 24/18 + 1*-1. Which is smaller: u or l?
l
Suppose -2*b + 120*o = 121*o + 139, 0 = -3*o - 15. Is -70 bigger than b?
False
Let r = -140.9116 - -141. Let v = 43.3884 - r. Let q = -43 + v. Which is smaller: q or -8?
-8
Let y(d) = d**3 - 5*d**2 - 8*d + 19. Let s be y(6). Suppose 3*r + 11 = -2*j, -s*j + r + 1 = -5*j. Let n be -1 + -2 - (-3 + 1). Is n >= j?
True
Let k be 107/(66/9 + -7). Let t = 317 - k. Which is bigger: t or -19/6?
-19/6
Let s = -435031 + 10016588777/23025. Which is smaller: s or -1?
-1
Suppose -3*g - 3*x - 120 = 0, g - x = 4*g + 114. Let w = g + 109. Let r be 56/90 + 4*(-4)/w. Do r and 1 have the same value?
False
Let x be (117*4/(-1104))/(-1 + 41/8). Is x equal to 0?
False
Let j = 664 + -661. Suppose 4*c = -4*a + 492, -4*c + 0*a = j*a - 492. Which is bigger: c or 122?
c
Let d = -419 + 421. Let b be (d - (-15)/(-9))/(60/(-36)). Is -93 greater than or equal to b?
False
Let l(i) = -i**2 - 10*i - 20. Let g be l(-6). Let u be (-139)/g + 51/(-12) + 4. Is u not equal to -35?
False
Let k be ((-8)/24)/((-16)/(-48)). Is 2/2455 greater than or equal to k?
True
Suppose 4*n = n. Let u = 5342973911/70053567950 + -170/3529147. Let v = -3/794 - u. Which is greater: v or n?
n
Let t be 32/(-4 - 14*14/(-48)). Let h be 2/9 + t/54. Which is greater: h or 6?
h
Let y be 546/2184 + 589/(-8)*-22. Which is smaller: 0.1 or y?
0.1
Suppose -4*y - 4*r = -3868, -1919 = -4*y + 2*r + 1991. Is y less than -5?
False
Let d = 12563 - 9474. Which is greater: -0.3 or d?
d
Let h = -262.5 + 33.5. Let d = 401 + h. Is d <= 1?
False
Let q = -54 - 60. Let s = -78 - q. Let h = 1.1 - 1. Which is greater: h or s?
s
Let f = 1.6 + -0.3. Let k = -0.129 + -3.371. Let b = k - -3.4. Are b and f nonequal?
True
Let o be (-242)/(-36) + (-6)/27. Let b(p) = 2*p**2 + 8*p. Let f be b(-6). Suppose 6*v = 10*v - f. Is o at most v?
False
Suppose -2*q = -7*w - 42, w - 5*w = 5*q - 191. Suppose 0 + 6 = -3*k. Let t be 4/(-14) - (10/q)/k. Which is bigger: t or 14?
14
Let r(l) = -l + 3. Let y be r(5). Let o = -0.00668 - 50.99332. Which is bigger: o or y?
y
Let u be (854/(-3))/(-7)*786. Let x = -73005775/2284 + u. Let n = -13669/79940 - x. Do n and -1 have the same value?
False
Let j be (-32)/(-12)*(-639)/4. Let s = j - -427. Which is smaller: s or 32?
s
Let p = 0.08 - 0.1. Let x = -3.98 + p. Suppose 3*t + 3*j - 18 = 0, 5*j = -3*t + 352 - 322. Which is smaller: t or x?
x
Suppose 74*x = 73*x + 9. Let y be 10/45 - 2/x. Which is bigger: 10/13 or y?
10/13
Let k(r) = -85 + r - 17 + 8 - 8*r - 61. Let g be k(-22). Let n(j) = -j**2 + 4*j + 3. Let m be n(5). Is m bigger than g?
False
Let m = 5822 - 6380.3. Let b = m + 558. Are 93 and b non-equal?
True
Let a = 77.3 - 77.4. Let j = -3.8 + 19.7. Let b = 1.1 + j. Is b <= a?
False
Suppose 61*j + 67 = -7*j + j. Which is smaller: j or 8/745?
j
Let b = -4847/245 + 940/49. Which is smaller: b or 116/41?
b
Let u = -98527/42 - -3767/21. Which is greater: -2168 or u?
u
Let f be 262/(-12)*16 - 24/(-18). Let q = f - -2099/6. Is q less than 2?
True
Let i(k) = -k**2 - 5*k + 11 - 15*k + 2*k**2 + 10. Let f be i(20). Do 62/3 and f have different values?
True
Let g = -2626 + 995256/379. Is g at most as big as 0?
False
Suppose 5*k - 2*s + 279 = -128, -160 = 2*k + 2*s. Is -1362/17 < k?
False
Suppose 50*n - 3*c = 46*n - 10, 4*n - 5*c = -14. Which is smaller: -61/34 or n?
-61/34
Let n = -4456 - -66896/15. Which is smaller: n or -2?
-2
Suppose 5*f + 62 = 3*t, 0 = -3*f + 2*t - 31 - 7. Let l be (7/5 - 1) + f/1900. Is -1 >= l?
False
Let r = -0.05 + -0.95. Let v = -650 + 626. Do v and r have different values?
True
Let o be (-120)/(-5) + (-1 - 3). Let v be (6 - 116/o) + 2/(-10). Which is bigger: v or 2/309?
2/309
Let o = 241 - 37. Let p = o - 288. Is -1/4 greater than or equal to p?
True
Let k = 140 - 86. Let b = k + -63. Are -6/7 and b non-equal?
True
Suppose -6 = -12*x + 9*x. Suppose x*b - 10 = -2*r + 4, 2*b - 5*r - 14 = 0. Which is bigger: 6 or b?
b
Let r be 1276/10 - 16/(-40). Suppose -l - w = -5*w - 21, -3*w = 5*l - r. Suppose 41 = -11*u - l. Is -6 not equal to u?
False
Let t be -411073 - ((-4 - -5) + -2). Let y = t - -70293058/171. Let a = 24/19 + y. Is 1/3 smaller than a?
False
Suppose 0*f = -f + 4*s + 15, -f = s. Let g(q) = q**3 - 3*q**2 - q - 7. Let w be g(f). Let b = w + 9. Which is smaller: 2 or b?
b
Let r be -5*((-4)/14 - (-837)/63). Does r = -1240/19?
False
Let z = 14111 - 13442. Which is greater: z or 3?
z
Suppose 4*k + 438 = -2*m, -4*k - 3*m = -5*m + 442. Let h = k - -86. Let c = 20 + -44. Do h and c have different values?
False
Suppose -13*t = 830 + 2277. Let r be (t/(-2))/(71/142). Is r > 240?
False
Let i = 48 + -48.32. Let p = -0.33 - i. Let m = -88 - -87.5. Is p >= m?
True
Suppose n - 2*k - 24 = 0, -5*k - 31 + 48 = 3*n. Let x = 0 + 0. Which is smaller: n or x?
x
Let w(x) = x**3 + 4*x**2 - 39*x - 48. Let y be w(-8). Is y at most 22?
True
Let x = 130 - 133.5. Let y = 3.5 + x. Is y < -131?
False
Let c = -122 - -286.3. Let a = -230 + c. Let l = 66 + a. Which is bigger: l or 2?
2
Let d(s) = s**3 + s**2 - 156*s + 12. Let t be d(-13). Is t greater than 89/7?
False
Let f = -17.94 + 17. Let i = f + -7.56. Let m = i + 8.6. Which is smaller: 57 or m?
m
Let b = 3/2009 + -