+ 1. Is y greater than c?
True
Let t(r) = -78*r + 34*r + 5*r**2 - 5 + 21*r. Let j be t(6). Let g be (-364)/(-10) - (-10)/(-25). Which is bigger: g or j?
j
Let g(j) = -8*j - 1 + 0*j + 4. Let t be g(4). Let b = -23330.3 - -23330. Are t and b equal?
False
Suppose -25*a = 3*x - 21*a - 1214, 4*x + 5*a - 1620 = 0. Let h = 409 - x. Do 2/801 and h have different values?
True
Suppose -1 = 5*f + 3*q, 0*f + 5*f + 2*q = 1. Let b = 15326/7281 - -5/809. Is b <= f?
False
Suppose 2*p - 473 = -5*d, -10*d = -8*d + 2*p - 188. Suppose 3*f - 67 = d. Which is bigger: f or 55?
55
Let y be 501/6*1*-2. Let q = -15200/91 - y. Let x be 0/(7/(7/2)). Is x bigger than q?
True
Suppose 6*f - 9*f = 36. Let r be 2006/(-26) + f/(-78). Let z = -77 - r. Is z at least -1/45?
True
Let n be 2/14 + 2*3/(-42). Let b be n + -4 + 5 + -2. Is 5/18 > b?
True
Let l = -18329.961 + 18297. Let a = 0.081 + l. Let x = -33 - a. Is 1 less than or equal to x?
False
Let s = 3302 + -3294.1. Which is bigger: -0.1 or s?
s
Suppose -3*z = -4*p - 29, -95*z + 35 = -90*z. Let u be -1*(-1 + 2 - -21). Let q be u/(-20) + (0 + p)/4. Which is smaller: 2 or q?
q
Let u(v) be the first derivative of v**2/2 - 15*v + 1. Let s be u(7). Let c be (1 + 1)/(32/s). Which is bigger: 5 or c?
5
Let s = 2958 - 2957.85. Which is greater: 1/30 or s?
s
Let o = -2450.8 + 2260. Let d = o - -191. Which is greater: -0.9 or d?
d
Let m = 53.43 + 7.57. Let n = -750.3 + 688. Let y = n + m. Is y at most 2/9?
True
Let a(u) = u**3 - 14*u**2 + 49*u - 28. Let w be a(5). Suppose v = 9*p - 4*p - 26, -4*v = -p + 47. Is v < w?
True
Suppose 0*r + r = -9. Let u(b) = b**3 + 16*b**2 - 49*b - 8. Let p be u(-11). Suppose 2*t = -1164 + p. Which is smaller: t or r?
t
Let h = -8.48 - -5.48. Let a = 1.81 + -0.11. Let c = a + -1.4. Which is smaller: h or c?
h
Let l(s) = -2*s + 26. Let p = -42 + 46. Let v be l(p). Suppose -5*q + 8 = v. Which is greater: 3/2 or q?
3/2
Suppose 10 = -c - 4*c. Let y = -0.48 + -34.52. Which is smaller: c or y?
y
Let c be ((-26)/(-12) + (8 - 10))/(230/552). Are 218.8 and c equal?
False
Let o be (-10 + 11)/(-1*(-1)/(-7643)). Is -7643 greater than or equal to o?
True
Let s = 15.038 - 15.1. Let a = 0.162 + s. Let v = 10 + -31. Which is bigger: v or a?
a
Let m = 317 - 276. Suppose 58 = v + 2*f, 0 = 3*v - 2*f - m - 117. Is 53 at least v?
False
Let n = -59 + 59. Let v be (-2 + n)/(1 + (-81)/84). Let f = v + 57. Is f bigger than -40?
True
Let t = 116/7 - 18. Suppose 4*d = -3*i + 24, i + 1433*d - 1437*d + 24 = 0. Which is bigger: i or t?
i
Suppose 23987*u - 23959*u = 180628. Which is bigger: u or 6452?
6452
Let i be (5/18)/(90/1368). Which is greater: -11 or i?
i
Suppose 175*i - 180*i - 20 = 0. Let q = 6 + i. Suppose 5*g + 4*m = -3, m = -q*g - m - 2. Which is smaller: -34 or g?
-34
Let y be (36/(-8))/(-9 - -8) - (-16653)/(-14). Is 1 != y?
True
Suppose -2*v - 20 = 2*v. Let z = -15 - v. Let b be 3*((-153)/(-27) + -6). Which is smaller: z or b?
z
Let r = -31.286 - -30.786. Let i = -0.1 + 0.2. Which is greater: r or i?
i
Let c be (-24)/(-192) - (1207/8)/(-17). Is 554/61 at most c?
False
Let j = 78/11 - 2095/297. Let y be 4 + 0 - (-4 + 8). Let v = 1 - y. Is j > v?
False
Suppose 3*n + 34 = -2*n + 4*s, -4*s + 16 = -2*n. Let h be 4*(1/2)/(124/n). Suppose p - 5*j = 5 - 20, 4*p - 6 = -2*j. Which is smaller: h or p?
h
Suppose 7*z - 156 = -149. Let l be (z/4)/(28/2548). Which is smaller: 22 or l?
22
Let m be (0/2 + 0)/(41 - 36). Which is smaller: 1/215 or m?
m
Let q be ((-30)/(-25))/(3/130). Suppose -p - q = p. Let o(r) = -82*r + 138. Let t be o(2). Is t at least as big as p?
True
Let t = -2.6411 - 2.3489. Are 11 and t non-equal?
True
Let a(d) = 3*d**2 - 17*d + 152. Let m be a(19). Suppose 182*w - m = 179*w. Are w and 305 nonequal?
True
Suppose -16*n - 3*n = -627. Suppose n*s - 32*s = 0. Does s = -21/17?
False
Suppose -4921092 = 526*m - 139*m. Which is smaller: m or -12717?
-12717
Let x be 4/(-2) - 18/(-12). Let m(n) = n**2 + 16*n + 5. Let b be m(-11). Let k be (0 + -1)/((-10)/b). Which is greater: x or k?
x
Suppose 3*a - 4 = 11. Suppose 2*u = -2*o + 2, 5*u - a*o = 3*u + 37. Suppose -3*t + u*t + 12 = 0. Are t and -8/3 unequal?
True
Let a = 134.2855 + -0.0855. Let v = 138 - a. Let i = 45 - 44. Which is greater: i or v?
v
Let d(r) = -3*r**3 + 33*r**2 - 54*r + 1. Let t be d(9). Which is smaller: t or 12/241?
12/241
Suppose 4*m + 77 - 29 = 3*v, 4*v - 64 = -4*m. Let w = -15 + v. Let b = 3649/9 - 405. Which is smaller: w or b?
b
Let n = -9 + 13. Let l be (-1 - -4)/((-54)/n). Let m = -200.199 - -200.169. Is l > m?
False
Let m = 18946 + -59261/3. Which is smaller: m or -809?
-809
Suppose -182 = -37*l + 77. Let h be -3*(42/18)/l. Which is smaller: 1/19 or h?
h
Let o be 15197347/(-61336) + 12/(-34). Which is bigger: o or -248?
-248
Let s be ((-98)/(-28))/(1/6). Suppose -3*q + 12 = s. Let k be (q/(-2)*-1)/((-63)/(-1092)). Is k at least as big as -26?
True
Let u be 1048/(-44) - 10/55. Let g(c) = c**3 - 85*c**2 - 41*c + 3465. Let d be g(85). Which is greater: d or u?
d
Let u = -351.5 + 363.5. Is -1/21 at least as big as u?
False
Suppose 47*k + 26061 = -1246. Does k = -582?
False
Let m be ((-1)/(-20807))/(15/30). Let o = -37388/43965191 - m. Let g = o - 6233/111989. Is g at most 0?
True
Let k = -71/45 - -25/9. Let p be ((-10)/(-5))/(3/12). Let y = p - 7. Does k = y?
False
Let c = -6020 - -6019.8. Is 77 <= c?
False
Let j be (-6 + 5)/((-1)/(-3)*-3). Let h be 5*(-1 + 7/6). Is h smaller than j?
True
Let i = -15.7 + 8.4. Let c = 249 - 242. Let o = c + i. Which is smaller: 0.1 or o?
o
Let f = -22 + 11. Suppose 75 = 16*i - 5. Suppose 29 = -4*o - i*y, 0*o + 3*o = 5*y - 48. Are o and f nonequal?
False
Let v(p) = -p**2 + 22*p - 15. Let l be v(12). Let n be 0 + l/18 - (-1)/6. Suppose -7*g - n = 43. Do -6 and g have different values?
True
Suppose -5*t + 3*i + 38 = 134, 5*t + 120 = -5*i. Let m = -58 - t. Let d = -428 + 391. Is m >= d?
True
Let y = -14 + 1. Let o = -1085 - -1568. Let v = -482.9 + o. Is v > y?
True
Let x = 137 - 79. Suppose -5*o - x = -6*o. Suppose 10*a - a - 513 = 0. Do a and o have the same value?
False
Let y be ((-7)/(105/10))/6 - 4167/81. Is -3/10 equal to y?
False
Let g = 279/574 + 4/287. Is g greater than -1366?
True
Let o(k) = -k**3 - 6*k**2 + 3*k - 11. Let a be o(4). Let c = -121 - a. Which is smaller: c or 39?
c
Suppose -4*j - 2 = -3*n - 6, 0 = -3*n - 12. Let y be (-4)/54*1/j. Suppose -12*d + 14*d - 30 = 32*d. Which is smaller: d or y?
d
Let x be (2 + 0)*(-27)/(-18). Let j be x + 7/(-3) + 17/(-12). Let u = 53 + -101/2. Which is smaller: u or j?
j
Suppose 42*v + 55 = -533. Is v greater than or equal to -12?
False
Let t = -40492/705 + 866/15. Which is bigger: t or 2/9?
t
Let j = -1016/40425 + -4/1925. Suppose 9*f - 10 = -f. Which is greater: j or f?
f
Suppose 158*h = 128*h - 180840. Is -6028 greater than or equal to h?
True
Let f = 16 + -19. Let j(c) = -43*c - 26. Let k be j(f). Let s = -100 + k. Is 3 < s?
False
Let j = -84 + 83. Let k be ((-13)/650*5)/(10/36). Which is greater: j or k?
k
Let o = -0.01884 + -58.40116. Let z = 0.58 - o. Let s = 31 - z. Do s and 2/3 have the same value?
False
Let s(i) = i**2 + 54*i + 254. Let p be s(-45). Let v be ((-30)/20)/(3/304). Which is greater: p or v?
p
Let g be (-14)/16*24/(-3096)*12. Are -1 and g equal?
False
Suppose -3*q + 3*j + 94 = 2*q, q + 4*j - 28 = 0. Let z = q - 23. Let w be (-18)/108*(-4)/z. Is w > -7?
True
Let o = -3627 + 3790.9. Let v = 174 - o. Let i = -14 + v. Is 0.1 <= i?
False
Let u(k) be the first derivative of -k**4/4 + k**3 - k**2/2 + 19. Let l be u(3). Let t be l - (-4)/(16/11). Is t less than 0.28?
True
Let w = 38861/5 - 128843/15. Is w bigger than -1?
False
Suppose -3*z + 10 = 7*z. Let l(c) = 2*c**3 + 2*c**2 - 3*c + 2. Let g be l(z). Is g less than -3.5?
False
Let t(q) = 2*q**3 + 6*q**2 + 13*q + 5. Let l(p) = 2*p**2 - 9*p - 22. Let x be l(6). Let w be t(x). Let u = 83 + w. Is -1 != u?
True
Let j(f) = -9*f - 135. Let l be j(-14). Let d be ((-84)/30)/((-2)/5). Suppose -d*a - 16 - 40 = 0. Which is bigger: l or a?
a
Let i = -136 + 70. Let b = 1320 + -1385. Which is smaller: i or b?
i
Let c be 10/(-14) - (-102)/(-357). Let d be 88/64*(c + -2). Do -5 and d have different values?
True
Suppose 0 = -3*f - 5*a - 18, 0 = -f + 6*a - 7*a - 2. Is f at least as big as 67/23?
True
Let r = 6755 - 6509. Is 