 + 24. Let a be z(5). Which is bigger: a or c?
a
Let d = -4.81 + 4.71. Is 1.03 less than d?
False
Let q be (-116)/(-6)*(-2 - -5). Let y = -3/4963 - 1429329/24815. Let g = q + y. Which is bigger: g or -0.11?
g
Let i(y) = -2*y**2 + 26*y - 70. Let a be i(4). Let k = -270 - -5140/19. Which is greater: k or a?
a
Let f = -27.45 + 27. Let i = 19.45 + f. Let g = i - 22. Which is smaller: g or -6/7?
g
Suppose -918 = 93*b - 111*b. Are b and 52 equal?
False
Suppose -3*u - 5*x - 43 = 0, -5*u + 0*x = -4*x + 47. Let t be ((-108)/60)/(9/75). Is t smaller than u?
True
Let z be 4/6 - 4/6. Let r = -27 + 30. Suppose -21 = r*f - z*f. Which is smaller: f or -8?
-8
Let j = -149 - -155. Is j < 17?
True
Let c = 0.2 - -2. Let r = c + 0.3. Let j = -9.5 + r. Is j smaller than -1/2?
True
Let j(q) = q**2 - 15*q - 17. Let z be j(15). Let o = 16 + z. Let v be 0 - (3/o)/(-27). Which is bigger: v or 1?
1
Suppose 4*m = -n + 36, -7*m + 3*m = -4*n + 44. Let f be (n/6)/(16/24). Suppose -f*l + 2*l + 6 = -2*d, -3*d - 5*l + 15 = 0. Which is bigger: 2/5 or d?
2/5
Let c = -0.1 + 0.1. Let a = 3692 + -3692.36. Which is greater: a or c?
c
Suppose -35*x - 24 = -31*x. Are -0.3 and x non-equal?
True
Suppose 5*s - g + 1613 = 0, 2*g + 874 = -5*s - 730. Is s at most -322?
True
Suppose -9*u + 1392 = -u. Which is smaller: 175 or u?
u
Let j = -233 - -281. Which is smaller: j or 2?
2
Let h be -3 + 189 - (-1 + (-8)/(-4)). Is 185 at least h?
True
Let k = 0.73 - 10.73. Is k > -6?
False
Let i(p) = -p**3 - 5*p**2 - 3*p + 2. Let m be i(-5). Let u = 30 + -15. Is m at most u?
False
Let y = -13 - -8. Let m(r) be the second derivative of -r**4/12 - 7*r**3/6 + 3*r**2/2 - 2*r. Let f be m(-8). Are f and y non-equal?
False
Let z be 220/(-154) - 8 - (0 + -3). Which is smaller: z or -7?
-7
Let c(k) = -k**3 + 5*k**2 + 18*k - 22. Let f = -92 + 99. Let i be c(f). Which is greater: 66/13 or i?
i
Let g = -0.213 + 0.613. Let q be ((-6)/(-8))/((-81)/(-24)). Which is bigger: g or q?
g
Let y = 25 - 25.012. Let j = y - -0.042. Is -0.06 smaller than j?
True
Let t = -453 - -455. Let k = -1 + 1.1. Which is greater: t or k?
t
Suppose 4*z - 180 = -0*z + 5*q, -5*q = -20. Suppose -4*m - 3*d + 22 = -3*m, -z = -2*m - 3*d. Which is bigger: 57/2 or m?
57/2
Let a = 2230 + -2271. Is a < -28?
True
Let g be 4/(40/105)*2. Let t be 1/(-3)*(g - 12). Which is bigger: t or -4?
t
Let i = 1026.3 + -1027.3. Let z = 0.11 - 4.11. Let d = 6 + z. Which is bigger: i or d?
d
Let t be (1/(-17))/(9/698). Let q be (2 - 448/(-198)) + (-4)/(-22). Let p = t + q. Is 1 >= p?
True
Suppose -146 = -5*i + 649. Let h = -691/4 + i. Is -14 greater than h?
False
Let i be (-10)/((-3 - -4) + -2). Suppose 2 = -2*t - i. Let d be t/9 - (-15)/9. Which is greater: d or 1/3?
d
Suppose -4 = -3*w - w. Let r = 4 + -6. Let q be (-21)/14 + r/4. Are w and q equal?
False
Suppose 4*l + 74 = 2*c, -6*l = -2*c - 5*l + 83. Let d be ((-2)/c)/(2/(-2)). Which is greater: d or 0?
d
Let r(s) = -s - 8. Let m be r(-8). Let p = 10 - 13. Let c be p + 174/34 + -2. Which is smaller: m or c?
m
Suppose 0 = 12*v - 55*v + 10750. Is v less than or equal to 251?
True
Let f be (36 - 32)*((-10)/12 + 1). Which is smaller: -2 or f?
-2
Let u = 46 + -49. Let s be (889/(-222) + 4)*u. Which is smaller: s or -2/5?
-2/5
Let f = -5498/3 + 1484. Which is smaller: f or -348?
f
Let s = -8 + 6. Let d be s/(-2) - -1 - 0. Let o be (8/40)/(d/(-6)). Which is smaller: o or 0?
o
Let r = -676 - -675. Which is smaller: -19.3 or r?
-19.3
Suppose 7*z - 2*z + 5*w = 0, -4*z - 3 = w. Let m(x) = 3*x**3 + x**2 + x + 1. Let n be m(z). Let r be (-21)/(-27) - n/9. Are -2/9 and r equal?
False
Let u(i) = 3*i**2 + 26*i + 110. Let j be u(-7). Which is bigger: j or -8?
j
Suppose -v + 1 = -6*v - z, 4*z - 16 = 0. Let u be (70/165)/((-1)/((-9)/(-6))). Is u greater than v?
True
Let m = -4681 - -4677.977. Let l = 0.023 + m. Which is smaller: l or 1/4?
l
Let i(t) = -2*t**3 + 30*t**2 - 24*t - 65. Let v be i(14). Is -41/5 bigger than v?
True
Let c = 22 + -36. Let f = -11.27 - 0.73. Let n = c - f. Which is smaller: 11 or n?
n
Let r(x) = x**2 + 6*x - 12. Let o be r(6). Let p = 48 - o. Is p != -2?
True
Let k be (-12)/48 + 718/(-8). Let h be (k/25 - 0)*(-40)/3. Is h greater than 1/4?
True
Let t(r) = -9*r**2 + 11*r - 4. Let n be t(14). Let q be n/42 - (-8)/(-14). Which is smaller: -0.2 or q?
q
Suppose -3*z + 28 = 25. Let x be (z/1)/((-5 - -4) + 2). Let a = 119/10 + -23/2. Which is smaller: x or a?
a
Let k(x) = x**2 + x - 7. Let c be k(0). Let p(l) = l + 11. Let h be p(c). Suppose 0 = 5*v - m - 1, m - 12 = -h*v - 4. Which is smaller: -1/3 or v?
-1/3
Suppose 3*x + 14 = 4*t - 5, 0 = -3*t + 3*x + 18. Let h be ((-6)/(-3))/(t + 10/(-4)). Are h and -1 equal?
False
Let b = -6.1 - -0.1. Let h = 178 - 180. Is h greater than b?
True
Let c be (7/4)/(52/(-16) + 3). Let h = c + 16. Are h and 15/2 nonequal?
True
Suppose 3*z - f = 8, -z + 2*f = f. Let v be 10/(-4)*((-164)/40 + z). Suppose -3 - 7 = -2*p, 4*g = -3*p + 11. Which is greater: v or g?
v
Let u be (-5)/(4*(-6 - 675/12)). Is 0 >= u?
False
Suppose 5*i - 3*p = 8, -5*i + p = 3*p - 3. Let k = -106/39 - -3026/195. Let o = k + -702/55. Which is greater: o or i?
i
Let k(s) = 26*s**2 + s. Let c be k(1). Suppose 570 = 16*l + 106. Do c and l have the same value?
False
Let g = -0.1 + 0.136. Let x = 1.036 - g. Is 0.5 < x?
True
Let y = 4121/19 - 217. Suppose -7*x - 9 = -2. Which is smaller: y or x?
x
Let j = 314/21 - 44/3. Let o = -1.9 + 9.9. Which is smaller: j or o?
j
Suppose -24 = i + 3*i. Let x be (-3)/4 + 17/(-4). Is i less than x?
True
Let h = 81 - 62. Does 1 = h?
False
Suppose -5*d = -3 - 17. Let r be 5*35/(-375)*-6. Which is greater: d or r?
d
Let g be 12/10 - 4 - -3. Is 0.19 smaller than g?
True
Suppose -2434*d = -2424*d + 20. Let v(b) = b**3 + 5*b**2 + 2. Let n be v(-5). Are n and d unequal?
True
Suppose -3*s - 1905 = 5*z, -s + 2332 = -4*z + 791. Is -384 at least z?
True
Let n be (-9)/(-3) - (4 - 16/4). Let q be (-6 + 4)/(n - 2). Let c = 4 - 7. Is q less than c?
False
Let w be ((-398176)/(-9956))/8 - 5. Is w at least as big as 1?
False
Let t be (10 - 90/9)/5. Suppose 4*n - 4 = 0, -4*m + 3*n - 3 = -0*n. Let f be 1 - m - (-11)/(-9). Are f and t equal?
False
Let s be (-192)/(-3552) - (-1219)/37. Is 29 at least s?
False
Suppose u + 5*y = -3, 4*y = 5*u + 2*y + 96. Let k be u + 0 + (0 - 1). Which is smaller: k or -18?
k
Let z be (3*(-16)/(-36))/((-10)/735). Is -89 less than z?
False
Let v = 146.88 + -147. Is -0.12 less than or equal to v?
True
Let a = -260516/16215 - -241/15. Is a smaller than -1?
False
Let t = 21 - 21. Suppose t*g + 6 = g. Suppose -4*c = -d + 81, -2*c - 32 = 2*d + g. Do c and -19 have the same value?
False
Suppose 185 = 18*t - 13*t. Are 36 and t nonequal?
True
Let l be -1 + 81 - (-3 + 5). Let x be l/24 - 6/(-8). Suppose 2*u - 7*u - 44 = g, -x = u - g. Is -8 at most as big as u?
True
Let n = 41 - 38. Let r(i) = 3*i + 8. Let k be r(-6). Let g be (-1)/k*-26 + n. Which is smaller: -0.5 or g?
-0.5
Let o = -0.13 - 15.87. Let z = -16 - o. Let n = 0 + -0.01. Which is smaller: n or z?
n
Let f be ((-3)/(-5))/((-3)/(-30)). Let q be ((-3)/f)/(2/(-288)). Does 73 = q?
False
Suppose -3*u - 8 + 23 = 0, 3*d - 119 = -4*u. Let q = d + -23. Suppose -6 = -4*x + q. Which is bigger: x or 2?
x
Suppose 5*d = -4*y + 72, -d = -4*d - 5*y + 38. Suppose d = g + g. Suppose -g*x - 24 = -4*x. Which is smaller: -4 or x?
x
Suppose f + 2*f = -2*m - 365, 0 = 4*f + m + 480. Is f less than or equal to -119?
True
Let n(p) = -18*p**2 + 161*p - 5. Let f be n(9). Let m(i) = -i**3 + 5*i**2 - i - 3. Let z be m(3). Let g be (39/z)/(2/(-8)). Which is smaller: g or f?
f
Let c = 5542.6 - 5543. Let u = 5 + -10. Do c and u have different values?
True
Let z = 29.065 + -0.065. Let p = -31 + z. Is -2/7 less than p?
False
Let p be 81/(-36)*(-8)/6. Let b(y) = y**3 - y**2 + 5*y + 3. Let s be b(p). Let w = 75/2 - s. Which is smaller: w or 1?
1
Let w = 17 + -14. Let d be 2/(28/w)*(-22)/264. Which is smaller: -1 or d?
-1
Suppose 0 = 4*u - 8*u - 2*x - 4, 4*x = 2*u + 2. Which is bigger: -33/16 or u?
u
Let i = 4/197 + -1039/22064. Which is smaller: 1 or i?
i
Let a be (-1 - -2) + (-9)/4. Let m = a - -1/2. Let t = -13/12 - m. Is 7 bigger than t?
True
Let i = -335.956 + 336. Which is smaller: -3 or i?
-3
Let o(c) = -c**2 + 8*c + 22. Let f be 0 + (-3 - (-2 + -1))