 0*b - 14 = -3*l - b, -10 = -5*l + 5*b. Which is bigger: -15 or l?
l
Suppose -x - 2 = 0, -2*x + 5*x = 3*b + 33. Let m be 1 - 3/18*86. Let o = b - m. Are o and 2 equal?
False
Let z(k) = 28*k - 280. Let v be z(13). Is 86 not equal to v?
True
Suppose -3*j + 12 + 0 = 3*i, -3*i - j + 22 = 0. Let b be 1 - 0 - (i + 1). Let a be ((748/(-20))/(-11))/((-20)/50). Are b and a equal?
False
Let k = -400/9 + 89/2. Let d = -3 - -5. Suppose 0 = -5*j - u + 3, d*j = -u - 4*u - 8. Which is bigger: k or j?
j
Let j(s) = 23*s**2 + 3*s - 3. Let k be j(4). Let d = k - 3011/8. Which is smaller: d or 1?
d
Let t be -8 + (-5 - -3)*3. Is -14 <= t?
True
Suppose 2*z - 2*m + 10 = 3*z, 24 = 3*z + 4*m. Which is bigger: z or 218?
218
Let g be 8*(-5)/10 + -9. Which is smaller: g or -21?
-21
Let b = 1445 - 93922/65. Is b equal to -1?
False
Let s = 124.718 + 0.282. Let o = s - 125.1. Is 0.03 bigger than o?
True
Suppose 4*h = -0*h + 2*z + 14, -4*z = -h. Let g = 23 + -25. Let p = h + g. Which is greater: p or 10/9?
p
Let d be (-40)/120*(-3 + 6). Which is smaller: d or -1/380?
d
Suppose 2*y - 12 + 4 = 0. Suppose 0 = i + y*i - 15. Suppose -18 = -0*s + i*s. Is -5 at most as big as s?
False
Suppose -5*m - 75 + 14 = -2*y, 0 = m + 4*y - 1. Are m and -152/13 equal?
False
Let k(t) = 124*t**3 + t**2 - 1. Let i be k(-1). Is i at most -123?
True
Let s(y) = -y**3 - 21*y**2 - 10. Let v be s(-21). Which is bigger: -9 or v?
-9
Let n = -18 + 17.916. Let j = n + -1.916. Are -1 and j non-equal?
True
Let q(g) = -g**2 - g + 11. Let o be q(4). Let d = -18.2 - -18. Is o smaller than d?
True
Let d be (3 + -1)/(-1 - 1). Let z = -14404/5 - -2843. Let p = z + 75/2. Which is greater: d or p?
p
Suppose -303 + 1572 = -47*c. Which is smaller: c or -248/9?
-248/9
Suppose 4*d - 120 = -2*r, -r + 0*d = 3*d - 63. Let m be (-3)/(-6)*r/3. Does m = -1/4?
False
Let t = 63 - -22. Let f = 94 - t. Let a be (-30)/(-4) - 1 - -2. Which is smaller: a or f?
a
Let r = 395 + -372.3. Let p = 23 - r. Let s = -37/62 + 3/31. Is s less than p?
True
Let r be (-22)/(-4) - 12/24. Let g be 1/5 + (-31)/r. Let c be g/(-4)*(-14)/21. Is c at most as big as 0?
True
Suppose -39*h = 449 + 370. Which is smaller: -18 or h?
h
Let k be (-1407)/2790 - (28/(-8))/7. Is 0 at least k?
True
Let c be (-2)/(-10) - 2103/15. Suppose -g + 5 = -2. Let n be 2 + g/(c/32). Does -18 = n?
False
Let n = 203559/5 + -40575. Let v = n + -136. Is 2 less than or equal to v?
False
Let a(v) = -v**3 - 4*v**2 + 3*v - 7. Let l be a(-5). Suppose 3*y = l*w, -y = 3*w - 0 - 4. Let i = -1/414 - 407/2898. Which is bigger: i or y?
y
Let b(a) = 7*a - 3. Let j be b(5). Suppose -4*z = -2*k + j, 6 = k - z - 14. Let y be 8/6*18/k. Is 1 at most as big as y?
True
Suppose 4*i - 33 = -t, i + 0*i = -4*t + 12. Suppose -4*v + i = 0, 2*f - 5*f = 2*v - 22. Let l(q) = 2*q**2 - 16*q + 14. Let x be l(7). Are f and x nonequal?
True
Let q = 45 + -39. Suppose 9*f - q*f = -12. Suppose 7 = -4*s - 5. Which is smaller: s or f?
f
Let d = -472 - -208. Let f be (36/d)/(-3*2/40). Which is bigger: f or 2?
2
Let j = 10219/208575 - -1/2575. Which is smaller: j or 0?
0
Let n(h) = 10*h**2 - 5*h - 6. Let v(y) = -y - 1. Let g(r) = -n(r) + 5*v(r). Let w be g(-1). Is -10 >= w?
False
Let b = -2 + 2. Suppose b = m - 3*p - 6, -5*m + 2 - 11 = -2*p. Is -2 at most m?
False
Let t be (-975)/30*60/(-25). Which is bigger: 79 or t?
79
Let y(t) = -t**3 - 4 + 0 + 9*t + 5*t**2 - 4. Let z be y(6). Suppose 2*m = -27 + 47. Is z smaller than m?
False
Let y(g) = 0 - 7 - 1 - 14 + 4*g. Let t be y(10). Does 20 = t?
False
Suppose 5*n - 5*u - 35 = 0, 2*n + 10 = -u - 3*u. Suppose 4*h - 5*p = -25, -n*h - 5*p + 9 = -16. Let z be (-2 + 3)/(18/8 + -2). Is z bigger than h?
True
Let t = 4.98 - 5. Let q = t - -0.22. Let p = -1 - -1.1. Are p and q equal?
False
Let v = -0.06 - 12.94. Let z = v - -12.4. Let i = z - -1. Which is smaller: 1/2 or i?
i
Suppose 3*z - 383 = -5*k + 282, 2*z + 5*k = 445. Is 220 at least z?
True
Let n = 19.8 - 19.79. Which is greater: n or 12/13?
12/13
Let c(w) = -2*w**3 - 5*w**2 - 9*w - 4. Let d be c(-2). Let t be (((-267)/2)/3)/(d/20). Is t > -89?
False
Suppose d - 5*d + 12 = 0. Suppose 7 = 4*p - 13, 4*p = -d*w + 5. Let r be 3 + 3 + -3 + w. Which is bigger: -4/5 or r?
-4/5
Suppose 5*c + c = -1032. Let x = c + 82. Let y be (4/10)/(21/x). Which is bigger: 1 or y?
1
Suppose -3*w + 5 = -2*w. Suppose 0 = -3*g - w - 7. Which is smaller: -1 or g?
g
Suppose 0 = 3*b - 17*g + 14*g - 45, 84 = 4*b + 2*g. Is 61/3 at least as big as b?
True
Let z = -4.67 - -32.67. Which is bigger: 1 or z?
z
Suppose 11 = -p + 13. Suppose 11*w = 9*w + p. Let k be 1/(3/((-24)/(-5))). Which is greater: k or w?
k
Suppose -2*o + 16 = -2*l, 3*l + 48 = 4*o + o. Suppose 2*k - o = 5*k. Are -31/6 and k equal?
False
Let f(x) = -x**2 + 3*x - 9. Let b be f(-8). Let w = -197/2 - b. Which is bigger: w or -2?
w
Let k = 0.712 - 0.612. Is k greater than -7/3?
True
Let c be (295/45 - 7)*(-3)/18. Let w(u) = 2*u - 10. Let g be w(5). Is c not equal to g?
True
Let z(o) = -65*o + 38. Let y be z(4). Is y < -222?
False
Let j be (2/(-3))/((-12)/(-144)). Let n be (-1 - -1)/((-8)/j). Let c = 24/133 - -2/19. Which is smaller: n or c?
n
Suppose -3*h + 2 = -g + 1, 0 = 2*h - 6. Suppose 17 = -5*p - g. Suppose 5*s - 2*q = 3*s - 18, 2*s = 5*q - 27. Is s at most p?
True
Let x be (-7 - (-4 + 406/(-21)))*15. Which is greater: x or -0.4?
x
Suppose -4*s = -15 - 1. Suppose 43 - 17 = s*v + 3*f, 5*v - 34 = -3*f. Suppose -n = n - v. Is n >= 3?
True
Suppose -2*h + 27 - 127 = -2*m, 3*m + 193 = -4*h. Let j = 23 + h. Which is smaller: -2/7 or j?
j
Let l = 12853172/13 - 988096. Let h = -1556 - -946. Let g = l + h. Is -1 != g?
True
Suppose 16 = 3*j + 4*m, j - 4*m = -2*m + 22. Is -0.4 <= j?
True
Let y be 1*(5 + -14 - -5). Let x = 6.8 - 7. Which is smaller: x or y?
y
Let o = 2855 + -2886. Which is greater: o or -297/10?
-297/10
Suppose 3 = 2*m + 1. Let b be (-2 + (-7)/(-4))*4. Let p be (-8)/8*b/(-13). Which is bigger: p or m?
m
Let d = -70 + -5. Let o = d + 59. Is o at least 2/9?
False
Let c = -128 + 128.12. Let s = c - 0.07. Which is bigger: 0.1 or s?
0.1
Suppose -17*g - 228 = -13*g. Is -56 > g?
True
Let v = -51 - -53. Suppose -48 = -2*d - 3*d - 2*a, v*a + 52 = 5*d. Does 10 = d?
True
Let s = -170504/1071481 - -106/661. Which is bigger: s or -1?
s
Let y be (-3 - -1)*45/(-30). Suppose y*f = -5 + 8. Is f at least as big as 1?
True
Suppose -2*d - 172 = 2*d. Let a = 29 + d. Suppose -3*h + 47 = -5*w + 81, 4*h = 4*w - 48. Which is smaller: h or a?
a
Let b = -10049/27379 - 2/1441. Let p = -169/304 - b. Let g = p + 5/112. Is 0 not equal to g?
True
Let i = 6/2311 + -37162/71641. Which is bigger: -2 or i?
i
Let k(j) = -2*j**2 - 3*j + 3. Let r be (-1 - 0)*(-10)/2. Suppose 4*q = q + r*l - 4, 2*q - 4*l = -2. Let y be k(q). Is -3 at most as big as y?
False
Suppose -23*o = -24*o + 2. Suppose 7 = o*j + 5. Which is bigger: j or -2/39?
j
Suppose 10 = -0*d + 5*d. Suppose 0 = d*n - 7*n. Let w be 9/((-18)/(-4))*(-2)/(-30). Is n less than w?
True
Let d(x) = x + 8. Let f be d(-5). Let v(n) = 3*n + 9. Let y be v(-7). Let o be 0*(32/y + 3). Which is smaller: o or f?
o
Let t(r) = -r**2 - 25*r - 5. Let a be t(-13). Is 151 at least a?
True
Let c be (12/(-33))/((-2)/11). Let y be ((-12)/20)/((-4)/10). Which is greater: c or y?
c
Let k be ((-4)/6)/(((-42)/747)/7). Suppose -59 + k = 3*u. Let v(y) = 2*y**2 + 4*y + 3. Let w be v(-3). Which is smaller: u or w?
u
Let v be ((-15)/60)/(5/(-4)). Let k(r) = 2*r**2 - 1. Let c be k(1). Let h be 6/(-18)*3*c. Which is smaller: v or h?
h
Let i = -745/4828 + 12/71. Which is bigger: i or -1?
i
Let r = -1 - -1. Let f = 1.163 + 181.857. Let o = f - 183. Which is bigger: o or r?
o
Suppose u - 5*o + 8 - 29 = 0, 0 = 3*o - 3. Let k be (-1)/(-2)*52 - -3. Which is bigger: u or k?
k
Let f(x) = -x**3 - 16*x**2 - 19*x. Let j be f(-15). Suppose -3*o - 5*y + 167 = 0, 4*o + 5*y = 86 + 140. Which is smaller: j or o?
o
Let j = 1/120 - -97/60. Is 3 <= j?
False
Let r = 9 + -11. Let t(u) = u. Let b be t(r). Which is bigger: b or -4?
b
Let x(j) = -2*j**3 + 24*j**2 + 2*j - 23. Let c be x(12). Which is smaller: -2/993 or c?
-2/993
Suppose 87 = -4*i - 17. Let q = 31 + i. Are q and 6 non-equal?
True
Suppose -s = 2*s - 42. Suppose -s = -4*v - 6. Suppose -3*q - 4*z = 1, -9*q + 11*q - 3*z - 5 = 0. Is v less than q?
False
Let d(v)