 m(q). Which is smaller: u or j?
u
Let v be (15/4)/(6/24). Let z = -17 + v. Let r(y) = y + 4. Let h be r(-6). Is h < z?
False
Let o = -461 - -464. Are o and 3 unequal?
False
Let w be 1/(25 - (0 + -3)). Let i = -490 + 489. Which is smaller: i or w?
i
Let a = -43193 + 215253/5. Let b = a - -142. Is b at least as big as -8/3?
True
Suppose -3*k + 4 + 2 = 0. Suppose -2*w + 5*i + 6 = 0, -k*i - 15 = -5*w - 3*i. Suppose -5*o = -2*m - w - 0, -2*m - 5*o = 33. Which is smaller: m or -7?
m
Let t(c) = -c**3 + 7*c**2 - 4*c - 1. Let u be t(7). Let a = -30 - u. Which is greater: a or -2/153?
-2/153
Let x = 21 + -17. Suppose 4*s = -s. Suppose 0 = 4*k + 8, s*k - 5*k = -2*r + 10. Are x and r nonequal?
True
Let m = 31 - 16. Let n = -15 + m. Is n less than or equal to 0.03?
True
Let k = -89767 + 25763155/287. Let f be (224/(-21))/4*(-6)/82. Let t = f + k. Which is smaller: t or -6?
-6
Let b = -82 + 119. Suppose -259 = -14*h + 7*h. Do h and b have the same value?
True
Suppose 3*d - 906 = -3*w, -d + 4*d - 922 = 5*w. Which is smaller: 302 or d?
302
Let k = -193 - -192.7. Is -43 >= k?
False
Let s = 111 + -56. Let d = -1429/26 + s. Let a(f) = f**3 - 5*f**2 - 5*f - 6. Let q be a(6). Which is bigger: d or q?
d
Let t be -3 - 1 - (0 - -30). Let d be 326/(-20)*2 - (-58)/(-145). Which is greater: d or t?
d
Suppose 0 = -u + 11 - 33. Let i be u/(-55) - (-76)/(-90). Suppose -5*x + 1 = -4*t - 15, -2*x + 3*t = -12. Which is smaller: x or i?
i
Let d be ((-34)/10 + (-6)/(-15))*-3. Is 10 at least d?
True
Let w(b) = 2*b**3 + 5*b**2 - 3*b + 15. Let z be w(4). Which is greater: 213 or z?
213
Suppose -5 - 131 = -32*p + 216. Suppose 4*z - 31 = -5*s + 29, -5*z = 0. Are s and p unequal?
True
Suppose 42*v = 665 - 161. Is 53/4 greater than v?
True
Let z be 2/(5/(20/(-8))). Let n = z - 2. Let o be 2 - 1 - (n - 2). Which is smaller: o or 5?
5
Let x = -695812/71 - -9800. Which is smaller: 0 or x?
x
Let k = -5721/1664 + 45/13. Which is smaller: -1 or k?
-1
Let y be (4/42)/((-5)/3 + 2). Is y equal to 1/3?
False
Let c = 57 + -227/4. Let a = -6.431 - -0.431. Are a and c equal?
False
Let d = 45 - 19. Suppose 3*l + 30 = 2*u, d + 0 = 2*u - l. Suppose 4*w - 55 = -w. Which is smaller: w or u?
w
Let b = 95 + 83. Let y = b + -506/3. Which is smaller: 8 or y?
8
Suppose -2*w - 4*y = 6, -6*y = 3*w - 7*y + 9. Is -49 less than or equal to w?
True
Let i = -691.972 - -692. Which is bigger: i or 4?
4
Let a = -8.7 + 9.7. Is 4 at most as big as a?
False
Let k = -173 + 172. Let x = 0.12 - 0.14. Is x > k?
True
Let r = 68/3 + -22. Let b = 4.4 + -1.6. Let v = b + -2.6. Which is bigger: v or r?
r
Let j be (-1 - 10/(-65)) + 2/(-13). Is 4/1047 at least as big as j?
True
Let q = 13 + -23. Let t = -6 + -6. Is q less than t?
False
Let l be 24/28*1*(-9 + 114). Are 91 and l nonequal?
True
Let x(k) = k**3 - 6*k**2 - 5*k - 34. Let d be x(7). Which is greater: -27 or d?
d
Suppose -5*h + 3*h = 2*c + 212, 4*h + 2*c = -434. Let m = -26 + 22. Let z be h/(-21) + m + -3. Which is bigger: z or -2?
z
Suppose -2*k - 34 = -3*p, -k - 21 = -4*p + 2*p. Are -1.8 and p nonequal?
True
Let j(z) = -z**2 - 8*z - 13. Let p be 3*(-3)/9*-3. Suppose -p*y - y = 24. Let w be j(y). Which is greater: -2/39 or w?
-2/39
Let f = -327 - -326. Is f > 0.5?
False
Let d = 123 + -580. Does -460 = d?
False
Let u(a) = 7*a - 9. Let x(z) = -z**2 + 2*z - 3. Let t be x(3). Let o(n) = -n + 1. Let r(l) = t*o(l) - u(l). Let y be r(2). Is y not equal to -2/5?
True
Let v = 11.26 + -14.55. Which is bigger: v or -1/3?
-1/3
Suppose 0*m + 5*m = 50. Suppose 4*p = -20, -8*z - 2*p = -7*z - 8. Suppose -20*j = -z*j - 18. Which is smaller: m or j?
j
Suppose -6*u + 3*u - 15 = 0. Let h = 6 + u. Let p = h + 0. Which is smaller: p or 4/5?
4/5
Let w be 2 + ((-63)/(-105))/(8/(-10)). Which is bigger: 2 or w?
2
Let d = 58 - 90. Which is bigger: d or -216/7?
-216/7
Let r be (-2)/1 + (-3)/1. Suppose -11*q = -14*q. Which is greater: r or q?
q
Let i(v) = -v**3 - 6*v**2 + 44*v + 33. Let a be i(-10). Let u = 22 + -22. Which is smaller: a or u?
a
Let b(z) = -5*z**2 - 17*z + 48. Let u be b(3). Which is smaller: u or -1?
u
Let b = -2 + 4. Suppose 3*r + 58 = -b. Which is smaller: -21 or r?
-21
Let z = 383 - 323. Is 60 less than or equal to z?
True
Let d(b) = 2*b**2 - 2*b - 6. Let l be d(-2). Suppose l = 7*q + 13. Are -1/8 and q equal?
False
Let i = 43 - 35. Let g be (i/3 - 2)/(-2)*-3. Which is smaller: g or 2?
g
Let y be (-5)/(44/20 - -2 - 4). Are -30 and y equal?
False
Suppose d + d = 5*v, 0 = 3*d + 2*v. Let y be 18/(-27)*(3 - d). Let t = 4 - 6. Is t less than y?
False
Let a be (-80)/(-200)*(-5)/(-2). Is a smaller than -1/612?
False
Let o = 4/1311 + 211063/2622. Which is bigger: o or 80?
o
Let v be 6 + -11 - (2 + 2). Which is smaller: -1 or v?
v
Let o(k) = -7*k + 15. Let a be o(-3). Let u = a - 399/11. Which is smaller: 1 or u?
u
Let i = 41.5 - 41.59. Is 1.3 < i?
False
Suppose -q = -2*z - 6, 2*z = -5*q + 4*z + 6. Suppose q*p = -5*o + 3*p - 39, o + 15 = 3*p. Is -6 smaller than o?
False
Let f = -26 + 8. Let z = -0.2 - -0.3. Does z = f?
False
Let c be (-16)/7*290/(-725). Which is smaller: 2 or c?
c
Suppose 3*l + 2*l - 30 = 0. Which is smaller: l or 90/19?
90/19
Let s(r) = -r + 4. Let g be s(0). Suppose -3*x - g + 16 = 0. Let a be 4 + 5 + -13 + 5 + 2. Which is smaller: a or x?
a
Let b = -19420/17 - -1142. Let k(x) = -2*x + 17. Let m be k(11). Let p(s) = -10*s - 50. Let w be p(m). Which is smaller: b or w?
b
Let o(g) = -g + 3. Let a be o(4). Let h = 11 - 13. Let m(z) = z**3 + 2*z**2 + 2*z + 3. Let w be m(h). Is a less than w?
False
Suppose -5*i - 4 = -i. Do 2/77 and i have different values?
True
Let k(r) = 2*r**2 + 18*r - 32. Let j be k(10). Are 345 and j unequal?
True
Let r = 117/11 - 1037/22. Is r < -38?
False
Let c be (-3)/2*(-84 + 94). Which is greater: c or -18?
c
Let f be (1 - 10/14) + (-156)/(-91). Let n be (-3723)/(-7242) + 1*(-1)/f. Which is greater: -1 or n?
n
Suppose -7*u = -1898 + 512. Let g be 8/u - 4/(-22). Is g > 1?
False
Let d(m) = -m + 8. Let c be d(-5). Let l = -25 + 25.3. Which is greater: c or l?
c
Let g = -0.2327 + -0.0673. Is -7 > g?
False
Suppose 7*h + 22 = 6*h. Let s be (-11)/h*(-2)/1. Is s > -2?
True
Suppose 0 = 2*c + c + 12. Let p = 98 - 32. Let h = 59 - p. Which is bigger: h or c?
c
Let k be ((-4)/(-14))/((-2)/(-31)). Let p = 156 + -151. Let l = p - k. Which is smaller: 1 or l?
l
Let b be -1 + 5 + -3 + 3. Suppose 0 = b*d + d. Let c = 57/4 + -1201/84. Are d and c equal?
False
Let u = 2/142587 - -211884260/1568457. Suppose 0 = -3*g - 2*b + 401, -g = -5*b + 33 - 178. Let y = g - u. Are y and 1 equal?
False
Suppose -2*c = -c. Let s(i) = -i**2 + i - 1. Let y be s(c). Let m = -32/5 - -21/5. Are m and y unequal?
True
Suppose 48 = 3*o + 5*k, o + 2*k = 7*k - 4. Which is smaller: 116/11 or o?
116/11
Let h = 217/95 + 11/95. Do 3 and h have the same value?
False
Let m = -2 - 9. Let n = -3.392 - -1.392. Is n greater than or equal to m?
True
Let u(l) = 2*l**2 - 11*l - 18. Let t be u(6). Suppose 0 = 3*g + 30. Is g <= t?
False
Suppose -9*t = -3*t - 12. Let m be (t/8*-1)/((-1)/12). Suppose -y - 5 = 3*o - 0*o, -y - 5 = -4*o. Does m = o?
False
Let d(p) = 13*p**2 + 4*p - 4. Let h be d(3). Suppose t - h = 6*t. Let r be 40/(-25) - 15/t. Is 4/13 >= r?
True
Let w = -13 - -16. Let c be -1 - (2 - (8 - w)). Is 2 smaller than c?
False
Suppose -19*a = 28*a. Is a at most -1/94?
False
Suppose -4*a - 8 = -8*a. Suppose -4*w - h - 21 = 0, -5*h - 15 = -a*h. Let z be (w/10)/(0 + 5). Which is smaller: 1 or z?
z
Suppose 2*z = 24 + 2. Suppose -6*c = -5*c + z. Is -14 greater than c?
False
Let o be (2/(-3) - -2)/((-6)/63). Let b = 15 + o. Which is bigger: 1/37 or b?
b
Let n(z) = -6*z**2 + 6*z. Let k be n(6). Let o be ((-130)/39)/((-2)/k). Let l be 2 + (o/27)/4. Is 0 at least l?
True
Suppose -3*y - 2*y - 206 = r, 2*r + 2*y = -380. Are -187 and r unequal?
True
Suppose 0 = -3*x - x - 56. Let p be (-21)/(-91)*x/3. Which is smaller: -2 or p?
-2
Let o(b) = -2*b**3 + 4*b - 3. Let r be o(2). Let l = -5.8 + 5. Let p = -0.2 + l. Which is greater: r or p?
p
Let z(s) = s**3 - 19*s**2 + 16*s + 41. Let l be z(18). Suppose 0 + 2 = -a, -3*d = -l*a - 34. Does d = 5?
False
Let u(x) = -x + 12. Let h be u(6). Let s be (3/((-15)/(-40)))/((-1)/4). Let v be s/(-10)*(-9 - (-46)/4). Is v less than or equal to h?
False
Let f = -1013/4 + 2836