rue
Let v be 19/2 + 2/(-4). Suppose -32 = -132*q + 128*q. Which is smaller: v or q?
q
Let v = -0.02 + 0.05. Let f = v + -0.03. Which is greater: -25 or f?
f
Let p be -1 - (-1 + 1 + 16). Let b = 575 + -591. Is p >= b?
False
Let y = -41 - -78. Let z = -45 + y. Which is smaller: z or -0.5?
z
Let z(v) = -4*v + 108. Let y be z(26). Which is greater: -1 or y?
y
Suppose -450 = -4*z + z. Suppose -4*n = 4*d + 10 - z, -d = -n - 37. Let f be (2 - d/21)/1. Which is greater: f or 2?
2
Let l = 26 + -27. Let h be 1/(3 - (-56)/(-19)). Suppose -h = 2*p + 5*x, -5*p - 2*x + 0 = 16. Which is greater: l or p?
l
Let a = -3.7 + -2.2. Let l = 5.7 + a. Is l <= 2/25?
True
Let o = -7.45 - -5.45. Are 1145 and o non-equal?
True
Let z = -5225/6 + 1365/2. Which is bigger: -188 or z?
-188
Let s(f) be the third derivative of -f**6/24 + f**5/60 + f**4/12 - 6*f**2. Let i be s(-2). Let t be 2/i + 4/(-16). Are 0 and t unequal?
True
Let r = 8113471/80 + -101417. Let p = 39/16 + -9/4. Let i = p - r. Which is bigger: -2 or i?
i
Let a = 41 + -40. Let f = a - 4. Which is smaller: 1 or f?
f
Let n = -173.2 - -173. Which is greater: 1.6 or n?
1.6
Let j = -8444 - -844411/100. Let o = -41/3100 + j. Is o at least -1?
True
Let b(p) be the first derivative of -2*p**2 - 9*p + 20. Let a be b(-7). Is a <= 19?
True
Let j(k) = k**2 - 7*k - 9. Let m be j(8). Let r(g) = -g**3 + 7*g**2 + 6*g + 11. Let a be r(8). Let s be (1 + 3)/(a - (3 + -1)). Are s and m non-equal?
True
Let l = 16.6 - 14.584. Let x = l - 0.016. Which is smaller: x or -7?
-7
Let l = -65 + 65. Suppose l = 5*b + 15, 4*m + 11 = -5*b - 0*b. Which is smaller: m or -63?
-63
Let u(f) = -2*f**3 + 3*f**2 + 2*f + 3. Let o be (0 + -3)/(-6 - -5). Let c be u(o). Let z = c + 13. Is z > -5?
False
Let w = -277/3196 - -3/68. Suppose -25*f = -169 + 169. Is f at least as big as w?
True
Let w(p) be the third derivative of p**5/60 + p**4/6 - 11*p**3/3 - 8*p**2 - p. Let q be w(-7). Which is smaller: 108 or q?
q
Let o = -169/34 + 8115/374. Is o at most as big as 18?
True
Let q(y) = 0 + 0 + y. Suppose 0 = -7*b + 9*b - 16. Let n be q(b). Which is smaller: 7 or n?
7
Let c = 116 + -116. Which is smaller: c or -13.7?
-13.7
Suppose 60 + 21 = -20*x - 19. Let s be (-14841)/28 - (-2)/7. Let w = 526 + s. Is w > x?
True
Suppose 4*p + 15 + 5 = 0. Let b be (p - (-2)/1) + (-20)/(-6). Are b and 39 nonequal?
True
Suppose 5*b + 2*u + 2*u - 22 = 0, 4*b + 4 = 4*u. Let f(h) = 3*h**2 - 4*h - 3. Let v be f(2). Is v < b?
True
Let f(t) = -t**3 + 8*t**2 + t - 4. Let u be f(8). Suppose -o = 8 - u. Suppose 3*n - 3 = 2*y - 0, 2*n = 4*y + 10. Are o and y unequal?
True
Let n(c) = -c + 11. Let a be n(5). Suppose 8 = a*t + 26. Is t less than 1?
True
Suppose 2*d = -0*y + 4*y + 16, -3*d - y + 3 = 0. Suppose 9*k = d*k. Is k > -2/91?
True
Let i = 139 - 195. Let c = i + 23. Which is smaller: c or -34?
-34
Let n = 61 - 40. Suppose 3*l - 104 = v - n, 5*v = -l - 367. Which is smaller: v or -75?
-75
Let u be (-2)/3 - (-98)/3. Suppose 13*t = 14*t + 2*c - 41, -4*c + 115 = 3*t. Which is smaller: u or t?
u
Let z(t) = -2*t**3 + 19*t**2 - 38*t - 2. Let x be z(4). Which is bigger: 25 or x?
25
Let q = -1.8 - -99.8. Let p = -96 + q. Is p smaller than -26?
False
Let u be (-255)/(-145) - 3 - -3. Let y = u - -317/232. Is 2 less than or equal to y?
True
Let b = 37 - 48. Suppose 45 = 3*j - 36. Suppose j = -3*r - 3. Is r at most as big as b?
False
Let c = -1409 - -1412. Let l(a) = a**2 - 5*a - 3. Let h be l(6). Is c less than h?
False
Let l = -23 - -21. Let u = l - -3. Is 0 greater than u?
False
Let t = -4.137 - -0.137. Which is bigger: t or 1?
1
Let g = 3 + 5. Let l = 738 + -2951/4. Is l less than g?
True
Suppose -33*p + 20*p = 0. Is p not equal to -1/1359?
True
Suppose -27 = -3*w - 3. Let a be (-1 + (2 - 2))*-3. Suppose -12 = 4*h, a*c - 4 = 3*h + 32. Is w bigger than c?
False
Let v(r) = 33*r - 96. Let s be v(-8). Is s equal to -0.1?
False
Let m = -5.2 + 9.48. Let x = 4.5 - m. Is -1 < x?
True
Suppose 0 = 3*t + 34 - 130. Let u be (-2 + 3)*2/t. Suppose 0 = -p + 1 - 4, p + 3 = -5*l. Which is smaller: l or u?
l
Let z = 9824 + -1512891/154. Which is smaller: z or -1?
-1
Suppose -27*p - 8 = 235. Which is smaller: 10 or p?
p
Let v be (-1)/(-4) + (-15)/36. Let x = 1.398 + -1.698. Which is smaller: v or x?
x
Suppose 700*d - 450 = 709*d. Which is smaller: d or -46?
d
Suppose 56*d - 8 = 52*d. Suppose 2*u + 4 = -3*m, 0*u - 5*u - d*m = 10. Which is smaller: -7/6 or u?
u
Let a = 1333 + -1332. Is 1/255 smaller than a?
True
Suppose 5*y = 8*y + 27. Let d = 15 + y. Suppose -57 = d*g - 3*g. Is g >= -18?
False
Let s be 322/(-80)*1*(-3)/7. Which is greater: 2 or s?
2
Let z = 48 + -54.7. Let x = 7 + z. Let h be (-102)/(-34) - (-4)/(-2). Is h < x?
False
Suppose 2*g - 88 = -6*g. Suppose -14 = -n - g. Suppose 5*u = 4*c - 11, n*c + 5*u = 4*c + 1. Which is bigger: 6 or c?
6
Suppose 0 = l - 16*l + 45. Which is bigger: l or 17/6?
l
Suppose -7*u - 15 = -12*u. Suppose -4*f = t + f - u, -4*f = 5*t + 6. Suppose -r + 2 - 5 = 0. Which is greater: t or r?
t
Let b be (1 - 2/(-1))/1. Suppose b*x = 2*x. Which is greater: x or -2?
x
Let q be (-1)/(4 + -1)*-3. Let h(c) = c + 6. Let s(o) = -o**3 + 2*o**2 + 2*o. Let m be s(3). Let f be h(m). Is q greater than f?
False
Let a = 178 + -2312/13. Suppose -3*w = 2*d - 9 - 14, 5*d = 3*w + 5. Are d and a non-equal?
True
Suppose -17*i = -14*i + 42. Let v = i + 16. Which is bigger: 3 or v?
3
Suppose 4*c + 18 = 4*l - l, 3*l + 2*c = 0. Suppose -l*n = 4*i + 6, -4*i - 7 = 3*n - 2*n. Which is smaller: n or 6/5?
n
Let o = 157 + -21. Let k = -1359/10 + o. Is k equal to 2/3?
False
Suppose 4*d = 4, -12*d + 17*d = 4*a - 1007. Is a at least 254?
False
Let h = 35 + -22. Let b = h + -18. Which is smaller: -23/5 or b?
b
Let d(g) be the second derivative of -g**3/3 - 3*g**2/2 + 10*g. Let s be d(6). Which is smaller: s or -13?
s
Suppose -3*b + 6 = 3*x, 0*x + 3*x + 9 = 2*b. Let t = 7 + -9. Let y be (x - t)*(-3 - 6). Is y not equal to -9?
False
Let q(y) = y**2 - 31*y + 141. Let d be q(18). Which is smaller: -99 or d?
-99
Let t(b) = b**2 - 2*b - 47. Let h be t(-6). Let o = -24 + 95/4. Is o equal to h?
False
Let x = -346.5 - -494.4. Let j = -148 + x. Which is smaller: -6/13 or j?
-6/13
Suppose -o = 2*q - 34 + 145, o + 5*q = -117. Which is bigger: o or -1162/11?
-1162/11
Let d(w) = 3*w - 3 + 0 + 2 - 8*w. Let n be d(-1). Suppose -35 = c + n*c. Is -8 at least c?
False
Let c be (8/12)/(88/18). Let b(t) = -2*t**2 + 23*t - 8. Let o be b(11). Suppose r - 2 = o*r. Is c less than r?
False
Let b = 6 - 5. Let u be (-12)/16 + (-820)/(-1136). Let v = u - -227/497. Is b at least as big as v?
True
Let i(b) = -2*b - 6. Let s be i(4). Let w = -25 - s. Which is smaller: w or -12?
-12
Let q be 4/18 + (-416)/9. Let d = 22 + q. Let a = -429 - -405. Is d smaller than a?
False
Suppose 4*m - 5*i = 225, 0 = -m - 12*i + 14*i + 57. Is 1 bigger than m?
False
Let a = 872.9 + -717. Let r = a + -156. Which is smaller: r or 1/4?
r
Let r be (1165/25 + 1)*25/6. Which is bigger: 199 or r?
199
Let y = -729 - -8031/11. Let c be 136/68 + 1*-1. Is c less than or equal to y?
True
Let s(d) = -15*d - 26. Let n(z) = -z - 1. Let c(l) = 5*n(l) - s(l). Let o be c(0). Which is greater: 24 or o?
24
Suppose 21*u = 377 - 2393. Are -97 and u equal?
False
Let r be -5 + 2 - 1*-8. Suppose r*b = 2*b. Let a = -162 - -3404/21. Which is greater: b or a?
a
Let i = 331 + -332. Let a = 1.3 + 0.7. Let y = a + 17. Which is smaller: y or i?
i
Let b = 1 + 3. Let v be (-8)/10*(-10)/b. Suppose v = -2*h + 10. Are h and -1 equal?
False
Let t(x) = 5*x**3 - 6*x**3 - x**2 - 2*x + 2*x**2 + 1. Let h be t(1). Suppose -16 - 2 = -6*c. Which is smaller: h or c?
h
Let y(w) = -54*w**2 + 15*w + 7. Let h(c) = -31*c**2 + 7*c + 3. Let f(l) = 7*h(l) - 4*y(l). Let j be 2/8 - 58/8. Let i be f(j). Is 21 greater than i?
False
Let q = 5 - -4. Let a = 68 + -61. Is q bigger than a?
True
Let h = -4.5 + 0.7. Let r = -4 - h. Let v = 18 + -18.05. Which is smaller: r or v?
r
Let h be -2 + 10*(-6)/(-12). Which is smaller: 19 or h?
h
Let s(a) = -4*a + 35. Let z be s(9). Let u = -2/179 + 384/2327. Which is greater: z or u?
u
Let w(m) = -2*m. Let o be w(-9). Suppose x - 15 + o = 0. Let c be -2*2/12*x. Is 22/9 equal to c?
False
Let o = -296 + 295. Are o and -2/1295 unequal?
True
Suppose -21*c = -1613 + 458. Which is greater: 