2). Is j at least as big as r?
False
Suppose -2*t - l = 2*l - 227, -5*t + 578 = -3*l. Which is greater: t or 113?
t
Suppose 0 = -16*g + 3*g. Is g equal to 3/86?
False
Let x be (-5)/(-2) - 940/(-8). Is x greater than 120?
False
Suppose 2*c - h + 2 = 3*c, 4*c = 2*h - 4. Let l(d) = 3*d + 4. Let z be l(4). Suppose 3*w - 4*k = w - z, 3*k - 12 = c. Does w = -1?
False
Let l = 1384 + -1431. Is -47 >= l?
True
Let a(c) be the first derivative of c**2 - 25*c + 1. Let v(d) = d**2 - 12*d + 4. Let x be v(13). Let f be a(x). Which is smaller: 11 or f?
f
Let a = 62 - 61. Is a >= 0.1?
True
Let u be -1 + 0 - 3036/(-3082). Which is smaller: u or 1?
u
Let v be (14 + (-1 - -1))/(4 - 13). Suppose -u - 11 = -4*b + 2, 3*u + 39 = -5*b. Let o = -14 - u. Which is smaller: v or o?
v
Suppose 0 = -4*i - 3*w - 1633, 2*w = -10*i + 12*i + 834. Do -410 and i have the same value?
False
Suppose -30*c = -20*c + 1160. Let f = -116 - c. Which is smaller: -9 or f?
-9
Let d = -43 + 40. Let x be 4/(10/(-195)*d). Which is smaller: 27 or x?
x
Let g be (312/(-434))/(-2) - 188/(-658). Which is smaller: 2 or g?
g
Suppose 16 = -5*a - 4, -126 = 2*c + 4*a. Let t = 51 + c. Which is smaller: t or -6?
-6
Let d be 88480/(-52) + (-6)/2. Let k = d + 1703. Is -3 <= k?
True
Suppose 7*n + 3 = -k + 2*n, -5*n - 38 = -4*k. Suppose -8 = 5*b + 5*w + k, -8 = -4*w. Suppose -3 - 4 = s. Which is smaller: b or s?
s
Let m = -343 - -344. Which is greater: -0.07 or m?
m
Let z = -5.64 + -38.36. Is 0.4 at least z?
True
Suppose 2*f - 3*q = 305, 0*f + 2*f - 2*q = 308. Is f smaller than 157?
False
Suppose -2*h + 12 = g - 2*g, -23 = 2*g - 3*h. Let m be (-12)/g*(-50)/2. Suppose 3*i + 94 = 4*c + 12, 86 = -3*i + 2*c. Are i and m equal?
True
Let q = -271 - -38752/143. Let s = -5594 - -5593. Are q and s unequal?
True
Let m be ((-40)/(-6) - 2)*6. Suppose -5*o = -2*a - 35, 0*a + m = 4*o + 5*a. Suppose 0 = 2*w - o - 1. Which is bigger: w or 5/2?
w
Suppose -64*v + 1944 = -82*v. Which is bigger: v or 2?
2
Let n be (-8)/(-36) + 95/(-441). Suppose -5*m + 25 = 5*b, 0 = b + 4*m - 303 + 280. Do n and b have different values?
True
Let x = 13.1 + -13.1. Let j be (16/5)/(5/(-25)). Is x at least as big as j?
True
Let m = -204.247 - -204. Let q = 0.147 + m. Let j = 28 + -9. Is q less than or equal to j?
True
Let r = -41 + 42. Let i = 1/17 - -67/306. Is r less than i?
False
Let h = 35 + -52. Let j be 0 + -3 + (-55)/h. Is -0.1 at most j?
True
Suppose 4*n + k = 3*k + 396, -n = 4*k - 81. Is 101 at most as big as n?
False
Let f(b) = -2*b**2 + 10*b - 18. Let z be f(4). Which is greater: z or -8?
-8
Let y = 183 - 138. Is y <= -4?
False
Let s = -6 - -18. Suppose 24 = -2*g - s. Let f be (-3)/g*4/(-6). Which is bigger: 0 or f?
0
Suppose 5*b + 10*u - 6*u - 169 = 0, 0 = -2*b - 5*u + 71. Is b != 476/15?
True
Let p(o) = -2*o + 78. Let n be p(7). Which is smaller: 65 or n?
n
Let l = -7 - -7. Let y be -3 - 0 - -5 - -8. Let v be 4/(-16)*16/y. Which is bigger: l or v?
l
Let r be 73/14 + (1 - (-5)/(-7)). Suppose -y - 14 = -0*y - 2*n, 5*n - 8 = -2*y. Let q = y + r. Is q not equal to 3/2?
True
Let a = -0.3 + 0.9. Let f = a + -0.5. Suppose -2*z + 4 = -4*y + 14, -20 = -5*z - 5*y. Is z <= f?
False
Let i be ((-2)/33)/(7/(-63)*2). Which is greater: 0 or i?
i
Suppose -3*x = -0*x - 45. Let h be (-2)/(-14) - x/35. Which is bigger: -5 or h?
h
Let w = 22 - 21. Let u be -1 - (-2 - (-2 - w)). Let s be (-1)/3 - (1 + u). Do s and 2 have the same value?
False
Let t be 1/((-6)/24) + -4. Let d be -7 + -4 + 10 - t/(-2). Let z = 4 - 3. Is z at least as big as d?
True
Let f = 198 + -201. Which is smaller: 22/5 or f?
f
Suppose 3*u = -5*f - u + 68, 74 = 5*f + 2*u. Let m = 19 - f. Let w be 4/(-66)*m + 0. Do -0.1 and w have different values?
True
Let u = -18 + 34. Suppose 5*x - 11 = 3*z + 2, -4*z - 14 = -5*x. Which is smaller: u or x?
x
Let t = 320 + -5443/17. Is t not equal to 2.9?
True
Let a be (-27 - -1)/2 + 4. Let n(w) = w - 4. Suppose 2*b + 3*b + 15 = 0. Let t be n(b). Are t and a equal?
False
Let q = 118 - 115. Which is greater: q or -79?
q
Let n = -8 + 18. Suppose -n = -j + 1. Let i = 140 + -140. Which is greater: j or i?
j
Let t(g) = 0*g**2 - g**2 - 12*g + 2*g**2 + 8. Let o be t(12). Does o = 8?
True
Suppose 2*a = 6 - 2. Let c(f) = 2*f + 2*f**2 + 1 + 3*f - a*f. Let z be c(-2). Is z >= 2?
True
Let n be (5 - 2) + 0 + -2. Suppose 2*b = 2*b - b. Let q be n + b + 38/(-26). Which is bigger: q or 0?
0
Let c = 10 - 7. Let f = c - 3. Let q = -3.921 - 0.079. Which is bigger: f or q?
f
Let w = 10 + -6. Let b be (-55)/77 + w/(-14). Which is bigger: -8/9 or b?
-8/9
Let d(g) = g**3 - 23*g**2 - 22*g - 26. Let q be d(24). Suppose 2*v - 57 = 5*h, -3*h - 33 - 18 = -2*v. Are v and q non-equal?
True
Let k(g) = g + 2 - 2 + 5 - 3. Let z be k(5). Suppose -1 = -4*s + z. Does 2 = s?
True
Let d be -1 + (4 - (1 - -4))*-7. Let b be 2/11 - 234/(-44). Is b greater than d?
False
Let d be 0 + (-2 - 1) - (-7 - -2). Suppose 10 = 2*m + 4*l, -6*m + 5*l = -d*m - 85. Which is smaller: 2 or m?
2
Let p be 3/18 + 26/(-12). Let q be p + (606/(-3) - 0). Let y = q - -2246/11. Do y and 0 have the same value?
False
Let v = -32.0287 + 0.0287. Is -0.5 smaller than v?
False
Let b(z) = -6*z**2 - z + 2. Let v be b(1). Let r(h) = h**3 + 3*h**2 - 12*h + 1. Let j be r(v). Which is bigger: j or -2/7?
j
Let j = -31.279 - 0.321. Let l = j - -34. Let z = -1.6 - l. Is z less than or equal to 0.3?
True
Suppose 4*h + 4*b - 1 - 15 = 0, -2*b - 4 = 0. Let w(l) = l**2 + 3*l - 6. Let v be w(-5). Let o = 2 + v. Is h > o?
False
Let a(q) = -q**2 + 4*q - 3. Let s be a(5). Let l be (1/(-22))/(1/s). Let j = -2100 - -2100. Are l and j nonequal?
True
Suppose 7*u - 2*u = -4*q + 180, 3*q = 4*u - 113. Let d = 25 - u. Are d and -7 equal?
True
Let h be -2*45/(-105)*(-147)/(-6). Which is smaller: -2 or h?
-2
Let x be ((-14)/7 + 2)/4. Suppose 0*l = -2*t + l + 2, -4*l = 0. Is x at least as big as t?
False
Let o = 937 + -935.7. Which is smaller: o or -0.14?
-0.14
Let o = -32/9 - -7/2. Suppose -16 = -5*s - 2*t, 13 - 2 = s + 3*t. Suppose s*l + 4 = 6*l. Is o less than or equal to l?
True
Let n = 34 - 54. Let c(f) = -f**3 + 21*f**2 + 48*f - 54. Let r be c(23). Let s = n - r. Is -12 at most as big as s?
True
Let i = 11.89 - 11.8. Is -3/5 less than or equal to i?
True
Let z(k) = -2*k + 29. Let y be z(-3). Is 29 greater than y?
False
Let l be 2 - (2 + -3)*2. Suppose -2*g = -j - 0*g + 12, 5*g = l*j - 33. Suppose 3*s = 5*s + j. Is s >= -1?
True
Let x(h) = -5*h - 4 + 1 - 2. Let q be x(-5). Suppose -q + 8 = -6*d. Is 16/7 less than or equal to d?
False
Let p be (4/20 + 1/(-5))/(-2). Let z(u) = 17*u**2 + u + 7. Let j be z(-7). Let o = j - 7507/9. Is p < o?
False
Let o = -143726/12901 + -4/1843. Is o != -12?
True
Suppose 0 = -18*g - 41*g - 59. Do g and -2/1157 have the same value?
False
Let r be (-66)/(-44) + (-371)/(-2). Which is greater: 186 or r?
r
Let w(v) = -v**2 + 9*v + 11. Let a be w(-7). Let y = 102 + a. Is y at least -1/15?
True
Suppose 5*k + 4*a + 1641 = 0, 3*a + 6 + 320 = -k. Let z = 7569/23 + k. Let q(x) = -x + 6. Let m be q(6). Is z > m?
True
Suppose 3*m = -5*s - 6675, -7*m + 4039 = -3*s - 2*m. Which is bigger: s or -1339?
s
Let v = -374142/46151 + 4/2429. Which is smaller: v or -9?
-9
Let g be 2/(-5) - (-7)/10. Suppose 0*i = 4*i, x - 3*i = 3. Suppose 6*b - 5*d = x*b + 17, b + 2*d + 9 = 0. Is b not equal to g?
True
Let i = -73 + 73.7. Let c = -9.9 + 1.9. Let j = -5 - c. Are j and i non-equal?
True
Let m = -1319 + 1392. Which is greater: 7/2 or m?
m
Let q(y) = 10*y**2 - 2*y + 3. Let c be q(1). Suppose 3*p - c = -14. Which is bigger: p or -15/8?
p
Let a(u) be the third derivative of u**6/120 + u**5/60 + u**4/24 - u**3/6 - 18*u**2. Let k be a(0). Which is bigger: -4 or k?
k
Let j = -16.3 - -17. Let b = j + 0. Are -2 and b non-equal?
True
Let b be 261/21 + (-9)/21. Let f be ((-2)/(-16))/(51/b). Which is smaller: f or -1?
-1
Let h = 530 - 526. Which is bigger: 12 or h?
12
Let g be 4/(-5)*(-60)/8. Let z = 22 - g. Let y = 65/4 - z. Is 0 greater than y?
False
Let c = -1.612 - -0.612. Let g be (-3 - -3)/(2 - 1). Is c < g?
True
Let w = -31 + 31. Let x = 20/21 - 418/483. Is x != w?
True
Let h be (-52)/(-14) - 8/(-28). Let a be (-1 + (h - 5))/1. Which is bigger: -2/5 or a?
-2/5
Let y be (1/(6/10))/(-10 - 13). Is 0 greater than y?
True
Suppose 2*c - 7*c = 265. Let g