502/237. Let g = k + 559/92193. Which is greater: g or 1?
1
Let v be ((-1)/(-15))/((-79)/60 + 39/(-390)). Let y = -2.05 + 0.05. Which is bigger: v or y?
v
Let f = 1.629 - 1.673. Is f <= -0.1?
False
Suppose 2 + 15 = -3*r - 2*h, 5*h + 5 = 0. Let k be -2 + 1 - 4 - r. Let u be (-2)/(-9)*(-1)/1. Is k < u?
False
Let n = -2499596167/9724 - -4369392/17. Let d = 705/22 + n. Let x = 20/13 - d. Is -6 >= x?
False
Let u = -39 - -39. Suppose u = -3*l - 85 + 88. Which is greater: l or -1/96?
l
Suppose -3*w = -b + 6, -3*b + 18 = -0*w - 5*w. Suppose 0 = -166*n + 172*n + b. Do 1/10 and n have different values?
True
Let g(t) = -t**3 + 2*t**2 + 2*t + 1. Let c be g(-1). Let q be 1/(-1*c/8). Let u be -2 - ((-51)/q + 7/28). Which is smaller: u or -16?
-16
Let b be -1 - 1 - (5 - 10). Suppose m = -0*m - j + 4, -b*j = 0. Suppose 3 = -k + 2*c, 0 = -5*k + c + 3*c - 9. Is k less than or equal to m?
True
Let q be 15 - 11 - (-1)/(-1). Suppose -a - m - q = 0, 4*a + 4*m - 3*m + 3 = 0. Let h be (2/4)/((4 - 8)/(-8)). Is a equal to h?
False
Let g = -0.1 - -0.1. Let w be ((-9)/15)/(2/(-20)*3). Let f be ((-1)/w)/((-265)/2544). Which is bigger: g or f?
f
Let k(y) = 2*y - 4. Let j be k(-3). Let o = 283 + -249. Suppose -35*m = 4*x - o*m + 39, -2*m + 52 = -5*x. Is j <= x?
True
Let c(k) = k**3 + 3*k**2 - 43*k - 280. Let r be c(-7). Is r less than or equal to -180?
False
Suppose 3*o - 34 = -2*u, -20 = -2*o - 2*u - 0*u. Suppose 0 = 4*x - 11*x - o. Let l be x/(6/(-9)*-3). Which is smaller: l or 2/87?
l
Let s = -636/13 + 17155/351. Which is bigger: s or -1?
s
Let v = 12.305 + -13.035. Is 2/83 less than or equal to v?
False
Let j = 27 - 6. Suppose -5*w + 5*g - 14 + 74 = 0, -4*g = -24. Is w smaller than j?
True
Let o(v) = -v**3 - 2*v**2 + 4*v + 2. Let l = -36 - -30. Let y be (5 + -8)/(-2 - l/2). Let i be o(y). Which is smaller: -5/8 or i?
i
Let x be ((-30)/(-825))/(2 + (-5 - 4584/15)). Which is greater: 1 or x?
1
Let b(u) = u**3 + 29*u**2 + 2*u + 57. Suppose 0*p - 3*p = 87. Let q be b(p). Is 7/41 != q?
True
Let u be (-77)/(-15) - (-374)/(-2805). Let z(m) = -2*m**2 - 11*m - 5. Let q be z(-8). Let v be (q/(-12) - 1) + 2. Is v smaller than u?
True
Let z be 386/8 - (3 + 0)/12. Let g be z/264 + 1/((-22)/444). Which is greater: 0.3 or g?
0.3
Let c = -588 + 505. Let k be 5 + -6 + 0 + c. Is k at most as big as -84?
True
Suppose -3*v = 1720*z - 1719*z + 562, 0 = -5*v - 12*z - 885. Let r be 17*11/(-1) - 1. Which is bigger: v or r?
r
Let h = -19131 + 18708. Which is smaller: -16 or h?
h
Let o = -42.02 - 59.98. Is o smaller than -2.6?
True
Let p be (-12)/120 + 2/10*1691/(-38). Does p = -179/23?
False
Let d = 2370 + -2363. Let m = 27 + -23.8. Is d smaller than m?
False
Let x be (2 - 1*20)*(-128)/24. Let d be x/64*(-2)/1245. Is d at most as big as 1?
True
Suppose 190*m + 44 = 189*m - 2*q, -3*m + q - 181 = 0. Suppose 5*u + 2*k + 2*k = -314, 5*k + 5 = 0. Do m and u have the same value?
False
Let k = -6118/5 + 2447/2. Is k at least as big as 8?
False
Suppose 4*s + 78 = -4*j - 138, -5*s + 310 = -5*j. Let q = j - -58. Let t = -29751/50 - -595. Is q <= t?
False
Let b = 32764/19 - 494240/209. Let u = b - -641. Let y = 0.0453 - -0.0547. Is y equal to u?
False
Let l = -46 - -51. Suppose l*s = 5*m + 110, -4*s = -5*s - 5*m + 10. Let q be ((-8)/(-60))/((-2)/s). Is q > -1/3?
False
Let l = 190427/5 - 38215. Are l and -130 unequal?
True
Let i = 227507/95818 + -10/2083. Let h = i - 20/23. Is h < 28/5?
True
Let n be (-4)/(-4) + (-74)/4. Let m be (-8 + 6 - -124)*(-2 + 0). Let t be (-8)/14 - 2/(-28)*m. Which is bigger: n or t?
n
Let d(j) be the third derivative of -j**5/60 - j**4/4 + 17*j**3/6 - 49*j**2. Let i be (-1 - -3)*(-26)/4. Let x be d(i). Which is bigger: x or -75?
x
Let v = 1055 - -629. Are 1684 and v equal?
True
Let j be -3*(2/(-15) - (-616)/(-105)). Let s = j - 19. Let q be (-3 + (-4)/(-2))*s. Is q equal to 2/61?
False
Let q = 635 + -362. Suppose 5*a = -z + 348, -2*a - 2*a + z + q = 0. Suppose -2*k = -y - 145, -4*y - 70 = -34. Are k and a unequal?
True
Let r = -10536 + 9606. Which is smaller: 1/2 or r?
r
Let u = -8758 - -8748. Suppose 5*a - 76 = 4*b, -4*b - b - 128 = 2*a. Which is bigger: u or b?
u
Suppose 0 = 4*p + 5*l - 14 - 11, -25 = 3*p - 5*l. Let n be 21/63 + (-917)/2373. Which is bigger: p or n?
p
Let c = 108 + -86.1. Let n = -22.2 + c. Which is bigger: -31 or n?
n
Suppose 0 = 2*r - 222 + 226. Let a be (-3 - r)*-5*755/(-25). Are -151 and a unequal?
False
Suppose m + 8*w - 5 = 9*w, 5*w = -2*m - 4. Suppose -3 = -4*k + i, 6*k - 7*k + i - m = 0. Let f = -79/3 + 27. Is f greater than or equal to k?
False
Let f = 162/109477967 - 228153725543467/98639648267. Let r = f + 2313. Is r > -1?
True
Let k(t) = -t**2 + 18*t + 40. Let z be k(20). Let m = 97 + -98. Let o be m - (3/69 + -1). Which is smaller: z or o?
o
Suppose 11 = -c + 14. Let d = c - 3. Suppose -4*h + x + 0 - 4 = d, 0 = -h - 2*x - 1. Is h != -3?
True
Let p = -2551/52 - -264/13. Let t = -29 - p. Let y(x) = 94*x - 659. Let b be y(7). Is t bigger than b?
True
Let a(x) = -10*x**2 + 477*x - 62. Let t be a(61). Is -8176 equal to t?
False
Let r(s) = -2*s**3 - 8*s**2 + 32*s - 75. Let o be r(6). Which is smaller: o or -601?
o
Let q = 7258 - 7169. Which is smaller: 41 or q?
41
Let w be (-20)/8*(4/40)/(20/1520). Suppose 4*v = -0*v - 40. Is v < w?
False
Let c be (-10 - 972/48)/(2/(-8)). Do c and 127 have the same value?
False
Let o be 3/((-2)/5*1/(-2)). Suppose 0 = -q + 4*y - o, 3*q - 2*y + 37 = 2*y. Let d be (1 + -35)/(q - -13). Is -47/3 at most as big as d?
False
Let g = 265 + -263. Suppose g*f - 2*i = 76, 4*f + i - 103 - 49 = 0. Which is greater: 40 or f?
40
Let a = 49 - 35. Let l = 0.63 + -33.63. Let z = 33.1 + l. Which is bigger: z or a?
a
Let r be (3 - 2695/335) + 5. Let p = r - 247/469. Which is bigger: -2/13 or p?
-2/13
Suppose -h + 2*t = 2*h, 0 = -5*h - 3*t. Let s be ((-26904)/(-1680) - (-4 - -20))/(2/(-1)). Is s bigger than h?
False
Suppose 38 = -2*a - 26. Let t = a + 32. Suppose -s - l = -4, s + 8 = 2*l - t. Which is bigger: s or -2/57?
s
Let m = 2.88 + -2.9. Let o = -212 - -208. Which is bigger: m or o?
m
Let r(o) = o**3 - 20*o**2 + 56*o - 16. Let d be r(17). Suppose l - d = 2*l + 2*u, -3*l - u = 182. Is -61 equal to l?
False
Let n = -61.015 + 60.93. Which is smaller: n or -17?
-17
Let h = -12.8 - -128.8. Let y = h - 112. Let i = 2.9 + -3. Is i <= y?
True
Let l = 29 - 24. Suppose -1164 = 17*i - l*i. Let h be -3 - (-46)/14 - 0. Which is bigger: h or i?
h
Suppose 0 = 3*v - z + 8310, -5*v = -3*z - 5016 + 18866. Let o be (1/(-2))/(v/(-20)). Which is greater: -1 or o?
o
Suppose -94 = 5*m - m + 2*t, -4*m - 85 = 5*t. Let f = 5.46 + 0.18. Let d = 6.64 - f. Do d and m have the same value?
False
Let l(t) = -t**3 + 6*t**2 + 143*t - 952. Let f be l(7). Is f less than or equal to -0.1413?
False
Suppose -2*a - 99 = -3*d - 113, 0 = -3*a - d - 1. Let x be (a - (-14)/(-12))*675/450. Which is greater: 2/37 or x?
2/37
Let k = -3165/2231 + 35/23. Is -1 bigger than k?
False
Let o(n) = n**2 - n - 5. Let c be o(9). Let r = -62 + c. Suppose -5 + 1 = 3*i + 4*q, 0 = -2*i - r*q - 5. Is i less than or equal to 2/59?
True
Let h = -0.14 + -25.86. Let s = 28 + h. Let g = s + -2.2. Do -16 and g have different values?
True
Let w = 122.003 + -0.003. Let b = -121 + w. Is b at most as big as 208?
True
Let u = 82/15165 - -2383157/8932185. Let q = u + -10/57. Is q bigger than 1?
False
Let l(t) = 53*t - 6012. Let j be l(131). Is 920 greater than or equal to j?
False
Let c be -5 - (2/(-3) + -5). Let i(n) = 4*n**2 + 68*n + 1. Let u be i(-17). Which is smaller: c or u?
c
Suppose -6*d - 2 = -4*d. Let q = 4804114531/1368 + -3511780. Let a = q + -1/342. Is d smaller than a?
True
Let l = 3497966 - 3497667.9826. Let j = l + -0.0174. Is j greater than 0?
True
Let o = -0.143 + -0.057. Suppose t - 4 = -3*t. Let g(f) = -20*f + 2. Let v be g(t). Is o greater than v?
True
Suppose 3*s = -l + 121, 169 = -3*l - 2*s + 497. Is 1394/13 greater than or equal to l?
True
Let n(t) = 21*t + 1328. Let m be n(-78). Is m <= -302?
True
Let y = 5987/5450 + -135/109. Let f(q) = -q**2 + 7*q - 6. Let a be f(6). Do y and a have different values?
True
Let s = -4357 - -4882. Is s at most 526?
True
Let x = 377 + -378. Let q be 10*(-1 - -5)/(-117 - -11). Which is smaller: x or q?
x
Let g be (-21)/9*(-10 - 5). Suppose 0 = -163*m