m?
m
Let h = -130 + 122. Which is bigger: h or 0?
0
Let k = 149 - 390. Which is bigger: -240 or k?
-240
Suppose -5*s + 451 = -1749. Let u be s/5 + (5 - 3). Suppose -u = 5*z + 3*x, z - 4*x + 9 = -9. Are z and -18 non-equal?
False
Let y = 51 - 50. Which is greater: y or -2/47?
y
Let k = 4 + 0. Suppose k*n = 5*i + 23, -2*n - 4*i + 0 - 8 = 0. Suppose 3*d + n = -4. Which is smaller: -13/6 or d?
-13/6
Let f be (-3)/(-2)*16/6. Let l = -82.1 - -82.4. Which is smaller: l or f?
l
Let u = -2 - -5. Let z be (1 - 2)/(u/12). Are z and -2 equal?
False
Suppose 4*b + 5*b - 468 = 0. Let h = 50 - b. Let k(d) = -d**3 + 10*d**2 - 7*d - 8. Let y be k(9). Is h < y?
True
Let p be (154/4)/(2/4). Suppose -4*c + 4*s + s = -p, -2*c + 5*s = -31. Let i = c + -14. Does i = 8?
False
Let y(t) = -t**3 - 2*t**2 + 2*t + 2. Let b be y(-2). Let v be b*(4/(-12) + 2/(-12)). Let g be (6/8)/(2/8). Which is smaller: g or v?
v
Suppose 0 = 4*g - 5*z + 8 + 21, -22 = 2*g - 4*z. Let a be 2 + 5/(45/646). Let o = 74 - a. Is o at most as big as g?
False
Let o be 285/(-180) + (-2)/(-6). Is 0 > o?
True
Suppose 2*q = 4 - 2. Let n = -21.06 + 21. Is n < q?
True
Let d(s) = -s**2 - 8*s. Let g be d(-5). Let w = -45 - g. Let p = 233/4 + w. Do p and -3 have the same value?
False
Let o = -3829/12830 + -2/1283. Is o less than or equal to 29?
True
Let w be (-5 - 1/(-1))/(-62). Is w less than 2?
True
Let b = 5 + -5. Is b at least -119?
True
Suppose -4*c - 198 + 73 = -5*r, 0 = 3*r + 4*c - 107. Let z = 90 + -63. Is r less than z?
False
Let y = 46.925 + -47. Let u = -1.075 - y. Which is smaller: 10 or u?
u
Let g = -4.034 - 0.066. Let x = g - -4. Let z = x + 1.1. Which is smaller: z or 0?
0
Let c = -5 + 0. Let r be 16/40 + (-80)/75. Which is bigger: r or c?
r
Let p be (-2)/(24/21)*(32 - 4). Let u = p + 49. Which is greater: u or -4/13?
u
Let l(f) = -2*f - 22. Let k be l(-13). Let t be k/6 + (-41840)/(-108). Let z = -388 + t. Is z != 0?
True
Let r be (8251/4)/(125/(-20)). Let u = -330 - r. Which is smaller: u or -1?
-1
Let f = -3/1240 + -4849/45880. Which is greater: -1 or f?
f
Let g = -2.0248 - -0.0248. Are g and 12/5 nonequal?
True
Let w(h) = -2*h - 1. Let x be w(-3). Let f = x + -11. Is f less than or equal to -5?
True
Suppose 5*n - 2*j + 35 = 0, 5*j = 4*n + 37 + 8. Let i be (-2)/((1 - -3) + n). Suppose -85 = -i*u + 7*u. Which is greater: -0.1 or u?
-0.1
Suppose -5*k - 20 = -9*k. Suppose k*w + 20 = -25. Let t be (-24)/32 - 41/4. Are t and w non-equal?
True
Let s(m) = -m - 2. Let y be s(6). Let t be y/(2 + 2) - -2. Which is greater: t or -16/7?
t
Let k(i) = 2*i**2 + i. Let u be k(1). Suppose 5*z = v + u, -v - 5*z = 2*v + 29. Let p = 251 - 257. Is v at least p?
False
Let i(w) = -2*w - 16. Let d be i(-6). Let o(z) = z + 4. Let b be o(d). Is b < -4/45?
False
Let q = -417.8 - -418. Suppose 60 = 12*r - 16*r. Is q at least as big as r?
True
Let z = 12.46 - 12.36. Which is bigger: -121 or z?
z
Suppose 5*j + 27 - 32 = -5*l, l = -3*j + 3. Suppose -4*n - 32 = 2*a - 0*n, -a + 3*n = 26. Is a smaller than j?
True
Let l(z) = 22*z**2 - 2*z. Suppose -7 = -2*j - 3. Let x be l(j). Suppose -5*g - 11 - x = 0. Do -18 and g have different values?
True
Let k = 76.9 - 77. Which is smaller: -1/8 or k?
-1/8
Let n be (-1488)/(-567) - 248/93. Which is greater: n or -1?
n
Let h(g) = -6 - 11*g + 6 + g**2 + 3. Let c be h(11). Suppose 0 = -c*p - 2*p + 5. Which is smaller: 1/16 or p?
1/16
Suppose 21*u = 8*u + 858. Is u less than or equal to 64?
False
Let g(w) = -w + 4. Let s be g(5). Let k be (5 + -2)/(25/(-3109)). Let y = k - -373. Which is bigger: y or s?
y
Let z = -19.58 + 19.38. Which is bigger: 0.102 or z?
0.102
Suppose 0 = -4*b + 2*b - 2*w - 310, 5*w = -b - 143. Which is smaller: b or -156?
b
Suppose -4*j - 4*g = -168, 5*j + 6*g - 240 = 7*g. Which is bigger: j or 53?
53
Let n = -2864 - -2788. Which is bigger: n or -11?
-11
Suppose 6*f - 20 = 2*f - 4*a, -4*f = -a - 5. Let q(l) = -4948*l**2 + 4938*l**2 - l + 37 - 2*l + l**3. Let v be q(10). Is v at least as big as f?
True
Suppose -63 + 12 = -r. Let w = -67 - -32. Let f = r + w. Are 16 and f non-equal?
False
Let r = 65/124 - -7/31. Which is bigger: -17 or r?
r
Let u = 3 - 0. Let f(z) = -5*z**3 + 7*z - 16*z + 1 + 16*z + 4*z**3. Let g be f(u). Is g > -6?
True
Let s = -109/3745 - 3/107. Let u = s - 31/70. Is u < 5.9?
True
Let z = 0.04 - -0.16. Let s(y) = y**3 + 5*y**2 - 6*y - 8. Let v be s(-6). Let x = v + 7. Which is smaller: z or x?
x
Let q = 510 - 512.855. Let u = q - 0.045. Let g = -2.9 - u. Which is greater: g or -11?
g
Let c be (-3)/2*139836/387. Which is greater: c or -541?
-541
Let t = 28 + -19. Let l be (-34)/t + ((-6)/27)/1. Which is smaller: -0.03 or l?
l
Suppose -6*r = -r. Suppose 100*i - 17*i + 415 = 0. Is i < r?
True
Let q(g) be the first derivative of -2*g**3/3 - 13*g**2/2 + 7*g + 9. Let f be q(-7). Which is smaller: f or -2/9?
-2/9
Let g(i) = i**3 + 9*i**2 - i - 1. Let o be g(-9). Let s be o/10 - 16/20. Let l be (-4)/(-6) + 38/(-48). Is s greater than or equal to l?
True
Suppose -3*o - 331 = -4*o - 4*g, 5*o - 1765 = 2*g. Let s be 9/(o/24)*-1. Which is smaller: -1 or s?
-1
Let b be 9*(0 + (-2)/6). Suppose -3*o = -5 + 20. Let f = o - -1. Which is smaller: f or b?
f
Let t = 949 - 2776/3. Let q = t - 24. Is 6 greater than or equal to q?
True
Let h = 394 - 407. Which is bigger: h or -106/9?
-106/9
Suppose 0 = l - 6*l. Suppose 4*m - 4 + 12 = l. Let w be m*((-12)/(-8) - 1). Which is bigger: -1/8 or w?
-1/8
Let a = -655 - -668. Are a and -2/29 equal?
False
Let t(c) = c**3 - 3*c**2 - 2*c + 4. Let g be t(3). Let k be (g/(-4))/((-2)/4). Let o = -239/33 - -22/3. Do o and k have the same value?
False
Let d(p) = 7*p + 24. Let y(j) = -11*j - 36. Let q(x) = 8*d(x) + 5*y(x). Let z be q(-12). Suppose -m + 13 = -5*l, l + z = -4*m + 10. Is 0 greater than l?
True
Suppose 0*i + 2*i + k = -13, 5*i - k = -29. Which is smaller: -1 or i?
i
Let n = 20.9 + 0.1. Let p = n - 22. Let c = 4 + -10. Which is smaller: c or p?
c
Let b(c) = -c**3 + 26*c**2 + 58*c - 52. Let o be b(28). Which is smaller: o or 36/7?
o
Suppose 12 = 3*h, 0*w + 3*w - 3*h + 6 = 0. Let n be 87*(-1)/(-9) + -9. Are n and w unequal?
True
Let z = 1697 - 11878/7. Are z and -0.066 nonequal?
True
Let v be 2*(-6)/4 + 12. Suppose 0 = v*f - 7*f. Is f bigger than 1/34?
False
Let l(d) = -d**2 + 11*d + 45. Let o be l(14). Let y be 2/o*(-24)/(-32). Which is greater: 8/9 or y?
8/9
Let d = -65 - -15. Let y be (-15)/d*3/(-9). Is y > 0?
False
Let y = -420 - -420. Which is bigger: y or -2/637?
y
Let r be -3*11/3 - (3 - -1). Let z = 8 - 22. Which is smaller: r or z?
r
Let i = 1545/136 + -89/8. Which is smaller: 0.1 or i?
0.1
Suppose 0 = -2*o - 4*i - 8, 3*o = i + 43 - 13. Let p be (10/6)/(2/6). Is o equal to p?
False
Suppose 0 = 16*d - 4*d - 108. Do 9 and d have the same value?
True
Let t = 1630 + -16297/10. Suppose -3 = -6*n + 3*n. Which is smaller: n or t?
t
Let p = 64 - 43. Let u = -35 + 58. Let z = p - u. Which is smaller: -4 or z?
-4
Let i = -523 + 450. Which is smaller: -74 or i?
-74
Suppose -46*i + 26*i + 11960 = 0. Is i greater than 598?
False
Suppose 2*k - 12 = -f - 11, -4*k + 11 = 5*f. Is 51/19 less than or equal to f?
True
Let i = 5 - -174. Does i = 181?
False
Let i(l) = -l**2 + 3. Let h be i(4). Let u be ((-1)/h)/((-1)/1). Do u and 1 have the same value?
False
Let p = -20 - -24. Suppose -p*s + 10 + 6 = 0, 3*u + 13 = -2*s. Which is bigger: u or -10?
u
Let k(t) = 2*t**3 - 3*t**2 + 4*t - 6. Let r be k(2). Let z be (3/9)/((-1)/(-27)). Suppose -z*u = -r*u - 9. Is 3 < u?
False
Let j(v) = -74*v - 92. Let a be j(3). Are -314 and a nonequal?
False
Let r(u) = 22*u**3 + u**2 + 4*u + 2. Let b be r(-1). Let l(f) = -f**2 + 2*f. Let a be l(-4). Which is smaller: b or a?
a
Let j = 27 - 37. Let i(f) = 12*f + 30. Let p be i(j). Which is smaller: -91 or p?
-91
Let d be 136/(-17)*(0 + 1/(-2)). Which is greater: d or -5?
d
Let n = -59 + 80. Suppose 18*g = n*g + 66. Is -23 > g?
False
Let c = 14 - -2. Let z be (-2)/c*1/(-5 + 3). Which is smaller: z or -2?
-2
Suppose -43 = -3*z - 2*j, 0 = 17*z - 14*z + j - 44. Is z greater than 21?
False
Let l be (-3 + -1)*(16458/5484 - 3). Let j = l - -4123/2285. Is 3 less than j?
False
Let f = 0.069 - 25.069. Let b = f - -23. Is b less than or equal to -15/8?
True
Suppose 2 = 5*l + t + 3, -2*t = 4*l + 2. Suppose 4*z + 5*q - q = 4