16/19
Let b be 2/(2/115) - (8 + -5). Suppose 2*z - 2*i = -b - 146, 0 = -2*z - i - 273. Which is smaller: -133 or z?
z
Let x = -20 - -19.91. Let v be (288/42)/((-1698)/(-69)). Let q = v - -2/283. Is x equal to q?
False
Let m = -137 - -155. Suppose -8*g = g - m. Let n be 7/(-35) + (-17)/(-10). Does n = g?
False
Let q = 2795 + -2383. Is 418 greater than or equal to q?
True
Suppose -5*o = -0*o - 2*t + 12, 0 = -o + 4*t - 6. Let p be (o - 24/(-16))*2. Is -2/7 less than or equal to p?
False
Let g be (-21)/(-9) + 14/(-42). Suppose -3*p = -j + 281, 3*j + 96 = -g*p - 106. Is p less than 0.1?
True
Suppose -x + 327 = -4*j - 650, 0 = j + 1. Is x greater than or equal to 977?
False
Let u(f) = f**3 + 19*f**2 + f + 20. Let t = 38 + -36. Suppose -t*b - 46 + 8 = 0. Let g be u(b). Is 23 bigger than g?
True
Let c = -0.82 - -0.08. Let w = 2.088 - -30.172. Let l = w - c. Is l at most as big as -1?
False
Suppose -12 = 5*t - 2. Suppose 2*d + 3*v + 140 = 0, -2*d + 10*v = 5*v + 172. Let u = -386/5 - d. Is t < u?
True
Let n = -383/1155 + 10/33. Suppose l - 22*r + 16 = -25*r, 2*r + 9 = l. Is n equal to l?
False
Suppose 5*d = -4*n - 95, -2*d + 1539 = 1561. Let g(k) = 3*k - 5 + k**2 + 3 + 2*k. Let s be g(-3). Which is bigger: s or n?
s
Let l(w) = -w**2 + 8*w. Let g be (20 - 2)*25/(-10). Let b = -37 - g. Let k be l(b). Is -4 greater than k?
False
Let c = -12702 + 12701. Which is smaller: -7/2039 or c?
c
Suppose d = -3*s + 15, -4*d = -2*s + s - 21. Suppose -d = -12*o - 42. Let u be (10 - 9)*(3/(-1))/o. Is u at least as big as 0?
True
Let o be (11/55)/(6/15). Which is smaller: 50 or o?
o
Let x = -3.47 - 0.03. Let y = x - -1.5. Let i = -187 - -168. Is y != i?
True
Let q(k) = -6*k - 129. Let c be q(-22). Suppose -3*u + 1 = -2, -c*b = -4*u + 7. Which is bigger: b or 3/23?
3/23
Let a = -54 - -84. Let c(l) = l**3 - 2*l + 310. Let n be c(0). Let i = -281 + n. Are a and i equal?
False
Let h(w) = 2*w + 11. Let q be h(-1). Suppose -8*l = q*l + 187. Let n(t) = t**3 + 9*t**2 - 14*t - 24. Let m be n(l). Which is greater: m or -1/3?
-1/3
Let d = 14 + 17. Suppose -6*u = 11 + d. Let j(f) = f**3 + 7*f**2 + f + 1. Let v be j(u). Which is bigger: v or -3?
-3
Let x be 7*12*(1 + 7/(-14)). Suppose 3*l - q + 7 = 2*l, -2*q = 5*l + x. Let f be (-5)/(-5)*(3 + (-324)/30). Which is smaller: l or f?
l
Let f = -425099/204 + 8289/4. Which is smaller: -13 or f?
-13
Let d(q) = 16*q**2 + 2*q**2 + 33*q + 16 + q**3 + 11*q**2 - 11*q**2. Let r(j) = -j**2 + j - 4. Let n be r(4). Let o be d(n). Is -3/8 at most o?
True
Suppose u = -4*h + 8773, 2*h - 4*u - 8768 = -2*h. Suppose 729 = -8*o + h. Which is smaller: 184 or o?
o
Let k = -177 + 178. Let j be (-2*k)/((-43)/129). Is 0 at least j?
False
Let r = -2/120531 + 849001/318442902. Let h = 132373/103038 - r. Is h greater than 2?
False
Let k = -477/7337 + -1/253. Let i = 4 + 4. Let o be 1/(-2) - (-4)/i. Is o greater than k?
True
Suppose -22*g + 5475 = 327. Let n = g - 220. Is 134/9 <= n?
False
Let s = 396 + -391. Let m be s/10 + 122/28. Is m less than 2?
False
Let s = -14.24 + 12.8. Let p = s + 1.4. Is p less than or equal to 0.11?
True
Let f be -4 - 0 - ((-206)/55)/1. Let i = f + 529/1430. Which is bigger: 1/2 or i?
1/2
Suppose -3*j = -0*j - 2*d + 64, 0 = j + 5*d + 44. Let y be (-176)/60 - -3 - (-4)/j. Is 2/13 >= y?
True
Let b = 7/38385 + -115474882/38385. Which is smaller: -3007 or b?
b
Let j(v) = 534*v**3 + 9*v**2 + 11*v + 3. Let c be j(-1). Which is greater: c or -1063/2?
-1063/2
Let v(x) = x - 5. Let u be v(5). Let p = 1258.5 + -1179. Let a = -79.543 + p. Is a <= u?
True
Let u be 43 - 48 - (-4)/(1048/1306). Let m be -1 + ((-1870)/2358 - -2). Let l = m - u. Which is greater: l or 2.5?
2.5
Suppose 29*y - 96*y + 333260 = 123*y. Which is smaller: y or 1755?
y
Let h = -205 + 415. Suppose 6*f = -f + h. Let s be (72/f)/(51/10). Is s equal to -1?
False
Let w = -466.01269 - -0.01269. Let n = 0.11 - 0.01. Which is smaller: n or w?
w
Let n(l) = -l**2 - 3*l + 8. Let f be n(-6). Let i = -365 + 363.908. Let o = 0.092 + i. Which is greater: f or o?
o
Let r = -3 + 5. Let g = -0.8572 - -0.0092. Let m = 24.848 + g. Which is bigger: r or m?
m
Let o(m) = m**3 + 11*m**2 + 31*m + 12. Let j be o(-6). Suppose -4 = -c, -4*c = 3*w - j*w - 37. Which is smaller: -132/19 or w?
w
Let l(b) = b**3 + 3*b**2 - 10*b - 6. Let g be l(-4). Let h = 11 + g. Let n = h - 202/7. Is n at least 1?
False
Let u = -2633 - -176415/67. Suppose -29 = 206*s - 177*s. Which is bigger: s or u?
u
Suppose 21*k + 161 = 14. Let y be -6 - k/(63/369). Is y at most 67/2?
False
Suppose 28 = -4*x - 4*a, 21*a - 20*a + 3 = 3*x. Which is smaller: x or -27/301?
x
Let n be 6*(-680)/141 - (-5)/((-50)/40). Which is bigger: -33 or n?
n
Let j be 25*((-1)/3 + (-13)/(-195)*-55). Is j >= -99?
False
Suppose 0 = -5*z, -5*z + 13 = 3*t - 11. Do t and 14 have the same value?
False
Let m be ((-2)/4)/(30/240). Let i be (3/153)/(m/(-8)). Is i > 0.04?
False
Suppose 86*h - 81*h + 10 = 0. Let j be (3/h)/(1771/154). Let q = 2 - 3. Which is smaller: j or q?
q
Suppose 2*x - 258 = -4*c, 5*c - 7*c = 5*x - 605. Let q = -106 + x. Let z = 0.2 + -0.1. Which is smaller: q or z?
z
Suppose 3 = 5*l + 4*o - 1, 5*l + 3 = 3*o. Let m be 14/(-66) - (-4)/6. Does m = l?
False
Suppose -1632 = 273*z - 281*z. Let t = 63 - z. Does -141 = t?
True
Let n = -10314 - -10317.17. Are -2/7 and n unequal?
True
Let j(x) = -x**3 + 15*x**2 - 15*x + 26. Let t be j(14). Suppose -t*d - 2560 = 8*d. Are d and -126 nonequal?
True
Let c = 2790 + -2645. Which is bigger: c or -0.12?
c
Let p = -82 + 72. Let f be (p/(-20))/(2/(-124)*1). Let j = f + 16. Which is greater: j or -13?
-13
Let y = -3486 - -6020. Which is greater: 2533 or y?
y
Let f(j) = -2*j - 11. Let w be f(18). Let o be 3/3 + 3/3*w. Which is greater: -47 or o?
o
Let v = -12752 + 11416. Which is smaller: -1338 or v?
-1338
Suppose -5*j + 9*j = 20. Suppose -n = 3*k - 9, 0*n + j*k - 15 = n. Let f = 2/41 + 37/82. Which is smaller: f or n?
n
Let t(v) = 3*v - 28. Let w be t(13). Suppose 2*a + w = 3*a. Suppose -2*d - 3 = -21. Is d not equal to a?
True
Let x = 425732/2615 - 2/523. Let v be (6/(-7))/((-1)/(-189)). Let o = x + v. Which is greater: o or 2?
2
Let j(f) be the second derivative of -f**4/12 + 3*f**3 - 67*f**2/2 - 38*f. Let v be j(6). Is 7 at least as big as v?
True
Suppose -985705 = 32*b - 363017. Which is smaller: b or -19458?
b
Suppose 88*g - 89*g = 0. Suppose g = -17*u + 48*u + 2604. Is u bigger than -86?
True
Let m = -128/1133 + 21/103. Which is smaller: -0.24 or m?
-0.24
Let q(m) = m**3 - 17*m**2 - 65*m + 13. Let u be q(27). Is 5547 equal to u?
False
Suppose -2*g = 5*l - 34, 5*l - l - g - 22 = 0. Suppose l*h - 92 = -2. Is h > 2/31?
True
Suppose 6*c + 5*k - 28 = 3*c, 0 = k - 5. Let j be (-47 - -43) + -1*113. Let z be 270/j*(-1)/2. Which is bigger: z or c?
z
Let r = -1.65 - 0.35. Let g be (-1 - -11)*-3*2/(-10). Let h be (g/10 - 1) + 4/160. Which is smaller: h or r?
r
Let i be ((-33)/(-1818))/((-4)/16). Which is smaller: i or -1?
-1
Let t be (-3)/(-1)*(-8 + -20). Let l be ((-105)/t)/((-1)/(-4)). Suppose l*p + 4 = -2*a, 5*a + 0*p + 2*p = -10. Which is greater: -3/2 or a?
-3/2
Let a be 1 + -6 + (-11)/(11/2). Let b(i) = 14*i + 132. Let c be b(a). Which is smaller: c or -4?
-4
Let p = 153/4 - 311/8. Let h(x) = -13*x + 99. Let m be h(5). Suppose -36*n + 34 - m = 0. Which is smaller: p or n?
p
Let u = -322 + 806. Let q be (1/(-4))/(-5 - (-1947)/u). Are q and 0 nonequal?
True
Let v = 748/3 - 20935/84. Let g be (-4)/(-26) + 7/(108108/(-5665)). Let c = -1/108 + g. Is c less than v?
True
Let r = 349 + -344. Suppose r*v + 3*v = 0. Is v at least as big as 2/2071?
False
Let q be 39 + (2 + -5 - -2). Suppose -3*r + 2*m = -4*r + 10, q = 2*r - 2*m. Suppose 7*l = r*l - 9. Is l greater than -1/57?
True
Let t(x) = 2*x**3 - 21*x**2 - 6*x - 71. Let h be t(11). Let i = -3 + -16. Is h at least i?
True
Let g = 2 - 3. Let r be (3 + 38/(-13) - (1 + 5)) + (-41 - -46). Is r <= g?
False
Let z be (-3)/6 - 69/14. Let n be ((-11456)/12888)/(2/9). Is z < n?
True
Let v be 10906/(-1684) - (-2)/4 - 2802/(-467). Which is smaller: v or 1?
v
Let x(d) = d**3 + 13*d**2 + 10*d + 19. Let j be x(-7). Let l = -235 + j. Which is smaller: 3 or l?
3
Let t(l) = -48*l + 290. Let i(b) = -1682*b + 10150. Let d(s) = 5*i(s) - 174*t(s). Let o be d(5). Is o > 11/53?
False
Let p be