-f - 4. Which is smaller: g or v?
g
Let n be (-8 - 8/(-2)) + (5 - 1). Let y = 1317319/286 + -4606. Let a = y - 173/2860. Which is greater: a or n?
n
Let k = -4918023193429/334823 + 14688427. Let l = k + -87382115/279912028. Let h = l - -3/76. Does h = 1?
False
Let s = 26 - 33.8. Let j = 6.8 + s. Is -4.7 less than j?
True
Let h = -0.3 - -1.3. Let c(i) = -i**3 - 4*i**2 - 3*i. Let m be c(-3). Suppose 5*s + 7 = -4*k + 3, 2*s = m. Which is smaller: h or k?
k
Let h be (-239 - -220) + (20 - 1). Is 5083 <= h?
False
Let s(i) be the first derivative of -i**3/3 + 33*i**2/2 + 95*i - 42. Let v be s(32). Is v greater than 125?
True
Let s be 8/(-2) - 15/(120/(-16)). Let w be 2*(-1)/(-22)*s. Which is bigger: 1 or w?
1
Suppose 3*s + d - 1265 = 0, 2107 = 5*s - 12*d + 14*d. Is s at least 422?
True
Suppose -40*a + 73698 = 31*a. Are a and 1038 unequal?
False
Let s(r) be the third derivative of r**4/8 - r**3/6 + 17*r**2. Let y be s(2). Suppose -22 + 5 = -g + 5*m, -32 = 4*g + y*m. Which is bigger: -2 or g?
-2
Let i = 20346713/480 + -42389. Which is greater: i or -1?
i
Suppose -4*y + 3*c = -211, -270 = -5*y - 0*y + 5*c. Let u = 212 + -134. Suppose -3*s = -3*q - 162, -3*q + 5 + u = 2*s. Do y and s have the same value?
True
Let s be 4 + ((-38)/(-76) - (-3 + 17/2)). Let v be 136/(-70) - (-4)/10. Which is smaller: v or s?
v
Suppose 4*b + 832 = 4*o, 0 = 5*b - 30*o + 35*o + 1060. Are b and -212 unequal?
True
Suppose -40*y + 44*y - 4*g - 1016 = 0, -y = 3*g - 274. Is 253 < y?
True
Let x = 0.514 + -0.214. Let q = -129.3 - -130. Which is bigger: q or x?
q
Let p = -535 - -536.12. Let s = -4.82 + p. Which is smaller: 0 or s?
s
Let m be 2/7 + (-998)/3738. Suppose -198*h - 22 + 220 = 0. Which is bigger: h or m?
h
Suppose -1029 = 12*g - 5*g - 0*g. Is g bigger than 0.64?
False
Suppose 324 = -2*u - 10*u. Let p(k) = -k**3 - 26*k**2 + 30*k + 21. Let b be p(u). Is b > -412/7?
False
Suppose -5*t + 2*v - 13 = 0, 2*t + t + 15 = 3*v. Let y = -1666903/404 - -4126. Is t > y?
False
Let c = -135333/94315 - -6/1451. Is 0 less than c?
False
Let v be (((-280)/21)/10)/((-4)/6). Let c = 1848/23 - 484475/6026. Let b = 6067/4454 - c. Which is smaller: b or v?
b
Suppose x - 2*n = 12, -12 - 28 = -4*x + 4*n. Let q(y) = 92*y**2 - 1. Let w be q(-1). Suppose -w*h + 32 = -87*h. Is h equal to x?
True
Let c = -2412 + 195377/81. Which is greater: c or -1/3?
c
Let x be ((-18)/8)/(119/(-56) + 2). Suppose -140 = -x*k + 292. Which is smaller: 22 or k?
22
Suppose -4*r + 153 = 125. Suppose -3*v = -2*x - r, v + 2*v - 22 = 5*x. Is v bigger than 0.39?
False
Let d = 72 - 68. Suppose -3*s + 4*l = l - 18, -d*s - 5*l + 6 = 0. Suppose 5*k - s*k = 38. Is 38 less than k?
False
Let w = -353 + 313. Let t = w - -203/5. Are -0.29 and t equal?
False
Suppose -3*f - 12 = -a, -4*a + 2 - 5 = 5*f. Let i(g) = -8*g - 82. Let r be i(a). Which is bigger: r or -107?
r
Suppose 8*x = -109 + 93. Suppose 2*r = -w + 22 - 0, 0 = -5*r + w + 69. Is r at least x?
True
Let t = -147 - -207. Let w = -53.8 + t. Let k = w + -6.2. Is k <= -0.5?
False
Suppose -2*h + 4*b = 4, -3*b - 28 = 5*h - 70. Suppose 10*l + 26 = h. Is l equal to -1?
False
Let p be 76/2656*-2*(-8)/(-2)*-1. Which is smaller: p or 0?
0
Let s be (-4493)/7 + -14 + 9. Let q = s - -634. Which is greater: -12 or q?
-12
Let r(b) = -b**3 - 8*b**2 - 12*b - 1. Let v be r(-6). Let i be v*(2/10 + (-168)/15). Which is smaller: i or -2?
-2
Let h(c) = -5*c**3 - 3*c**2 - 4*c + 7. Let t(a) = 6*a**3 + 3*a**2 + 5*a - 8. Let v(w) = 7*h(w) + 6*t(w). Let r be v(2). Do 0 and r have different values?
True
Let v = 0.282 + 133.718. Let m = v + -113. Which is smaller: m or 3?
3
Let b(l) = -l**2 + 57*l - 111. Let w(m) = m**2 - 28*m + 57. Let g(k) = 3*b(k) + 5*w(k). Let d be g(-11). Which is smaller: d or -148?
-148
Let w = 51736/19 - 2723. Suppose -m - 4 = 1, 5*u = -5*m - 55. Let q be 4/u - 35/(-21). Which is smaller: q or w?
w
Let s(u) = -27*u**3 + 6*u**2 + 72*u + 54. Let f be s(-5). Which is greater: f or 3218?
f
Let d = 139574/305775 - 69/151. Is 0 not equal to d?
True
Suppose -136*c - 307718 = 1359063 + 167451. Is -13487 at least as big as c?
True
Let i(h) = -4*h - 75 + 9*h - 70 + 48. Let k be i(0). Do k and -95 have the same value?
False
Let j(i) = 14*i - 62. Let x be j(10). Suppose 10*a - x = -38. Suppose 2*z + 27 = 5*z. Do z and a have different values?
True
Let q = 5 - -14. Suppose -q = 2*i + 115. Let a = i + 60. Is a equal to 0.1?
False
Let p = 62.49 - -0.51. Let w = -47 + p. Let k = -16.1 + w. Which is greater: k or -7?
k
Let b(i) = -9*i**3 + 3*i**2 + 9*i - 4. Let v be b(-4). Let o = -392 + v. Which is greater: 0 or o?
o
Let i = 2812 - 1278. Let h = 872 - i. Which is smaller: h or -661?
h
Let f = 1809 + -278. Suppose 36*t + f = -125. Which is smaller: t or -51?
-51
Let j = 30 - 5. Suppose 0*f = -5*f + j. Suppose -3*o + f*v + 28 = 0, -2*v = o - v - 4. Is 4 at least as big as o?
False
Suppose 19*a - 5720 - 9974 = 0. Let p = a - 905. Which is smaller: p or -74?
p
Let k = 1198.8 + -1194. Which is greater: 171 or k?
171
Let j(g) = g**2 + 10*g - 37. Let w be 156/4*(1/3)/(-1). Let p be j(w). Is p > -4?
True
Suppose 0 = -12*j + 33*j + 378. Let q be (0 + j/24)*(-4)/72. Which is bigger: 7 or q?
7
Let b be 8 + -14 + (-6 - -12). Do -2/2325 and b have different values?
True
Let d be 1/(2/(-4)*5). Let t = 71984 - 71894. Is t less than or equal to d?
False
Let n(t) = -3496*t + 183. Let z be n(1). Which is bigger: z or -3314?
z
Let g be (-53233)/(-3) + (-58)/174. Let r be (9 - g/1972)/(-1). Which is smaller: r or 0?
r
Suppose -1 - 13 = -7*f. Suppose -f*y = -4*r - 412, 6*r = 4*r - 5*y - 206. Is -103 at least r?
True
Suppose 11 = m + b, 0*m + 3*b = 3*m - 33. Suppose -m*z = -413 + 1733. Is z equal to -120?
True
Let g = 19545 - 19544. Is g greater than or equal to -29/130?
True
Let d be 3 - (-1 + (0 - -2)). Let p be (10*d)/(((-30)/(-24))/(-5)). Let j = p + 75. Which is greater: j or -1?
-1
Let z = -1.691 - -1.591. Let h = 15 + -21. Which is smaller: h or z?
h
Let v = 201 - 200. Let b be (v - 2)*1*5913/(-567). Are 11 and b equal?
False
Let p be ((-33)/(-12)*2)/((-6)/12). Let x(j) = j - 6. Let q(o) = -3*o + 18. Let t(m) = -4*q(m) - 11*x(m). Let b be t(-7). Which is greater: b or p?
p
Let t = 414 - 414. Suppose -2*c - 5*w + 267 = 0, 2*c + 4*w - 153 - 117 = t. Which is smaller: 140 or c?
140
Let v = 3.6 + -4.6. Let i = -2.9 + v. Let f = i - 1.1. Which is smaller: -3 or f?
f
Let p(z) = -z**3 + 5 + 3*z**2 + 14*z + 12 - 9 + 2*z. Let s be p(6). Suppose 4*a - 21 = -25. Which is bigger: a or s?
a
Let o = -1603.13 - -1606. Let n = -0.05 + -0.02. Let g = o + n. Which is smaller: g or 0?
0
Let l = 1017 + -1041. Is l < 19?
True
Suppose y + 3*y + 36 = 0. Let r be ((-5)/3)/((-3)/y). Let q = 81 - 82. Is q less than or equal to r?
False
Suppose -344 = -6*a + 82. Suppose -a - 7 = m. Let b = m - -77. Which is bigger: b or 1/33?
1/33
Suppose 0 = -3*a + 9, -5*s + 34*a - 33*a = 473. Let w = 92 + s. Let r be 1/2 - 58/16. Are w and r unequal?
True
Let m = 133 + 200. Let g = -620 + m. Do g and 1 have different values?
True
Let i(o) = -10*o - 4*o - 7 - 2 - o**2 - 19. Let j = 61 - 73. Let y be i(j). Which is smaller: 1/3 or y?
y
Let a be ((-4)/16)/((-9)/216) - (-1720)/(-286). Which is greater: 3 or a?
3
Suppose 1656 = 8*p + 4*p. Let d = -146 + p. Is 0.07 less than or equal to d?
False
Suppose 234*q = 189*q + 315. Are 241/29 and q equal?
False
Suppose 5*v + 16 - 1 = 0. Let n be (-2 + 1)/(-3) + (-95979)/56925. Let a = -102/25 - n. Is a < v?
False
Suppose 32*k - 69 = -37. Which is smaller: -1/708 or k?
-1/708
Let k = -5738/15 - -6329464/16545. Which is bigger: k or 0?
k
Let x = -481.6 - -483.6. Is x > -7/16?
True
Suppose -2*j = 6, 3*j + 8 = -s - 2. Suppose 32*p = 153 + 103. Let t be 15/10*p/630. Is s at most t?
True
Suppose 6*v = 12*v - 198. Suppose -4*f = 37 - v. Is f <= 0?
True
Let j be 1 + 6 + -1*3. Let z = 572 + -555. Which is smaller: j or z?
j
Let r(w) = -7*w + 97. Let q be r(7). Suppose -50*n = -q*n - 122. Are 62 and n non-equal?
True
Suppose 444*o - 424*o = 20. Is 371 at most as big as o?
False
Let f be 3/(-5) - (-11 + 21451/1140). Which is smaller: f or -8?
f
Let s be ((-12)/4 + 3)/(-1). Suppose 6*b - 9*b + 18 = s. Let p be ((-2)/(-9)*-3)/(b/4). Which is smaller: 0 or p?
p
Let y(i) = i**2 - 17*i + 2098. Let b be y(54). Is b equal to 4096?
Tru