ose 5*t + 4*w = 0, 0 = 14*t - 18*t - 3*w. Is t bigger than -5/201?
True
Let m be (-1 - 0)/(-467 + 470). Let t = 422.1 + -453. Let z = -0.1 + t. Is m < z?
False
Suppose -13*w + 8*w = 3*w. Which is bigger: w or -1/40?
w
Let y be (-3)/(-2) - 5/(-10). Let j(g) = 2*g - 23. Let b be j(14). Suppose -5*h = -5*c, -b*h + y*c = -c + 2. Which is smaller: h or -3?
-3
Let b = 554 + -548. Which is bigger: b or -6?
b
Let v(p) = -p**3 + p + 108. Let o be v(0). Let i(s) = 108*s**2 - 5*s - 5. Let m be i(-1). Is m <= o?
True
Suppose 3*r = -u + 4, -164*u - 3 = -166*u - r. Which is greater: u or -1/16?
u
Let j be (-2)/9 - (-2562)/6426. Suppose 0 = 3*v - 3. Do v and j have different values?
True
Let g = -331/4756 + 5/82. Which is smaller: g or 0?
g
Let h(a) be the first derivative of a**3/3 + a**2 - 6*a - 3. Let j be h(6). Let y be j/30*(-4)/(-14). Which is greater: 0 or y?
y
Let b = -9.5 + -2.5. Let q = -11.9 - b. Let r = -0.07 + -0.01. Does r = q?
False
Let g be 16/(-3) + -28 + 32. Are g and 22 unequal?
True
Suppose 5*z + 9*z - 14 = 0. Which is smaller: z or 3?
z
Suppose -3*t + 1 = -2. Let f(n) = 13*n**3 + n**2 - 1. Let y be f(t). Let l(c) = c - 14. Let i be l(y). Is i at least -2/23?
False
Suppose 2*o + 4*m = -466, 2*m + m = 0. Is -233 equal to o?
True
Suppose 0 = 3*y + 4*u + 38, 0 = 3*y + 24*u - 22*u + 34. Does 0.19 = y?
False
Suppose 61*i - 9*i + 4108 = 0. Is -79 greater than or equal to i?
True
Let x be (24/28 - 0)/((-21)/(-882)). Does -5 = x?
False
Let o = 236 + -939/4. Let d be 3/((-3)/(-1 + -2)). Suppose -d*u + 8 = 4*g, u + g - 1 = 1. Are o and u nonequal?
True
Suppose -3*q + 34 = -2*k + 2*q, 2*q = -k - 26. Let h be k/(-6) + (-2)/3. Suppose 1 = h*g - 2. Is g greater than 2?
False
Let c be (10/6 - 72/(-24)) + -5. Is c at least as big as -8/13?
True
Let d = -29 + 35.9. Let x = 27 + -34. Let v = d + x. Which is greater: v or 1/3?
1/3
Let r(w) = 2*w + 44. Let k be (-2)/4*3*-2 - 24. Let u be r(k). Is -2 < u?
True
Let j = -393 + 393. Which is smaller: j or 17/13?
j
Let j = 1276 + -375139/294. Which is greater: 1 or j?
1
Let y = -7.9 + 23.3. Let r = y - 8.3. Let t = -0.1 + r. Is t < 1?
False
Let n(u) = u**3 + 5*u**2 + 5*u + 5. Let i be n(-4). Let b(x) = 0*x - 4*x**2 + 10 + x**2 + 2*x**2 + 2*x. Let p be b(4). Is i smaller than p?
True
Suppose 178 = 5*j + 2*o, -149 = -30*j + 26*j + 5*o. Is j < 110/3?
True
Let d be (-74)/15 - (-2)/6. Suppose -k = -3*u - 21, 0 = -u + 9*k - 5*k - 18. Which is smaller: u or d?
u
Let c be (5/(-2))/(86/(-1892)). Which is bigger: 3 or c?
c
Let t = 6.4 - 10.6. Let v = t + 5.2. Is -21 greater than v?
False
Let q(w) = w**2 + 5*w - 4. Let a be q(-6). Suppose 0 = 2*t, -2*p + a*t - 1 = -11. Do p and 27/5 have the same value?
False
Let n = 0 + 2. Suppose 0 = -9*f - 4*f + 104. Is n at least f?
False
Let m be 6/(-21)*(-2466)/(-92). Let x = m + 53/7. Is x not equal to 1?
True
Let n = -0.19 - 26.81. Let q = n - -25. Which is bigger: -0.02 or q?
-0.02
Suppose 0 = 11*a - 13*a - 32. Let q be 2 + a/60*6. Is -13 greater than q?
False
Let v = 3 - -16. Let o be (132/(-176))/((-6)/152). Is o greater than or equal to v?
True
Let m = 0.13 + 13.87. Let i = m + -4. Let p = i - 9. Which is greater: -1/2 or p?
p
Let c = 45 - 35. Suppose 0 = 5*x - 10*x - c. Is x at least -8/11?
False
Suppose 12 = 2*p - 4. Suppose -12*n - 68 = -p*n. Which is bigger: -15 or n?
-15
Let i = 242 - 252. Is -6 != i?
True
Let q = -118 - -133.1. Let c = q - 15. Which is smaller: 1 or c?
c
Suppose 3*w = 2*c - 10, 2*c + 5*w = -5 - 1. Let z be (-9)/(-4) - (c + 0). Is z at least 0.18?
True
Let g = 12 - 10. Suppose -4*o + 2*w + 10 = 0, -2*o + 2*w = -0*w - g. Suppose 4*c = 3*s - o, s = -4*c - s - 4. Which is smaller: c or -2/7?
c
Suppose 4*t = -x - 22, 21 = -2*x - 5*t - 29. Let c be ((-4)/x)/(16/20). Suppose -6*o - 2*l - 10 = -2*o, 0 = o - 4*l - 11. Is c at most as big as o?
False
Suppose 0 = -2*u - j + 17 - 5, -30 = -5*u + 3*j. Let n be 3 + (1 - (4 + -3)). Suppose 0 = -5*p - n*b + 11, 4*p - 3*b + 8*b - 1 = 0. Which is smaller: p or u?
p
Let p be 7/196*12*(-20)/310. Which is smaller: -1 or p?
-1
Let j(r) = 4*r - 47. Let s be j(6). Which is bigger: s or -25?
s
Let h(j) = -j - 33. Suppose -3*b = -6*b - 99. Let n be h(b). Let k = 0.37 - -0.03. Which is bigger: n or k?
k
Let n = 64.957 - -0.043. Let a = n - 64.7. Is a >= -27?
True
Let d = -200/7 - -598/21. Let k(v) = -v**3 + 4*v**2 - 2*v - 1. Let u be k(3). Suppose u*n = 2 - 4. Is d less than n?
False
Let a = -185.044 + 185. Which is bigger: 0.2 or a?
0.2
Let p(y) = y**2 + 4*y + 4. Let v be p(-4). Let r be v/14 + (-78)/(-21). Suppose -4*i + 0 = r. Are i and 2/5 equal?
False
Suppose -220*j = -224*j. Are j and 11/27 equal?
False
Let b(h) = -3*h + 3. Let j be b(6). Let u be ((-10)/j)/(20/3). Let p = 12 - 13. Is u at most p?
False
Let s = -1026 + 13345/13. Let p be 17/13 - 2/2. Let v = p - s. Which is smaller: v or 0?
v
Let x = -0.091 + -35.909. Is x >= 0.2?
False
Let g = -163 - -82. Which is smaller: 0.1 or g?
g
Let n = -32 + 23. Let s = n - 9. Which is greater: -19 or s?
s
Let b(t) = -t**2 - 2*t + 4. Let f be b(0). Suppose -a - 167 = f*h, 3*h + 3*a + 214 = -2*h. Is h at least as big as -41?
True
Suppose j - 85 - 3 = -3*x, 3*j + 100 = 4*x. Which is greater: x or 22?
x
Let f = -119.2 + 102. Let h = 17 + f. Which is bigger: h or 1?
1
Let c be (-12308)/(-94367) - 8/52. Is c less than or equal to -1?
False
Let w = 11 - 7. Suppose w*m - 1 = 3. Let c = -257/136 - -30/17. Which is smaller: c or m?
c
Let i(u) = -35*u + 200. Let o be i(-5). Is 375 greater than o?
False
Suppose 3 = 3*g - 4*l - 11, 4*l = g - 10. Suppose 5*z = -g*z + 1470. Let o = z + -1064/5. Are -2 and o equal?
False
Let j = 50 - 48. Let g be 0 + -5*(-2)/5. Let m be g/7 - 72/154. Which is bigger: j or m?
j
Suppose -3*y = 7 - 22. Let a be (26/455)/(0 - (-1)/y). Which is greater: 0 or a?
a
Let j = -341 - -341. Does j = -1/118?
False
Let v = -2065 - -2045. Is 19 at least as big as v?
True
Suppose 3*j = 5*k - 19, -4*k + 5 = j - 0*j. Suppose -n - 10 = -2*n - 2*i, -k*i - 2 = -2*n. Suppose -3*h = -5*g - 22, 0 = -4*h - 5*g + 6 - 0. Is h at most n?
True
Let p = -9.4 + 8.4. Let a = -0.03 + -4.97. Let o = -5.3 - a. Which is smaller: p or o?
p
Let g be (0 - 2)/(-4)*4. Let n = -3 + g. Let b = -6376/71737 - -6/3119. Which is smaller: b or n?
n
Let c = -58 - -86. Let g = 27 - c. Is -19 >= g?
False
Let c = 1/2 + -1/4. Which is smaller: 0.2 or c?
0.2
Suppose -2*p + 4 = -4, -2*p = a - 14. Suppose -a + 3 = -3*y + 3*n, -n = 4*y - 4. Let q(o) = -o - 7. Let i be q(-8). Are i and y unequal?
False
Suppose 2*a + 5*i + 7 = 0, 3*a = 2*i - 3*i - 4. Suppose -4*q = -4*v - 8, -q = -6*q + 3*v + 6. Which is smaller: a or q?
a
Let b = -255.152 - -256. Let p = b - -0.052. Which is smaller: p or -1/3?
-1/3
Let m be (-11 + 4 - -6) + 21/13. Which is bigger: m or 1?
1
Let s = -473/19 - -25. Let q = -1496 - -1495.9. Does s = q?
False
Suppose -z + 5*z + 135 = -c, 54 = -2*z + 4*c. Let j = 25 + z. Which is greater: 2 or j?
2
Suppose -2*v + 5*d - 248 = 0, 4*d + 496 = 4*v - 8*v. Which is bigger: v or -125?
v
Let o = -36 - -22. Let p be (-72)/56 - 4/o. Which is bigger: 1/74 or p?
1/74
Let u = -1.5 - -10.5. Let s = 22 - u. Let r = 13.4 - s. Is -1 <= r?
True
Suppose -2*n + 5 = -k, 1 = 3*k + n - 5. Suppose w + 2*w = 9. Which is smaller: k or w?
k
Let x be (0/(0 + 2))/(-1). Let h(w) = w**3 + 12*w**2 - 7*w - 37. Let f be h(-12). Let n = 48 - f. Is n at most x?
False
Let q(o) = -2*o - 19. Let p be q(-11). Suppose 5*u + 11 + 4 = -5*z, -p*u = 5*z + 7. Which is greater: z or 3/11?
z
Let r = 2 + 2. Suppose -4*d - 3*v = -6, 2*v - 2 = -r*d + v. Let j = -2.093 - -0.093. Is j less than d?
True
Let b = -3 - -7. Suppose 63*m - 135 + 9 = 0. Do m and b have the same value?
False
Let k(c) = c**2 + 4*c - 4. Let q be k(-4). Let v be (-7)/2 + 2/q. Let z = -51 - -47. Is v greater than z?
False
Suppose 15081 - 131 = 26*c. Which is bigger: 576 or c?
576
Let u be 5 - ((-84524)/1536)/(-11). Which is greater: 0 or u?
0
Let i(s) = -s**3 + 10*s**2 - s + 85. Let d be i(11). Is -51 at least as big as d?
False
Let s = 14394 - 230175/16. Which is bigger: 9 or s?
9
Let i be 2/5 - 4/10. Let c(s) = s - 4. Let t be c(4). Suppose t = -3*b + 3. Is b equal to i?
False
Suppose 6*t - 80 = t. Which is bigger: t or 17?
17
Suppose -4*d = -z - z + 34, 5*z - 85 = 3*d. Suppose -7 - 8 