 or g?
k
Let l = 33 - 103. Let d = l + 73. Suppose -3*n + d = -2*m + 8, -3*n - 5*m + 23 = 0. Is -1/15 greater than n?
False
Let o(p) = 116*p - 465. Let u be o(5). Is u equal to 81?
False
Let p = 207.158 + -207. Let d = p - -6.842. Which is bigger: 0.04 or d?
d
Let c(s) = s**2 - 2*s + 1. Let y be c(2). Let f = 109748/67 + -1638. Let k = f - -193/268. Is k less than y?
True
Let u(d) = -2*d**2 - 108*d - 905. Let p be u(-11). Is 41 <= p?
True
Let k(j) = j**3 + 3*j**2 - 2*j - 4. Let f be k(-3). Let b = -242 + 240. Let n be (-40)/(-22) + 2*b/22. Is n not equal to f?
True
Let h be 277 + -2 + -2 + 2. Which is smaller: h or 273?
273
Suppose 8*x = -3657 + 3593. Which is bigger: x or -178/23?
-178/23
Let u = 3253 + -3253. Which is smaller: u or 1/5404?
u
Let l = 151.3 - 16.3. Let n = -133 + l. Which is smaller: n or -0.098?
-0.098
Suppose 1086*q = 1059*q + 2052. Suppose 4*a = -0*a + 304. Is a greater than or equal to q?
True
Let j(w) = -5*w + 34. Let x be j(8). Let a(u) = -3*u**3 - 14*u**2 + 4*u - 1. Let s be a(x). Let g be ((-2)/42)/((-34)/s). Which is greater: g or 4?
4
Suppose -36*p + 736 = 228 - 968. Let m be (-2)/2 - (-85)/2. Is p >= m?
False
Let p = -2 - -2. Let b = 36.654 + -37.344. Is p less than or equal to b?
False
Let t(p) = -p - 10. Let i be t(-10). Suppose i = n + n + 8, 5*n = -3*q + 16. Let k be 18/(-14) + q/42. Are k and 21 non-equal?
True
Let k be 56/12*3/2. Suppose i = -k*i + 528. Let o = -64 + i. Is 2 < o?
False
Let h(c) be the second derivative of -7*c**5/20 - c**4/12 + c**3/3 - c**2 + 21*c. Let v be h(1). Let u be (4 + (-12)/4)/((-4)/v). Which is greater: u or 13/6?
13/6
Let i = 97 + -96. Let f(v) = -14*v**2 + v - 5. Let c be f(3). Are c and i non-equal?
True
Let j = 209 - 204. Suppose j*d - 152 = 28. Is d > 41?
False
Let c be (3/(-45))/(3 - 387/(-45))*2. Are c and 4 non-equal?
True
Let l = -481953/2 - -241030. Let x = 78 - 24. Which is smaller: x or l?
l
Let o = 14 - -22. Let k = -81 - -45. Let j = k + o. Which is smaller: -1/9 or j?
-1/9
Let b = 17039 - 17038. Which is greater: b or -3096?
b
Let v(l) = 15*l**2 - 15*l - 12. Let w be v(-2). Which is greater: w or 70?
w
Let u be (-40)/(-30) - (-52)/6. Let q(o) = -31*o + 44. Let h be q(u). Is h > -266?
False
Let u = -1.5 - -1.6. Let o = 1916 + -1971. Is u < o?
False
Let h be (-4 - 164/(-3))*(-75)/(-940). Which is greater: h or 4?
h
Let x(t) = 5*t**3 - 8*t**2 + 10*t + 4. Let j be x(3). Suppose -620 + 329 = -3*y. Is j >= y?
True
Let w(x) = -3*x - 15. Let m be w(-3). Let h(l) = 2*l**2 - 4*l + 16. Let v(n) = -n**2. Let c(z) = -h(z) - 3*v(z). Let t be c(m). Which is smaller: 2 or t?
t
Let q(d) = -8*d**2 - 3*d - 102. Let t(g) = g**2 + g. Let u(l) = q(l) + 6*t(l). Let i be u(0). Which is smaller: i or -103?
-103
Let g(l) = 162*l - 1686. Let q be g(-32). Do q and -6870 have different values?
False
Let b(l) = -l**3 + 30*l**2 - 52*l - 60. Let t be b(28). Suppose -h + 58 = o, -2*o + 230 = 3*h + t. Is h less than or equal to 68?
True
Let o = 28 - 20. Let q be -3 + 42 + (5 - o). Let d be (-1 + (-43)/(-42))/((-24)/q). Which is bigger: 3/2 or d?
3/2
Let q be (66/(-5))/(6/(-15)). Let s be 26/(-22) - (-6)/q. Let w be -12*1 - (1 - s). Is -13 greater than w?
True
Suppose 2*n + i = -69 + 479, -836 = -4*n + 2*i. Let k = -207 + n. Which is greater: 11/32 or k?
11/32
Let k = 1685147/224 + -7523. Which is smaller: 1 or k?
k
Suppose -40 = -3*g - g. Let z = 1815.82 - 1815.98. Do g and z have different values?
True
Let t(j) = j**2 + 10*j + 16. Let f be t(-9). Suppose -200 = -f*x + 2*x. Let q = 41 - x. Which is bigger: -1/23 or q?
q
Let l = 4585 - 4584. Is l less than -0.348?
False
Let r = 1318 - 17152/13. Let b(d) = -d**2 + 11*d - 28. Let g be b(3). Let q be g*((-10)/4 + 1 + 2). Which is smaller: r or q?
q
Let i = 47.54 - 23.54. Let q = 150.2 + -174. Let m = i + q. Are m and -15 nonequal?
True
Let h = -953 - -3811/4. Is 0.218 at least as big as h?
True
Let m(l) = -l**3 + 54*l**2 - 50*l - 159. Let q be m(53). Which is greater: -9/512 or q?
q
Let j = -39 + 419. Let g = 454 - j. Is g >= 0.2?
True
Let z = -4132 - -4135.3. Is -3/5 > z?
False
Let h be (-18772)/9630 + 4/(-9). Let u = -2/321 + h. Which is bigger: u or 3?
3
Suppose -9*a + 81 = 657. Let m be (-4)/(-6)*3/a. Which is smaller: 1 or m?
m
Let t be (-1)/((-4)/(-55)) - ((-475)/(-100))/19. Is -38/3 > t?
True
Let j be 8/3*6/4. Suppose 3*w = j*p - 87, -4*w + p - 135 = 2*p. Which is smaller: w or -34?
-34
Let k = -28 + 47. Let i = -19/2 - 6. Let c = i - -213/14. Is c less than k?
True
Let a be ((-30)/(-22))/(44/242)*2. Which is smaller: a or 4?
4
Let j = 3151 - 3037. Which is greater: j or -5/8?
j
Suppose 199 = -17*g + 114. Let b(y) = -y**2 + y - 4. Let i be b(0). Let p = i + 0. Do p and g have different values?
True
Suppose 4*t = 2*t - 30. Let y be ((-9)/t)/(-5 - 66). Let p = 25214/1065 + y. Is 23 <= p?
True
Let w = -335.35 - -332. Let k = w + 70.35. Are 1/4 and k nonequal?
True
Let k be 3/2*(-6 - 770/(-21)). Suppose q = m - 16, 3*m - 122 = -4*q - k. Let n be (-1 + (-14)/(-4))*m/(-55). Is n greater than or equal to 2?
False
Let w = -1206910/131 + 9213. Which is smaller: 1 or w?
w
Suppose 32118 + 24774 = -33*f. Is f at least as big as -1724?
True
Let i(o) = -32*o**2 + 8 + 3*o + o + 22*o**2 + 19*o**2. Let s be i(-2). Does 104/3 = s?
False
Suppose -7*f = -9*f - 5*v - 5, -3*v = -2*f + 19. Suppose 4*z + 2*n - 6*n + 12 = 0, f*z - 4*n = -12. Is -0.42 greater than z?
False
Let c = -310 - -310. Suppose 0*s - 4*s + 2*j + 4 = c, -3*j + 1 = s. Is s smaller than -1/59?
False
Suppose 5*l = -4*y - 11 - 16, -5*l = -5*y. Let s = 51198 - 51207. Is s smaller than y?
True
Let x(g) = 36 - g**3 + 7906*g + 11*g**2 + 3*g**2 - 7897*g. Let b be x(14). Is 162 > b?
False
Let p(g) = -8*g**3 - 9*g**2 - 16*g + 5. Let n(z) = -z**3 + z**2 - 2*z + 1. Let l(j) = -5*n(j) + p(j). Let x be l(-4). Which is greater: -98/11 or x?
x
Let d = -16303/3 + 5385. Suppose -v - 3*w = 54, -4*v = -8*v - 4*w - 200. Are d and v equal?
False
Suppose -v = -4*b - 4*v + 3, 3*b = 2*v + 15. Suppose -7*i = -b*i - 2*i. Is i smaller than -1/65?
False
Suppose 117*s = 12*s + 2835. Let h(v) = v**3 - 6*v**2 + 4*v + 4. Let w be h(6). Which is smaller: w or s?
s
Let p = -1085 - -1062.74. Let v = p + -1.74. Is 0 <= v?
False
Suppose 4 = -4*z - 4. Let o be (5/25)/((-1)/z). Suppose -3*u = 7*c - 2*c + 15, -3*c = u + 9. Which is bigger: u or o?
o
Let j = -28739 - -28887. Is 81 less than or equal to j?
True
Let f(w) = -56*w - 52*w + 199*w - 46*w + 20 - 49*w. Let t(h) = -h**3 - 5*h**2 - h. Let u be t(-5). Let i be f(u). Is i bigger than 4/31?
False
Let i = -0.03 + -2.97. Let x be (-33)/9*(-6 - ((-55)/11 - -2)). Which is smaller: x or i?
i
Let r = -22 + 32. Let n be 184/10 - 4/r. Suppose 18*x + 59*x = -15*x + 1656. Do x and n have the same value?
True
Let v = -18.78 + 2.8. Let w = 3.8 - 3.82. Let s = v + w. Which is bigger: 1 or s?
1
Suppose -2*p - 2*g = -3*g - 46, -3*p + 55 = -5*g. Suppose 19*q + 266 = 33*q. Do p and q have different values?
True
Let i = 113677/4368 + -1231/48. Is -1 less than i?
True
Let s be 1*(3 + 7 - 9 - 21402). Which is smaller: -21402 or s?
-21402
Let c = -539.4 + 603. Let u = -63.67 + c. Is 2.7 greater than u?
True
Suppose 8 = -2*w + 4*w - 3*m, w + 5*m = 17. Suppose -t - 8 = -w. Let q be 9/(-7) + 18/14 + t. Does q = -1/27?
False
Suppose 3*k = 12, -27*k = g - 31*k + 14. Suppose 49 = -g*h + 57. Are 13 and h non-equal?
True
Let p be 9 + 0 - (-10472)/(-1224). Which is bigger: -1/92 or p?
p
Let k = -10 - -10. Suppose k = -5*g - i - 1 - 3, -2*i = g + 8. Let l be 3 - (105/(-56) - (-4 - 0)). Which is greater: l or g?
l
Let l = -19517 - -19476. Is l at most as big as -545/13?
False
Let y = -3853 + 3965. Is 677/6 at least y?
True
Let x = -9/3260 + 156867/140180. Does x = 2?
False
Let y(r) = -r + 96. Let i be y(-12). Let q = i - 839. Is q at most as big as 0?
True
Let a(n) = 3*n**2 - 4*n + 16. Let h be a(3). Suppose -4*g - 38 = -z, z = -3*z - 2*g + 62. Let l = z - h. Does -13 = l?
True
Let x = -2021 + -121. Let t be -1 + -1 - 7873964/x. Let j = -3674 + t. Which is smaller: j or 0?
j
Suppose -w - 1258 = 554 + 900. Are w and -2712 non-equal?
False
Let z be (-9 + -3*111/(-45))/(2/(-365)). Which is greater: 2331/8 or z?
z
Let m be (-1)/(12/(-772))*3. Suppose m - 197 = -4*l. Which is smaller: l or -2/45?
-2/45
Let h = -392395/13