ose -o + 0*c = 4*c - 7, -5*c + 11 = l*o. Suppose 8*n + 55 = o*n. Which is smaller: -10 or n?
n
Let a = -67 - -70.5. Let y = 5.5 - a. Suppose -54 = 5*m - 3*j, 6 = -3*m + 3*j - 30. Which is bigger: y or m?
y
Let t = 6187/3 + -4125/2. Let n = 5 - 6.2. Let r = 1 + n. Are r and t equal?
False
Suppose r - 5*r = -20. Suppose 3*o + r*p = -33, -11 - 1 = 4*o - 4*p. Suppose -4*i - 24 = -4*z, -3*i + 5009 = -2*z + 5026. Is o >= i?
False
Let b be (-32)/4 + 33 - 9. Is 10 at most as big as b?
True
Suppose -2*t = -4*i - 6, -3*i - 4*t + 21 = -2*i. Let k = 179 - 56. Let v be k/(-35) + 5 - (-2)/(-7). Which is bigger: i or v?
v
Let k(o) = -o**2 + 14*o + 17. Let y be k(15). Suppose 2*u + 6 = -2*a - 0, y*a + 6 = 2*u. Let l be (-2*2/(-11))/1. Which is greater: u or l?
l
Let z = 264017/5544 - 381/8. Which is greater: 0 or z?
0
Let b = 646 + -4532/7. Which is smaller: b or 0?
b
Let g = 120 - 136. Which is bigger: g or -23?
g
Let w be (-8)/(-36) - 208/(-36). Suppose 0 = -w*v + 2*v - 4. Let g = -5 + 8. Does v = g?
False
Suppose 5*q = -5, 3*d - 2*q + 169 = 915. Suppose -i = -9*i + d. Are i and 32 nonequal?
True
Let c be (12/(-24))/(2/168). Which is smaller: c or -43?
-43
Let d(u) = -u**2 + 4*u - 1. Let w be d(6). Suppose 71*t = 46*t - 425. Are t and w unequal?
True
Let t(i) = 9*i**2 + 2*i. Let j be t(-3). Does 76 = j?
False
Let w(l) be the second derivative of l**3/2 + 33*l**2/2 + 4*l. Let p be w(-10). Let t be 1 + (0 + 2)/2. Is t smaller than p?
True
Suppose -3*r = -4*a - 26, 2*a - 8*r + 6 = -3*r. Let f(v) = -2*v - 11. Let z be f(a). Suppose 5*y + 25 - z = 0. Is -1 less than y?
False
Suppose 3 = -b, 5*n - 4*b + 15 = 267. Let p = 48 - n. Which is smaller: 2/133 or p?
p
Let b(v) = v**2 - 6*v + 2. Let n be b(6). Suppose -n*u + 8 = 2*u. Let x be u/4*(-1 + -3). Which is greater: x or -4?
x
Let m be 22/33 + 68272870/3. Let d = 355496845307/15621 - m. Let z = -1/381 + d. Which is smaller: 0 or z?
0
Let r = 2/8341 - 16888/859123. Let s(g) = g**2 + 9*g + 1. Let t be s(-9). Is t less than r?
False
Let t = 197/8 + -25. Let v = 113 - 78. Let w = -34 + v. Does w = t?
False
Let v = -0.1555 - -0.1385. Does -1 = v?
False
Let j = -1912/9 + 212. Let h = 10 - 15. Let p be h + 6 + 1/(-1). Which is smaller: p or j?
j
Suppose 4*w = -2*y + 204, y - 117 = -5*w - 24. Which is smaller: 107 or y?
107
Let a be 56/(-294)*(-6)/(-52). Suppose -167*w = -169*w. Is a greater than or equal to w?
False
Let h(y) = y - 53. Let r be h(30). Are 0 and r nonequal?
True
Suppose 3*o - 2*o - 3 = 0. Suppose 0 = -2*d - 2*d + 4*p, d + 8 = 5*p. Suppose -5*z = 3*k + 5, 0 = -2*k + z - 3*z - d. Which is smaller: o or k?
k
Let f = -28 + 156. Let h = 144 - f. Which is bigger: h or -0.3?
h
Let x(g) = -g - 3. Let f(w) = -1. Let t(d) = -5*f(d) + x(d). Let l be t(1). Is l at least 1?
True
Let l be 3*1*1/(-1). Let t be (0 - -6)*(9/((-81)/(-12)) + -2). Is t smaller than l?
True
Let j be ((-3)/5)/((-1)/10). Suppose y - 5 = j*y. Let s = 13 + -9. Is s not equal to y?
True
Let w(x) = -5*x + 16*x - 9 - 9*x. Let s be w(5). Does -1/14 = s?
False
Let l(q) = -2*q**3 - 3*q**2 - 2*q - 1. Let c be l(-2). Which is smaller: 53/7 or c?
c
Suppose 113 = v - 2*o, 0 = -5*o + 25 - 5. Let b = v - 85. Let i be (-15)/(-20) + b/16. Which is smaller: 0 or i?
0
Let q be (-6)/5 - 36/(-30). Is -1 != q?
True
Suppose -3*h = 2*h. Suppose h = -4*x + 5*c - 15, 3*x - 3*c + 0 = -9. Which is bigger: 2/51 or x?
2/51
Let d = -157.19 - -3.19. Let u = 153 + d. Is u <= -123?
False
Let t(y) = 5*y - 99. Let f be t(15). Which is greater: f or -143/6?
-143/6
Let j = 110 - 200. Let b = -32 + 28. Let u be (b/j)/(24/(-30)). Is 1 at most u?
False
Suppose -5*b - 19 = -4*s - 8*b, -s - 3*b = -16. Which is bigger: s or -10/87?
s
Let n = -48 - -93. Which is smaller: n or 44?
44
Let h = -3778 - -3760. Let p be -1 + (1 - -1)*-8. Is p bigger than h?
True
Let q(g) = 167*g**2 + 7*g + 2. Let x be q(1). Which is smaller: 349/2 or x?
349/2
Let c = 117 + -116.3. Suppose 0*d + 14 = 2*y + 3*d, -d + 9 = 5*y. Which is greater: c or y?
y
Let d = -38.5 - -12.5. Is 0 less than d?
False
Let t(p) = p**2 + p. Let w(h) = h**2 + 2*h. Let c(m) = -4*t(m) + 2*w(m). Let z be c(-2). Do -3 and z have different values?
True
Let r = 3148/3 - 1069. Which is bigger: -21 or r?
r
Let z = 0 - -2. Let k be (-3)/8*1*z. Let a = -27/5 + 29/5. Is a <= k?
False
Suppose 4*p = 4 - 8. Let s be 3*2 - (5 - 20/5). Let j be (-15)/s + p + 0. Is -6 bigger than j?
False
Let y(r) = -r + 11. Let u be y(10). Let o be 5 - 3*(2 - u). Let v be (-1)/((-2*o)/(-12)). Are -4 and v nonequal?
True
Suppose 3*q - 141 = -3*n, -n + 2*n = q - 57. Suppose 123*c - q = 127*c. Which is smaller: -14 or c?
-14
Let i = 263 + -222. Which is bigger: i or -1?
i
Let w(h) = h + 28. Let l be w(-17). Suppose -z - o + 9 = 0, l = 3*o - 4. Which is smaller: z or 5/2?
5/2
Let d be ((-3)/39)/((-30)/(-360)). Are -0.1 and d equal?
False
Let v(p) = -p**2 + 10*p - 2. Let d(z) = 2*z - 8. Let r be d(4). Suppose 0*y + y - 12 = r. Let g be v(y). Is -27 != g?
True
Let k = -14208640193932108337/628005349995038824 - 10/1196893725119. Let o = 2/65587 + k. Let y = o + 89/4. Is y at most -1?
False
Suppose 2 + 18 = -4*b. Let x be 2*((-2)/4 + 2). Let r be 1*(-1)/2*(3 + x). Do r and b have the same value?
False
Suppose -v + 22 = -5*n, 2*n - 4 = 3*n. Which is bigger: -430 or v?
v
Let r = -14.31 - -14.48. Which is smaller: 0 or r?
0
Let o(f) = 33*f + 2. Suppose q - 2 = -s, -s + 6*s - 4*q - 1 = 0. Let u be o(s). Which is smaller: 36 or u?
u
Let d = -310/29 - -9322/145. Let y = 53 - d. Is 2 bigger than y?
True
Suppose -62197 = -54*f - 4741. Is 1064 at least as big as f?
True
Let d(b) = -b**3 - 44*b**2 - 41*b + 108. Let y be d(-43). Which is greater: 67/3 or y?
67/3
Let p(d) = d**3 - 5*d**2 - 26*d + 12. Let j be p(-7). Is j <= -396?
False
Let u(n) = 16*n + 11. Let a be u(9). Let r = -1083/7 + a. Let g = 0.03 - -0.03. Which is bigger: r or g?
r
Let f = 11.13 - 0.13. Let d = f + -9.9. Let h = d - -0.9. Is -2 <= h?
True
Let b = 1/5316 - 21299/186060. Let g = 4 + -3. Do b and g have different values?
True
Let q = 254 - 252. Let b = 0.2 + 0.3. Which is greater: q or b?
q
Let v be (-14)/(-3) - 4/6. Let p(t) = t**2 - 4*t - 2. Let b be p(v). Suppose -5*x = -2*f - f - 14, 2*f + 9 = 3*x. Is b at most as big as f?
False
Suppose -3*z + 99 = q, 0*z + 5*z = 3*q + 151. Let i = -32 + z. Suppose 9*k - 3*k = i. Which is greater: k or 1/6?
1/6
Let k = 2501.6 + -2502. Which is greater: -111 or k?
k
Let z be (92/(-6))/(16/66). Let b = -63 - z. Let i = 1111 - 1111. Which is bigger: b or i?
b
Suppose 0 = -0*a + 4*a. Suppose -2*v + t + 2 = a, 2*v + t = -3*t - 18. Let s be -2 + 14/4 + v. Which is bigger: 0.3 or s?
s
Let f = -591.4 + 576. Is 1/7 < f?
False
Suppose 3*d = d - 2. Let u be (-1002)/16 - (-3)/8. Let n = u - -62. Which is smaller: n or d?
d
Let p = -0.2 + 8.2. Let n = -0.17 + 7.17. Let s = p - n. Is s at least -2/7?
True
Suppose 6*y = y - 0*y. Which is smaller: y or 7/6?
y
Let q be (3 + 1)*(-93)/24 - -1. Is -15 at most q?
True
Let m = 36.1 - 36. Which is smaller: m or 15?
m
Suppose 2*z - 2955 = -3*y, -4*y - 12*z + 3938 = -10*z. Is -1 < y?
True
Let x = 772/15 - -59/15. Which is smaller: 55 or x?
55
Suppose 72*q - 73*q + 37 = -3*l, q = -4*l - 54. Is l not equal to -7?
True
Suppose 0 = -2*c - 2*r - 30, -c = c + 3*r + 31. Let v = c + 0. Let n be 4/(v/10 - -1). Which is bigger: -9 or n?
-9
Suppose -59*j = -68*j + 153. Suppose -6*c + 84 = -2*c + 4*s, -5*c = 4*s - 104. Is j at least as big as c?
False
Let k be (30/(-9))/(7 + (-65)/10). Which is smaller: -2 or k?
k
Let a(x) = -3*x**2 - 18*x - 21. Let t be a(-3). Is t < 19?
True
Let n = 77.34 - 75. Let w = n + -2.6. Let p = w - -0.29. Which is bigger: p or 0?
p
Let p be (2440/25)/(2 + 22/(-10)). Is -488 < p?
False
Let y = -3.15 - -3.2. Let f = y - 27.05. Does 2/7 = f?
False
Let z = -144 + 205. Which is smaller: z or 2?
2
Let l be 166/(-18) + 4/(-18)*-1. Let b be (l + 3)*4/(-3). Which is greater: 7 or b?
b
Let k = 100 + -97.6. Let b = 1 - 3. Let f = k + b. Are f and 1 equal?
False
Suppose -k + 4*y = -17, 4*k = -5*y + 129 - 40. Suppose 0 = 5*a + 5 - 25. Suppose a*w + k = -3. Is w not equal to -0.3?
True
Let z = -1608 + 1608.2. Which is bigger: z or -0.171?
z
Let x be (11 + -1)*(-88)/(-16). Is 54 <= x?
True
Let h = -34 - -47. Suppose -3*c + c = -3*l - h, -5*c =