. Let s = -1.0448 - -0.0448. Which is greater: v or s?
v
Suppose 0*j = -j - 7*j. Which is smaller: -14/19 or j?
-14/19
Let j(x) be the first derivative of x**4/4 - 7*x**3/3 - 9*x**2/2 + 6*x + 12. Let w be j(8). Suppose d + 2 = -r, r - 1 + 0 = -2*d. Which is smaller: r or w?
r
Let t be ((-83)/(-3))/((-1)/(-3)). Let s(a) = a**3 + 9*a**2 - 21*a - 26. Let b be s(-10). Which is bigger: b or t?
b
Let r(i) = -2*i - 4. Let s(u) = -u**2 + 4*u + 3. Let h be s(5). Let q be r(h). Is q != 1?
True
Let l(f) = f**3 + 7*f**2 - 4*f - 7. Let s be l(-7). Let i = 24 - s. Suppose -i*y = -y. Which is smaller: y or -2/35?
-2/35
Let n = 16 + -12. Suppose 2*d + n = 0, -3*z + 3*d + 18 + 21 = 0. Let a = -7 + z. Is 5 smaller than a?
False
Let k be (0/((-4)/(-2)))/1. Suppose k = -8*f + 9*f. Let c be (-2)/(-6) + (-29)/33. Which is smaller: c or f?
c
Let g = -25 - -31. Suppose 2 = f + g. Let a = -16 - f. Which is smaller: a or -11?
a
Let f = -6.9 + 7. Let q = f - 0.07. Let l be (3*6/9)/(-2). Is l bigger than q?
False
Let h(f) = -2*f**2 + 29*f - 59. Let p be h(12). Which is greater: 11.3 or p?
11.3
Suppose -18 = -5*v - 8. Let f = 281 + -3085/11. Is f at most v?
True
Let u be (768/(-1057))/(225/(-30)). Let p = u - 6/151. Which is smaller: -1 or p?
-1
Let z = -5633/5506866 + 1/4374. Is 0 <= z?
False
Let s be 1 - 22/(-88)*(1 + -1). Is 1/2130 at most s?
True
Suppose 20*s + m + 13 = 19*s, 43 = -s + 5*m. Is -19 smaller than s?
True
Let i = -9.6 + 9.24. Let o = i - -0.16. Which is greater: -0.04 or o?
-0.04
Suppose -5*l - 3 + 13 = 0. Suppose -3*g - 4 = -4*y + 8, -2*y - 3*g + 6 = 0. Suppose -k + y = l. Is 1 at most k?
True
Let a = -6 + 8. Suppose a*s + 5 = 7*s. Let c(l) = l**2 + 11*l - 26. Let j be c(-13). Which is greater: s or j?
s
Let c(f) = -f**3 + 9*f**2 - 9*f + 9. Let p be c(8). Suppose 13 - 3 = 5*n. Suppose 10 = -3*t + 5*w, 2*t + 0*t - n*w = 0. Which is smaller: t or p?
p
Let j be (-15)/(-20) - (-18)/8 - 5. Let g be j/((148/48)/(-1) - -3). Are g and 22 equal?
False
Suppose -2*c + 17 - 7 = -4*f, 3*c - 4 = -5*f. Is -3/56 smaller than f?
False
Suppose 0*a + 1 = a. Are a and 1/369 nonequal?
True
Let z = 6234220691/414348 - 646973/43. Let u be 10/(-60) + (0 - 143/(-876)). Let g = z + u. Is -1 <= g?
True
Let s = 1234 + -1268. Are 0.6 and s non-equal?
True
Let v = -6.1 + 2. Which is smaller: 2/3 or v?
v
Suppose 10 = 4*g + 14. Let x = 2080 - 792482/381. Let c = -49/1270 - x. Which is smaller: g or c?
g
Let d be -7 + -222 + (-15)/(-3) + -6. Is d greater than -229?
False
Suppose 2*s + 0 - 2 = 0. Let z be (-1)/3*(-8 - s). Which is bigger: z or 2?
z
Let t(z) = 6*z + 41. Let x be t(-7). Is x at least 20/49?
False
Suppose -5*r = -o - 42, -o - r + 24 - 42 = 0. Which is bigger: o or -21?
-21
Let a(b) = -3*b - 6. Let k be a(-7). Let l(p) = p**2 - 15*p + 13. Let y be l(k). Which is greater: y or 12?
y
Suppose 0 = 26*y + 3648 + 17828. Are y and -826 equal?
True
Let x be (3/(-6))/(-677 + 3). Do x and -1 have the same value?
False
Let h be 0 - 15/10 - -9. Is -3/7 not equal to h?
True
Let w = -660 + 660. Which is smaller: w or -3/130?
-3/130
Let a = 49 + -81. Is a != -33?
True
Let h = 13/3 + -14/3. Let k = -4/33 + -1/22. Is h greater than k?
False
Let k be (12/(-126))/(4/12). Let u = 9.1 + -16.1. Which is bigger: k or u?
k
Let i = 669 - 1010. Is -343 greater than i?
False
Suppose -2*r - 10 = -5*o, 2*r - 2 + 6 = 2*o. Let w be (3 - (o - -5))/(2/27). Is -54 bigger than w?
False
Let a = 9 + -4. Let k = 6.7 - a. Let l = k + -1. Which is bigger: l or 1?
1
Suppose -3*g - 26 - 31 = 0. Let n = 20 + g. Which is bigger: -3 or n?
n
Let f = -253 - -81. Let z = -854/5 - f. Which is greater: 2 or z?
2
Let v be 4914/(-153) - (2 + 72/(-34)). Let c be (v/264)/(8/(-36)). Let h be 5/(-2)*8/(-10). Is h at least as big as c?
True
Let g = -27426.999 + 27442. Let v = 0.001 - g. Is v greater than or equal to 3?
False
Let y = 611/7 - 87. Let r = 24/35 - y. Let a = -8 - -7.9. Do r and a have different values?
True
Let p(u) = -u**3 + u**2 + u - 2. Let i(c) = -c**2 - 9*c + 1. Let n be i(-9). Let j be p(n). Which is smaller: j or -10?
-10
Let d be (-11)/((-528)/(-804))*-12. Which is bigger: d or 198?
d
Suppose 0 = 3*p - 6. Suppose p*b + 16 = 2. Is b not equal to -9?
True
Let l = -3/1175 + 4616/1347725. Which is greater: 0 or l?
l
Let h = 6.7 + -13.7. Which is smaller: -21 or h?
-21
Let r be 16 + -14 + 137*1. Suppose 4*u + r = -5*m + 6*u, 4*u = 8. Which is greater: -28 or m?
m
Let r(p) = -10*p**3 + 4*p**2 + 7*p - 9. Let z be r(3). Which is greater: -223 or z?
z
Let t be 0 - 28/138*-6. Let k = 90587691/184 + -492326. Let x = t + k. Which is smaller: x or 0?
x
Let i be 4/(-6)*-6 - 12. Does i = -8?
True
Let d = -5 - -2. Let i(k) = 27*k. Let m be i(1). Let t = m + -29. Which is smaller: d or t?
d
Let r(m) = -m**2 + 0 - m**3 - m**2 - 4*m + 2 + 7*m**2. Let o be r(4). Suppose -3*y = -5 + o. Which is smaller: 3/8 or y?
3/8
Let j be 1/(3/33) - 4. Suppose j = -2*u + 3*k, 0 = -2*k + 3 - 1. Let a be (-22)/18 - u/9. Is a not equal to -2/5?
True
Let f = -0.05 - -0.85. Let t = 0.6 - f. Let n = -0.056 + 0.156. Is n <= t?
False
Let k be (-3)/(-1) + (11 - (-464)/(-32)). Which is smaller: -4/337 or k?
k
Let h = -53/2 + 27. Let x be 1/(-445)*2*-5. Which is bigger: h or x?
h
Let u = -12925 + 12925.2. Let x(i) = i**3 + i - 1. Let o be x(0). Is u at least o?
True
Suppose -76 = -3*a + 2*a. Let r = 455/6 - a. Let f = 0.02 + 0.08. Are f and r unequal?
True
Let b = -355 + 355. Which is bigger: -12 or b?
b
Let h = -149/2 - -5807/78. Let k(z) = z**2 + 3*z - 1. Let r be k(-3). Which is smaller: r or h?
r
Suppose -1 - 9 = -2*s, -4*a - s = -137. Which is smaller: 32 or a?
32
Suppose -3*t + 762 = 87. Which is smaller: 224 or t?
224
Let g be ((-3)/(-9))/((-1)/(-15)). Suppose -1 = -3*n + g. Let t(r) = r**3 + 5*r**2 + 4*r + 3. Let c be t(-4). Which is smaller: n or c?
n
Let v be (1 + 1)*14/(-4). Suppose -3*y - 6 = -s - 2*s, -3*s + 3 = 0. Let d be (27 - 20)/(y*1). Is v != d?
False
Let v = -51 + 63. Let m = -21 + 23. Which is smaller: v or m?
m
Let v = 443.1 + -388. Let f = v - 55. Which is bigger: -10/3 or f?
f
Suppose -59 = 7*k + 410. Which is smaller: k or -2?
k
Suppose -113*k + 119*k - 6 = 0. Which is bigger: k or 15/32?
k
Let w be ((-13945)/6970 - -2)*(1 - 558). Let z = w + -7/17. Are z and -1 unequal?
True
Let q be 3/(-2) + (-2415)/(-1630). Is q equal to -1?
False
Let h = -503 - 340. Is h <= -844?
False
Let j(m) = m + 10. Let g be (-4)/(-2 - -6) + -7. Let a be j(g). Suppose 2*d = 2*n - 2, n = a*d + 2*n + 14. Is d not equal to -2?
True
Let d(y) = 20 + 0*y + 5*y - 19. Let t(x) = x**3 + x**2 - x + 1. Let f be t(1). Let k be d(f). Which is smaller: 12 or k?
k
Let x(t) = -t**2 + 11*t - 21. Let d be x(8). Suppose d*n - 47 = 10. Are 20 and n equal?
False
Let s be (154/6)/((-2)/(-12)). Let x = -467/3 + s. Is x smaller than -2?
False
Let c(v) = -4*v + 29. Let q be c(6). Suppose -3*m - 2*m + 3*a = 15, a = q. Is 1 smaller than m?
False
Suppose 5*q = -0 + 60. Let x be 1/(4/42) + (-24)/(-16). Is q >= x?
True
Let v = 413 - 411. Which is bigger: -36.2 or v?
v
Let y(j) = 7*j**2 + 2*j. Let n be y(1). Suppose n = -l + 4*g, -4*g - 23 = 2*l + 7. Which is smaller: -12 or l?
l
Suppose 0 = l + 149 - 143. Are l and -7 non-equal?
True
Let s = 4.41 - 17.1. Let y = s - 1.11. Let h = -14 - y. Is -1/5 >= h?
True
Suppose -2*v = -5*k - 22 - 18, -5*v = 2*k - 42. Are v and 75/7 unequal?
True
Let a be (-6)/2922*58374/44. Let p = 3/974 - a. Is 3 at least as big as p?
True
Let j = -7.7 + 8. Let p = -0.3 + j. Suppose 6*n - 7*n = 4*n. Is n at most as big as p?
True
Let q = 171 + -168. Is q at least as big as 40/11?
False
Let n = -16/9 + 35/18. Suppose -2*r + 16 = 3*w + w, -5*r + 13 = w. Suppose 3 = -r*c - c. Is n at least c?
True
Let k = 2.1 - 1.6. Let a = -1.4 + k. Let b = 0.8 + a. Is 2/17 bigger than b?
True
Suppose l + 11 = 13. Let j be l*(-408)/202 + 4. Let d = 25/1919 - j. Which is smaller: d or -1?
-1
Let s(i) = 40*i - 2. Let o be s(-1). Let d be 2/(-9) - o/(-54). Suppose 12 = -3*y - 3*y. Which is bigger: d or y?
d
Suppose -t = 4*t. Suppose l = -t*l. Suppose -4*m + l*m = -40. Is 10 < m?
False
Let b = 264 + -264. Which is greater: b or -22/25?
b
Let k(i) = -33*i - 149. Let f be k(-11). Is 217 >= f?
True
Let c = -32.2 - -5.2. Which is greater: -1 or c?
-1
Let q(r) = r**3 + 36*r**2 - 56*r 