 14 - 55/4. Let x = -6 - -8. Suppose 0 = -4*j + 6 - x. Which is smaller: f or j?
f
Suppose -6 = -3*h + r, -h + 4*h + 2*r = -3. Let v = -14 + 22. Let s be v/2*1/4. Are h and s equal?
True
Let n(t) = -3*t - 1. Suppose -u = 4 - 2. Let m be n(u). Suppose -3*k - 13 = 2*a, -k + 24 = 4*a - m*k. Which is smaller: 2 or a?
a
Let q = 0.3 - 1.3. Let u = -69 - -75. Which is greater: q or u?
u
Let c(x) = x**2 + 11*x + 12. Let d be c(-9). Does -0.1 = d?
False
Let s = 426 - 5532/13. Let z = 0 - s. Let g be 2/(-1 + 1 + -2). Which is smaller: z or g?
g
Let q be (-8)/45 - 4/(-10). Suppose -5*h + 9 = -46. Let d be 9/h + 4/22. Which is smaller: d or q?
q
Let q = 2 - 1. Suppose 4*s - 21 = -29. Does s = q?
False
Let j(c) = -10*c - 7. Let z be j(-3). Is z equal to 22?
False
Let c be 0/(1 + 0 + 1). Let q = c + 2. Suppose 2*g + 2*k = 3*k - q, 5*g + 5 = 5*k. Which is smaller: g or 1/6?
g
Suppose -16 + 1 = -5*b. Let y be 5/(20/48) - b. Is 9 equal to y?
True
Let s(f) = f**2 - 5*f + 8. Let k be s(4). Suppose 0 = k*i - 5*v + 4, 4*v - 2 = -0*i + 2*i. Is i < -1?
False
Let b(i) = i**2 + 11*i + 11. Let a be b(-10). Which is greater: a or 2/15?
a
Let b = -733/294 - 1/147. Suppose -g - 1 - 2 = 0. Which is greater: g or b?
b
Suppose 5*t = 2*p + 11, -7 = 2*t - 3*p + 6*p. Let k = 24/25 - 746/725. Which is greater: t or k?
t
Let o(l) = l + 7. Let s be o(-5). Let g be 1 - (-4)/(-5) - (-506)/920. Is g at most as big as s?
True
Let q = 14 - 21. Let h be 94/(-14) + 2/(-7). Is h less than q?
False
Let r = 16/5 + -31/10. Suppose 5*w = -0 + 5. Which is smaller: w or r?
r
Suppose -13*w - 43 = 22. Is w <= -3?
True
Let v be (-11)/2 - (-3)/(-6). Let t(o) = o**2 + 5*o - 2. Let x be t(v). Which is bigger: 5 or x?
5
Let q = -0.295 + 0.537. Let c = 0.048 + q. Let u = c - 0.09. Is 0.3 equal to u?
False
Let w = -1770671 - -1053548779/595. Let p = 2/119 - w. Are 2 and p equal?
False
Let m(p) = p**2 + p - 1. Let y(b) = -5*b**2 - 18*b - 3. Let z(w) = 6*m(w) + y(w). Let s be z(13). Suppose -s*i + 0 = 16. Which is smaller: i or -5?
-5
Let w(q) = -q**3 + 2*q - 4. Let c be w(0). Let d(a) = -a**2 - a + 2. Let n be d(0). Suppose 0 = 4*f + 18 + n. Which is greater: f or c?
c
Let o(c) be the second derivative of c**5/20 + 7*c**4/12 + 4*c**3/3 + 4*c**2 - c. Suppose 5*f = -f - 36. Let z be o(f). Is z bigger than -4?
False
Let a be (-3)/(-6)*0/3. Which is smaller: -2/3 or a?
-2/3
Let t = 42 + -49.4. Let g = 1.4 + t. Let s = -4 - g. Is s < 0?
False
Let m(r) be the second derivative of 3*r + 0*r**2 - 1/12*r**4 + 2/3*r**3 + 0. Let j be m(4). Is j at least as big as 0?
True
Let r be 4/(-14) + (-394)/(-56). Which is bigger: r or 6?
r
Let n = 7/9 - 43/90. Does n = 0?
False
Let g be (-1 + 0)*(63/3 + 2). Is -22 bigger than g?
True
Let j = 11.2 + -11. Which is smaller: 1 or j?
j
Suppose i = -3*i. Let d = -1 - i. Which is greater: 2/67 or d?
2/67
Let a = 39.1 - 8.1. Which is smaller: a or 0?
0
Let u = -1 - -5. Suppose u*b + 17 = 53. Suppose b*c = 4*c. Which is greater: c or 1?
1
Let l be -1*2*(-6)/(-4). Let a = 0 + 0. Let d be a/(-2) + -4*1. Is l >= d?
True
Let y(b) = -3*b. Let q be y(1). Let s be q/12*-6 + -1. Which is smaller: 1 or s?
s
Suppose 4 = -5*v - 3*f + 2*f, 0 = -3*v + 4*f + 16. Suppose v = 4*w - w - 9. Let b = w + -4. Which is bigger: b or 0?
0
Suppose 3*q - o - 5 = 7, -4*q - 5*o = 3. Suppose 3*z = -12, -4*z - 16 = -q*x - 6. Is -3 equal to x?
False
Let n(w) = -w**2 - 16*w - 22. Let j be n(-15). Is j at least -7?
True
Let m = 15 + -15.1. Is 6/5 less than m?
False
Let q = 851 - 4382/5. Suppose 0 = y - 5 - 20. Let l = y + q. Is l > -1?
True
Suppose -5*w + 5*s + 18 = -4*w, 4*w + 2*s = -16. Let r be (-3)/3 - -2 - w. Is 4 at least as big as r?
True
Let w(l) = l + 9. Let i be w(-5). Let b = -2 + i. Let s be 2 - 1 - 2 - -4. Which is bigger: s or b?
s
Let y = -39 - -25. Is y at most -15?
False
Let f = -0.06 + 0.01. Let q = f + 0.05. Let k = -1 + 0.8. Is q smaller than k?
False
Suppose 3*u = -k + 11, -4 = -u - u - 4*k. Suppose -7*b + 4 = -3*j - 2*b, -u*j - 2*b + 38 = 0. Are 7 and j equal?
True
Let j be 2/4 - 9/6. Suppose 4*y - c = -0*y + 307, -5*c = -3*y + 226. Let r = -383/5 + y. Is j at most r?
True
Let z = -64.18 + 65. Let t = z - -0.08. Let n = 1.9 - t. Is n greater than -0.2?
True
Let z be -1 + 11/9 + 0. Let v = -23 + 24. Which is greater: z or v?
v
Let q(r) = -r**2 - 3*r + 2. Let j be q(-3). Suppose -j*m = -5 + 3. Which is bigger: 0 or m?
m
Let z = -8212/51 + 161. Which is bigger: 0 or z?
0
Let z be 3/217*158/(-6). Let u = 2/31 - z. Let k be -2*(-5)/40*-4. Is k greater than u?
False
Let a = -5 - 25. Is a greater than -0.1?
False
Suppose 0 = -2*x + 7*x. Is -4/15 at least x?
False
Let b be (-1)/(-1) - (1 + -6). Let g be 3/(-9) + (-125)/b. Let t = -21 - g. Which is greater: 1 or t?
1
Let l(i) = -i**3 - 5*i**2 + 4*i - 13. Let q be l(-6). Is -4/41 > q?
True
Let j = -1 + 1.5. Let o = -0.5 - j. Let d = -0.4 + 0.2. Which is greater: o or d?
d
Let p be 12/(-9) - 4/(-3). Let o be -1 + (114/(-40))/(-3). Is o at least as big as p?
False
Suppose -2*d + 0*d - 4 = 0. Which is bigger: d or -33?
d
Let y be 0 - -2 - 228/113. Let f = y + -93/1130. Is f equal to -1?
False
Let v be 1/((25/(-35))/5). Is -4 smaller than v?
False
Let t be 0 + (1 - 6/(-3)). Let l be (9/t)/3 - -3. Let u = 7 + -5. Which is bigger: l or u?
l
Let f be (62/5)/((-4)/20). Let g be f/(-56) + 3/(-12). Which is bigger: 2 or g?
2
Let k = 0.11 - -5.79. Let y = k - 6. Which is bigger: y or -7?
y
Suppose -2*f - 2*p + 6 = 0, f + 0*p + 2*p - 5 = 0. Suppose b + b = 6. Suppose -b*q + 0 + 3 = 0. Are f and q nonequal?
False
Let k = 133 - 158. Is k >= -27?
True
Let i = -95/168 + 4/21. Let o be (2/(-4))/(4/(-40)). Suppose o*l = 2*l. Which is smaller: i or l?
i
Let q be (-4)/10 - 1218/(-1320). Let j = q + -1/44. Is j != -1/4?
True
Let s = 55 + -56. Which is smaller: -1/34 or s?
s
Let v = 111 + -111. Is 2/5 less than or equal to v?
False
Let b = -5 + 5.1. Let n = 5 - 7. Let d = 1.5 + n. Is b at least as big as d?
True
Let p = 26.518 - 0.318. Let o = p - 26. Which is greater: -0.5 or o?
o
Suppose -5*w - 5 = 3*y, -w - y + 12 = -3*y. Suppose -j = w*i - 5, -2*i = -i - 2*j. Is i < 4?
True
Let s = 0.92 + -0.65. Is s bigger than -2?
True
Let a = 14 + -17. Let p be 43/(-9) - 4/18. Let x = p - a. Is x at most -3?
False
Suppose -5*b = 4 - 19. Let y be (-3 - -6)*b/9. Suppose 4*x - y = -13. Which is smaller: 0 or x?
x
Let i be -4 + 7 + 0/4. Which is smaller: i or 1?
1
Suppose 5*w + 5*i + 20 = 0, 4*w - 2 = -i - 6. Let n be ((-3)/(-3))/(130/30). Is w >= n?
False
Let t = -23/51 + -15/17. Is t greater than -1?
False
Let v = 1/67 + -69/134. Which is smaller: v or 5?
v
Let k(t) = -t**2 - 3*t - 4. Let z be k(-4). Is -9 less than z?
True
Let m(i) = -i**3 - 2*i**2 + 2*i - 1. Let d be m(1). Let b(p) = -p**3 - p**2 - 3*p - 1. Let r be b(d). Let x = r + -6. Which is bigger: x or 4?
4
Let r = -0.4 + 0.5. Let k = 2.7 - 3. Is k bigger than r?
False
Let i be (1 + 2)*3/(-9). Let k be ((-3)/6)/((-12)/8). Which is smaller: i or k?
i
Suppose -6*o = -5*o - 233. Let s = 2333/10 - o. Let h = -19/20 - s. Is h > -2?
True
Let m(o) be the first derivative of o**4/4 + 7*o**3/3 + 4*o + 1. Let z be m(-3). Let x be (z/6)/(-4) + 2. Do -1 and x have different values?
True
Let a be 4 + -1*(-37 + 1). Which is greater: a or 42?
42
Let j = -12 + -3. Let c be 1/4 - j/4. Which is greater: 2 or c?
c
Let s = -1.1 + 0.1. Let g = -15.11 - -0.11. Let a = g - -13. Which is smaller: s or a?
a
Let u = -31 - -16. Let s = u - -15.4. Which is smaller: 2 or s?
s
Let p = -2.2 - -1.4. Which is greater: -1 or p?
p
Suppose 562 = 5*m - 4*p, -4*m + 241 = 5*p - 184. Which is smaller: m or 111?
m
Let w be (-1 - (-6)/10) + 133. Let k be (2 - 0 - 4) + 135. Let r = k - w. Are 1 and r equal?
False
Suppose -u = -12 - 3. Suppose 5*b = -5*m + 70, 5*m - 70 = -4*b + 2*b. Is m >= u?
False
Let t = 142 - 141. Is 0.057 > t?
False
Let j = 1/1061 - -70954/141113. Let t be (-4)/2 + (-46)/(-38). Let y = j + t. Are 1 and y unequal?
True
Let f(v) = -v + 6. Suppose -c - 2*d + 3*d = -1, -27 = -2*c - 3*d. Let a be f(c). Which is smaller: a or 3/8?
a
Let v(x) = 8*x**2. Suppose 18 = 2*y + 4*b, 5*y = 3*b - 2 - 5. Let i be v(y). Which is smaller: i or 7?
7
Let r be (-4 + 3)*7*-1. Let x be (-4)/r*1/2. Let m = 2 + -2. Which is smaller: x or m?
x
Let h = -17 + 16. Let c = -2