?
-2
Let o(j) = -6*j - 2. Let u be o(-3). Suppose -2*a + 18 = u. Which is bigger: 4/21 or a?
a
Let h = 22.15 + -22. Let r = h + 0.85. Is r smaller than 1/4?
False
Let f be (52/5)/((-22)/(-55)). Let m be (-28)/(-6)*9/3. Let s = f - m. Which is smaller: 11 or s?
11
Let l(n) = n**3 - 5*n**2 + 7*n - 8. Let c be l(4). Let a(r) = -r**3 + 3*r**2 + 3*r + 2. Let d be a(c). Is -0.3 > d?
True
Let z = -97661/114 + 5141/6. Let h = -2 + 3. Which is bigger: h or z?
h
Let p = -2987/2096 + -18/131. Which is greater: p or -1?
-1
Let i = 396 - 793/2. Are i and 0.07 equal?
False
Let y = 242/2421 - -3/269. Is y greater than 4/9?
False
Let h be 2/(-8) + -2 + (-729)/(-4). Let m be (-3)/(-7) - (h/(-21) + -3). Is 13 at most m?
False
Let f be 2*2*3/(-8). Let d(u) = -u**3 + 9*u**2 + 9*u + 2. Let v be d(10). Let m(t) = -t**2 - 8*t - 1. Let w be m(v). Which is bigger: f or w?
w
Let h = -0.11 - -0.03. Suppose 5*k = 6*k - 4. Suppose -5*b = -b - k. Is b at most as big as h?
False
Suppose -3*b + 4*h = -36, -10 = -b + 5*h + 13. Suppose 3*n - 10 = -64. Let l = n + 25. Is b != l?
True
Suppose 0 = 2*j - 3*r - 45, 0*j - 3*r + 75 = 3*j. Let z be (-4)/8*j/30. Is z greater than -0.25?
False
Suppose 6 = f + 5. Let s = -3 - 7. Let j be 2/s - 94/(-370). Which is bigger: f or j?
f
Let g = -8 - -13. Let c = -18 + g. Let f = 11 + c. Which is smaller: -5 or f?
-5
Let g = -1369 + 751. Which is smaller: 1 or g?
g
Let s(a) = -a**3 + 5*a - 3. Let f(m) = -3*m**3 + m**2 + 11*m - 7. Let g(t) = 2*f(t) - 5*s(t). Let h be g(3). Is -17 greater than h?
False
Suppose -14*d + 10*d + 2*u = 1224, 2*u = -4*d - 1216. Is -306 equal to d?
False
Suppose -7*f - 130 = -2*f. Let r = f - -38. Let w be 51/r - 1/4. Is w > 0?
True
Let h(m) = -2*m**2 + 9*m - 3. Let t be h(4). Let y be -1 - 32 - t/(2/(-6)). Is -31 greater than y?
False
Suppose 13*u = 18*u - 10. Let o be 1*u + (696/(-30))/4. Which is bigger: -5 or o?
o
Suppose 0 = 3*z + 2*l - 5, 4*z + 2*l - 5 = 1. Let r(q) = q**2 - q + 2. Let d be r(z). Is 7/6 smaller than d?
True
Suppose 0 = 3*b + 7*b + b. Which is bigger: b or -1/48?
b
Let w = 1 - 22. Let q be 0*(w/(-6))/(-7). Suppose q = 3*o + 6 - 3. Is -1 at most o?
True
Let l be (-5)/12 + (-24)/(-32). Is 3 less than l?
False
Let m = 24.025 - 0.025. Which is smaller: m or -0.1?
-0.1
Let z be (-6 + -4)/(5/125). Is z not equal to -244?
True
Let c = 1211/16 - 1122629/14832. Which is smaller: -1 or c?
-1
Suppose -66 = -18*l + 15*l. Which is bigger: l or 21?
l
Let y = 1.2 - 0.2. Let q = 6 - 5.98. Let i = q + -1.02. Which is smaller: y or i?
i
Suppose -u = 21 - 5. Which is bigger: u or -12?
-12
Let p(z) be the second derivative of z**5/20 - z**4/4 - z**3/2 - 5*z**2/2 - 5*z. Let k be p(4). Which is smaller: -9/4 or k?
-9/4
Suppose -u - 15 + 4 = 3*a, 3*u + 4*a = -18. Which is greater: u or 1/3?
1/3
Let z = 0 - -12. Let n = z + -19. Let s(k) = -2*k - 10. Let p be s(n). Which is greater: p or -1?
p
Let y = 0.57 + -0.67. Suppose -3*m + 82 = l, -5*l - m - 221 = -589. Which is bigger: l or y?
l
Let m be ((-3)/(-2))/((-749)/(-14) + -12). Is m >= 0?
True
Let o = -5207/9 - -579. Which is smaller: -16 or o?
-16
Let s be 20 - (-2 + (-12)/(-2)). Which is smaller: s or 17?
s
Let g = -1090 - -1063. Are -1/7 and g nonequal?
True
Suppose -3*g + 5*g + 4*l + 26 = 0, g - 2 = l. Let z be 121/(-3) + (-1)/g. Let t be 1 + (-9)/((-252)/z). Which is smaller: 0 or t?
t
Suppose 5*t + 3*o = -6, t + 10 = -2*o - 3*o. Let g be 6 + -6 + (5 - t). Suppose 19 - 7 = g*d + 3*h, -4 = -d - h. Is 1/5 >= d?
True
Let f(j) = j**3 + 6*j**2 - j - 2. Let o be f(-6). Suppose 40 = -3*v - o*i, -2*v + 7*i - 5*i = 22. Let g be (-9)/2*v/(-9). Which is smaller: -4 or g?
g
Let w = -0.237 - -0.337. Which is smaller: w or 73?
w
Let n be (-1)/5 - (-18)/(-10). Let t be (n/(-14))/(1/1). Let y = 163/7 + -23. Is y at most t?
False
Let n = -300 - -205. Which is greater: n or -98?
n
Let r(c) = -c**3 - 6*c**2 + 4*c - 12. Let h be r(-7). Suppose -5*s = -h*s. Which is bigger: 1/2 or s?
1/2
Let x be (-2 - 4)/12 + (-2773)/18. Let r = x + 155. Which is smaller: r or -1?
-1
Suppose 4*i + u = 474, 0*u = -4*i + 5*u + 462. Suppose -3*o = -6*k + k + i, -o - 126 = -5*k. Is k at least 26?
True
Let v be (119/(-42) + 3)/4. Let p = 0 - 1. Which is smaller: p or v?
p
Let f(b) = -b**3 - 5*b**2 + 10*b + 2. Let p be f(-5). Do -48 and p have the same value?
True
Let z(k) = k**2 + 3*k + 3. Let i be z(-6). Suppose 23*x + i = 24*x. Is x at least as big as 19?
True
Let w = 5.3 - 0.3. Let v be 18/24 + (-5)/4. Is w <= v?
False
Let s = -750.1 + 750. Is s less than 53?
True
Let f(h) = -h**3 + h**2 - 1. Let z be f(0). Let x(a) = 8*a**2 + 2*a - 1. Let p be x(z). Which is smaller: 26/7 or p?
26/7
Let z be (-8 + 9)*(-5)/(-3 - -8). Which is greater: z or 1/125?
1/125
Suppose c + 111 = -2*r + 4, -117 = 2*r - c. Let d = -49 - r. Which is greater: 34/5 or d?
d
Let w = 0.025 - 24.025. Let v = -0.1051 - 19.8949. Let h = v - w. Which is smaller: h or 0.3?
0.3
Let g be (-2*1/5)/((-3)/(-30)). Suppose -3*k = k - 8. Let q be k/g*21/(-3). Which is bigger: q or 5?
5
Let a = 19.45 + -19.2754. Which is bigger: 0.1 or a?
a
Let c be 1/((-41)/1)*2. Let r = 119/82 - c. Suppose -10 = -5*f - 0*f. Which is smaller: r or f?
r
Let a be 198/4 - (-2)/4. Let u = 0.90718 + 0.09282. Is u greater than or equal to a?
False
Let d = 8 - 3. Let c = 2 - d. Let r be ((-16)/(-3) + c)/(-1). Is -2 smaller than r?
False
Suppose -4*i + 2*w = 16, -35*i - 5*w - 32 = -33*i. Let c(k) = 2*k - 4. Let b be c(0). Which is bigger: i or b?
b
Let j = 1.61 - 10.31. Let g = 4.3 - j. Is g < -1?
False
Let a(o) = 3*o**2 - o + 1. Let z be a(1). Suppose -n + 5*f = -0*f - 27, -5*n + 75 = -5*f. Suppose n = z*m - 18. Is 12 greater than m?
True
Let b = -3 + 8. Suppose -b*w = -10, 3*i = 5*w + 2 - 3. Suppose i*v - 19 = -4*q, -6*q = 5*v - 2*q - 21. Is v greater than 12/7?
False
Let p be 7/(-3) + (-1)/(-3) + 46. Let l be (2 + -9)/(p/(-20)) + -3. Which is smaller: l or -16?
-16
Let l(n) be the first derivative of n**2 + 21*n - 14. Let j be l(5). Are j and 30 nonequal?
True
Suppose 15 = -5*k, -w + 2*k - 45 = 2*w. Let h be 10*-2 + 6/(-2). Let c = -41 - h. Is c not equal to w?
True
Let q = 1425 - 1560. Is -139 equal to q?
False
Let v = -459 + 427. Suppose 0 = 2*m + m + 96. Do m and v have different values?
False
Let x be ((-309)/(-15) + -3)/(14/35). Is 47 >= x?
True
Let n(b) = 24*b**2 - 7*b + 31. Let g be n(5). Which is smaller: g or 597?
g
Suppose -2*i - 324 = 4*v, 4*i - 174 + 22 = 2*v. Let t be -8 + 8 + -80 + -1. Is t less than or equal to v?
True
Let g = 236 + -215. Let a = -59 + 39. Let n = a + g. Which is smaller: 1/6 or n?
1/6
Let v = 0.1 - 0. Let u = 44.7 - 43. Let p = 1.3 - u. Do v and p have the same value?
False
Let z be (3/(-2))/(21/(-364)). Suppose 2*j = -2*b + z, -2*b - j = -0*b - 24. Is b not equal to 11?
False
Suppose -22*n = -458 + 436. Are n and -3/1406 nonequal?
True
Let i be 3 - (-3)/((-225)/2915). Which is smaller: i or -35?
i
Let l(x) = -34*x + 2. Let y be l(-1). Let d be (4/12)/(2/y). Let c be (-18)/24 + d/3. Is c not equal to -2?
True
Let a = -4905/4 - -1214. Do 3 and a have different values?
True
Let t = 59 - 58.87. Let j = 16 + -17. Which is smaller: t or j?
j
Let f be ((-20)/(-30))/(1/2). Is f smaller than 18?
True
Let t be -1*(-335 + (-20)/(-5)). Let i = t - 519. Let p be i/(-180) - (-1 - -2). Is p smaller than 1?
True
Let t be 98/(-28) - (-18)/12. Suppose -5*k + 3*k - 12 = 0. Is t less than k?
False
Let k = -1.334 - -1.234. Which is smaller: -164 or k?
-164
Let r = 5 - -10. Let b = -17 + r. Let t be (6/14)/((-12)/21). Does t = b?
False
Let f be 4 + -1 - (-1)/1. Suppose 0 = -2*d + 4 + 2. Suppose d*t - 4*v = 32, -t + 4*t - 30 = 3*v. Which is smaller: t or f?
f
Suppose o - g + 19 = 0, 2*g = 3*o + g + 51. Let d = 17 + o. Let m be ((-3)/6)/(d/2). Which is smaller: m or 4/15?
m
Let m = -8 + 1. Let s(b) = 6*b**2 - b - 1. Let l be s(-1). Suppose 14 = -8*g + l*g. Are m and g non-equal?
False
Suppose 4*t = -2*x - 662, 4*t = 7*t + 3*x + 489. Let l = t - -161. Is -11 < l?
True
Let b = 1125 - 1125.4. Suppose 34 + 31 = -5*t. Does t = b?
False
Suppose -401*g - 3348 = -413*g. Is g smaller than 278?
False
Let n be 2 + 0 - (-27 - -1). Let h = -22 + n. Let m be 1 - (h/10)/3. Is 0 less than m?
True
Suppose 0 = -35*i + 68 - 33. Which is bigger: 4/793 or i?
i
Let x = -33 + 32.