 q or g?
g
Suppose 14*m = 119 - 189. Is 10 at least as big as m?
True
Suppose -42*a + 340 = -37*a. Let v be (-84)/a - (0 - 1). Is -1 greater than v?
False
Suppose 7 = 5*p + 3*u, u - 2*u - 11 = -5*p. Suppose -k - p = 5*s, 3*s + 4 = 3*k - 8. Is s < 2?
True
Suppose -4*d = 5*f - 382, -3*f = -8*f - d + 388. Suppose -f*l + 83*l + 5 = 0. Is 1/34 at most as big as l?
False
Let b(q) = -q**3 - 6*q**2 - 5*q + 1. Let m be b(-5). Let l(f) = 9*f**2 + 2*f + 1. Let z be l(-1). Let t be z/(6/3) - 2. Is t bigger than m?
True
Suppose 2*d - 40 = 2*z, -3*d = 2*d + z - 106. Let h = 28 - d. Is h equal to 7?
True
Let j be (-2)/(-4) - (-4)/8. Let x be 4*2*j/(-12). Which is bigger: x or -4?
x
Let y(b) = 3*b**2 - 6*b + 3. Let h be y(2). Let t be (h/12)/(3/60). Suppose -a = -4*d + 9, 4*a + 0 = -3*d + 2. Is d smaller than t?
True
Let w = -1177 + -513. Do -1690 and w have the same value?
True
Let i(u) be the first derivative of u**2 - 2*u + 11. Let m be i(-5). Which is smaller: m or -11?
m
Suppose 2*a - 12 = -4*j, 5*a + 10 = 5*j - 20. Suppose x + j*x = 10. Let w be x/(-6)*3/3. Is -0.02 at least w?
True
Let w = 2.6 + -2.5. Let j = 6 - 3. Suppose -11 - j = 2*x. Which is greater: x or w?
w
Let h(s) = -2*s**3 + 13*s**2 + 5*s + 17. Let r be h(7). Does r = 72/47?
False
Suppose 0 = -0*f + f + 4*k + 2, -2*f + 4*k = -20. Suppose 3*g + 66 = f*g. Is g > 21?
True
Suppose 2*h + 3*p = -9, 3*p - 4 = -19. Suppose h*i - s = 0, -3*s = -i + 2*s - 14. Does 1/37 = i?
False
Let v = 68 - 70. Let o = -2.1 - v. Let b = -53/116 - -6/29. Which is bigger: o or b?
o
Suppose 3*j - 2*k + k - 17 = 0, -j + 3*k + 19 = 0. Suppose -5*v = 4*g - 22, -2*g - 3*g = j*v - 32. Let m(f) = 2*f. Let z be m(3). Which is bigger: g or z?
g
Let s = 1480 - 540199/365. Which is smaller: 1 or s?
s
Suppose n - 3*n + 8 = 0. Suppose 24 = 2*m + 5*x, m + 2*x + 5 = 19. Suppose 3*u = -4*v - v + m, 5*u + 10 = v. Which is greater: v or n?
v
Let b = -32 + 36. Let c be 1370/540 - 10/b. Which is smaller: -0.1 or c?
-0.1
Let k be 96/420 + (-8)/(-140). Which is bigger: -101.5 or k?
k
Let f = 20841/52 - 401. Is f less than 0?
True
Suppose -264 = 11*n - 3*n. Let k be (n - -1)*(-36)/(-264). Which is smaller: k or -3?
k
Let f be ((-98)/24 + 2)*(7 + 14). Which is greater: -43 or f?
-43
Let y be (-6)/10 + (11754/(-165))/(-6). Is 11 less than y?
True
Suppose -19 = 5*d - 2*l, -5*l + 3*l + 10 = -2*d. Let z be 10/d*(-54)/(-24). Which is greater: -7 or z?
-7
Let s = 29 - 8. Let a = s + -15. Let q be 6/7 - 459/(-126). Is a <= q?
False
Suppose 0 = -2*k - 0*k - 246. Suppose 5*w - v + 622 = 0, -490 = 4*w + 19*v - 16*v. Is w at least k?
False
Suppose 0 = -2*x + 23 + 15. Let g = x + -15. Which is greater: g or 3?
g
Suppose -18 = -2*s - 0*j - 2*j, 9 = 3*j. Which is smaller: s or -9/16?
-9/16
Let n = 59 + -26. Let c = -34 + n. Which is greater: -16/27 or c?
-16/27
Let d be (-8286)/756 + 4 - -7. Which is bigger: d or 0?
d
Let p(n) = -n**3 - 21*n**2 + 26*n - 41. Let g be p(-23). Is 419 smaller than g?
False
Suppose -4*c = -d - c + 22, 4*c = -12. Suppose j = -5*y + 37, 4*j - 173 = 2*y + 3*y. Let a = -29 + j. Are d and a unequal?
False
Let n be (-7)/6*(-2)/7*27. Are n and 21 equal?
False
Suppose -a + 25 = r, -3*a + 65 = 3*r - 5*r. Let q = a - 18. Suppose -3*j - o = -37, -6*j + 2*j - q*o = -64. Is 11 > j?
False
Let n be 108 + -17 - (-1 + -2). Which is smaller: n or -3?
-3
Let p(w) = 2*w + 45. Let t be p(4). Is 53 at least t?
True
Let g be (-57950)/170 + 4/(-34). Is g at most as big as -341?
True
Suppose t = 2*t - 4*d - 7, -4*t + 4*d + 4 = 0. Is -2.3 equal to t?
False
Suppose -5*b - 2*i = -2, 0 = 3*b - 2*i + 1 + 1. Suppose b = -w - 3*n - 11, 2*w = 7*w + 5*n + 5. Let f be 3*-1 + 7 + -1. Is f != w?
True
Suppose -8 = -4*n, 5*n = s + 4*n - 23. Let o = s + -27. Do o and 0 have the same value?
False
Let l = -2.31 + 0.21. Let k = -1.7 - l. Which is bigger: k or -0.1?
k
Let n = 25287/143 + -1049212/6149. Let w = -2/2365 + n. Is 5 at most w?
True
Let j(v) = 2*v**3 + 5*v**2 - 5*v - 2. Let w = -28 - -25. Let y be j(w). Suppose 2*g + 3 - 19 = 4*i, 0 = g - 3*i - 10. Is g < y?
False
Suppose -f - 4*g + 38 = 15, 3*f - 5*g - 35 = 0. Let r = 38 - 4. Let x = f - r. Which is bigger: x or -18?
-18
Let i = 1204 + -864. Which is smaller: 342 or i?
i
Suppose -132 = -2*q + 12. Let s = -42 + q. Is s less than 32?
True
Let d be (24/7)/(-4 - 60/(-14)). Let j be (-12)/16*(-16)/d. Does j = 4/29?
False
Let x = 0.95 - 0.27. Let o = -0.08 + x. Let a be (12/3)/2 - 228/95. Which is smaller: a or o?
a
Suppose 3 = o - 5*h + 19, -h = -3*o - 118. Is -40 less than or equal to o?
False
Let u be (-5 - -3 - -1)*-1. Which is smaller: 2/3 or u?
2/3
Suppose -5*m - 5 = -0. Let t be (1/2)/(m/(-8)). Suppose 8 = -2*g - 4*v, t*g + 0*v - 32 = 4*v. Is g at most as big as 2?
False
Suppose 0*k + 5*k = -40. Let u be (10/(-4))/(4*(-1)/k). Suppose y = -y - 6. Which is smaller: y or u?
u
Let z = 3 - -4. Let y(l) = -l**3 + 10*l**2 + 4. Let v be y(10). Suppose -4*p = p + 5*k - 35, -5*p + v*k + 44 = 0. Which is bigger: p or z?
p
Suppose -2*t + 356 = -2*m, 4*m + 6*t - t = -721. Which is greater: -180 or m?
m
Let o be 9/27*4/(12/(-9)). Which is smaller: o or -4/187?
o
Let t(f) = -2*f**3 - 10*f**2 - 5*f - 7. Let i(h) = -h**3 - 5*h**2 - 3*h - 4. Let z(k) = -11*i(k) + 6*t(k). Let s be z(-5). Is -13 at most s?
True
Let r(q) = q**3 + q**2 - q + 5. Let h be r(0). Let b be (-2)/(-4)*(-7 + h). Let y be -2 + b/((-2)/(-6)). Is -4 > y?
True
Let l = 17.28 + -17. Let a = -0.35 + 0.17. Let i = a + l. Are -2/3 and i nonequal?
True
Let h be (-150)/279 - 4/(-6). Let a be (-3)/(-1*14/(-2) + -4). Which is smaller: a or h?
a
Let r = -196 + 193. Is 1 at most r?
False
Suppose 3*b - 3*j - 36 = 0, 6 = -55*b + 57*b + 4*j. Are b and 26/3 equal?
False
Suppose 5*c = -0*n - 2*n - 11, 3*n - 3*c = 15. Suppose 38 = -2*i + n. Which is smaller: -19 or i?
-19
Let i be 2 + (-5)/((-630)/(-7233)). Let w = i - -166/3. Is w equal to -1?
False
Let r = 31.6 - 24. Let o = -2.4 - r. Which is bigger: o or -5?
-5
Suppose g = 2*m - 52, -3*g - g - m = 244. Let t be 5/(-137)*(-24)/g. Which is smaller: 0.2 or t?
t
Let p be 16/((-3)/(3 - 0)). Let g be ((-1)/(-12))/((-20)/4020). Which is bigger: g or p?
p
Suppose 0 = 2*b - 5*a + 24, 5*a - 17 - 11 = 4*b. Let r be 1*b + 360/162. Let k(u) = u**2 + 3*u - 1. Let n be k(-3). Which is smaller: n or r?
n
Let b = -13521334877/2700 + 5007902. Let g = b - -5/108. Do 0 and g have the same value?
False
Let t be (-136)/1564 + 73/46. Is t not equal to 3?
True
Suppose 5*l - 38 + 3 = 0. Suppose u + l = 3*h + 2*h, -h = 3*u - 43. Is u greater than or equal to 14?
False
Let o = 16451/3 + -5431. Which is smaller: 53 or o?
o
Let t = 0.0976 + -0.0349. Which is bigger: -1 or t?
t
Let w(t) = 2*t**2 - 9*t - 1. Let y be w(9). Suppose 58*n + y = 53*n. Is 3 at least as big as n?
True
Let y = 2506 + -5021/2. Is 29 at most y?
False
Let r = 612/7 + -88. Let h be (2 + (-39)/9)*(-2 - 1). Suppose -h*p = -10*p - 3. Which is greater: r or p?
r
Let g = 159 - 24. Let t = 143 - g. Do 0.1 and t have the same value?
False
Let g = 411 + -96. Let o = g + -3143/10. Is 2 greater than o?
True
Let s = -34194 - -52375. Let b = 127632/7 - s. Let l = b - 52. Is l less than 0?
False
Let g = 0.05 - -0.25. Let i = -26.65 - -0.65. Let v = i + 25.8. Is v equal to g?
False
Let a(k) = -3*k**2 + 24*k - 27. Let n(m) = -2*m**2 + 12*m - 14. Let y(v) = 3*a(v) - 5*n(v). Let f be y(-14). Which is smaller: f or 16?
16
Suppose 3*p - 27 = 3*i, -46 = 5*i - 2*p - 2*p. Let n = -14 - i. Is n greater than or equal to 0.05?
False
Let i be ((-16)/36)/((-6)/9). Let p = -0.31 - 2.79. Let h = 3.2 + p. Which is smaller: i or h?
h
Let m = 569/40 - 57/4. Let f(r) = -r + 7. Let a be f(6). Are a and m unequal?
True
Let z = -511/186 - -80/31. Which is bigger: 1/5 or z?
1/5
Let y = -1150.9 - -1151. Is y <= -4/1295?
False
Let g(o) = 5*o - 34. Let b be g(24). Let m = -82 + b. Which is smaller: m or 14/3?
m
Suppose 4*k = -5*a - 31, 8*a - k - 7 = 9*a. Let t be -2 + (0 + -1 - -1). Is t at least a?
True
Let g = -651/10 - 12/5. Are g and -68 unequal?
True
Let s(c) = 19 - 6 + 2*c - c**3 + 1 - 7*c**2. Let m be s(-7). Which is smaller: m or 3/5?
m
Let m(b) be the third derivative of -b**5/60 + 3*b**4/8 - b**3/3 + 6*b**2. Let z be m(7). Suppose 3*a = -a + z. Which is bigger: a or 3/2?
a
Let j = -77 + 112. Let s = j 