alse
Suppose -4*y = -y - 5*n + 30, -2 = y + n. Let g(f) = f + 6. Let u be g(y). Which is smaller: -3/29 or u?
-3/29
Suppose 2*f = -0*w - 5*w + 20, 4 = w + 3*f. Suppose w*i = m - 3*m - 22, -5*m - 31 = 4*i. Is m at most -32?
False
Let v = 19 - -10. Let p = v - 21. Is p less than or equal to 8?
True
Let o = -1.106 + -0.894. Let i = 9 + -13. Let s be 4/18 + i/18. Is o at most as big as s?
True
Suppose 0 = 2*b - 3*l + 10, 4*l - 8 = 8. Let z be 2 - 269*b/88. Let s = z - -13/11. Which is greater: s or -1?
s
Suppose 4*q - 95 = -27. Suppose j = -9 + q. Let i = -1 + j. Is 22/3 smaller than i?
False
Let p(k) = -3*k + 13. Let b be p(4). Let l be 0 + b + (-3 - -2). Let a be 2/6*3/(-19). Are a and l equal?
False
Suppose 0 = -3*f, -3*k + 4*f + 2 + 7 = 0. Suppose -k*g - 9 = -6*g. Suppose 0 = -8*i + g*i. Which is greater: -4 or i?
i
Let z = -0.73 - -15.73. Is z >= 0.7?
True
Suppose -4*p - 48 = 4*p. Let n be ((-2)/3)/(p/153). Let l be (-410)/(-25) - 2/5. Do n and l have the same value?
False
Suppose -6*d - 2 = -4*d. Let m be 2 + (2 - (d - -3)). Suppose -5*q + 3*s = -8 - 6, 7 = q - m*s. Which is greater: q or 1/4?
q
Suppose 4*j + 3*l - 1 = 0, -l = 5*j + l - 3. Let k = 358 + -281.8. Let v = k + -76. Is j not equal to v?
True
Let q be (-57 - -50) + 202/8. Is 17 < q?
True
Let w = 8 + -4. Suppose c + 1 + 0 = g, c = -w*g + 4. Suppose -4 = k - c. Is -2 at least as big as k?
True
Let v = -143 + 203. Which is smaller: v or 119/2?
119/2
Suppose -47*x = -36*x - 11. Are x and -2/55 equal?
False
Let x be (1/4 - -2)/((-70)/(-3040)). Let t = -98 + x. Does t = -6/7?
False
Let t = -17.56 - -18. Let y = -10 + 10.04. Let f = t - y. Is f less than 0?
False
Let g be (4/10)/(3/(-15)). Let q be 10 + 2*(1 + g). Suppose r + 12 = -j, -4*r = -0 + q. Is j at most 0.1?
True
Let l be 16/(-16) - 51/(-53). Suppose -8*x = -0*x - 10*x. Does x = l?
False
Let y = -95 + 55. Let j = -42 - y. Is j less than 1.5?
True
Let h = -18.64 + -0.36. Let n = 0 + h. Let i = 19 + n. Which is smaller: i or -4?
-4
Suppose r + 0*b = 2*b - 178, -2*r - 374 = 5*b. Is -181 at most r?
False
Let n be (-263)/(-3) - (-4)/(-6). Let v = -695/8 + n. Is -0.4 less than v?
True
Let o = -8.92 + 13.92. Which is bigger: -1 or o?
o
Let h = 80 - 238/3. Let b = 43/6 - h. Which is smaller: 8 or b?
b
Let f be (-1)/3*0*1. Let k be 26/20 - (-5)/(-10). Is f != k?
True
Let h = -1620 - -4807/3. Let m = 18 + h. Let s = 34 - 33.9. Are m and s unequal?
True
Suppose 3*k + 3*p = -66, -4*k = p - 2*p + 98. Suppose 0 = 6*g - 19 + 79. Let l = k - g. Is l > -14?
False
Suppose 0 = 3*d - 6*d - 5*p - 46, -4*p - 56 = 4*d. Suppose -u - 4*u + 2*q - 75 = 0, -3*q + 15 = 0. Let x = u + 2. Is x > d?
True
Let p(k) = -2*k**2 + 4*k + 1. Let c be p(2). Which is smaller: 16/21 or c?
16/21
Suppose 18*g + 15*g = -11220. Which is greater: -2/5 or g?
-2/5
Suppose 0 = -314*m + 313*m + 169. Are m and 0.4 unequal?
True
Let f = 207 + -141. Let s = 41 - f. Suppose -5*b = -2*c - 42, 4*b + 7 = c + 25. Which is smaller: s or c?
c
Suppose -135*k - 48 = -138*k. Is k <= -7?
False
Let l = 1040/29121 + 2/571. Which is bigger: l or -2/15?
l
Suppose 89 = -3*y + 200. Let p be ((-16)/(-10))/(8/180). Is p at most as big as y?
True
Let l(n) = 14*n**2 - 2*n. Let z be l(2). Let h be (-117)/z*(-8)/6. Which is smaller: 12 or h?
h
Suppose -5*r - 514 = -2*d - r, -482 = -2*d - 4*r. Which is smaller: d or 250?
d
Suppose -r - 61 = -h, -2*r + 4*h - 80 = 36. Is -125/2 at most r?
False
Suppose -37*a = -38*a. Suppose -7*i - 79 - 131 = a. Which is smaller: -29 or i?
i
Let s = 2.4 + -2.51. Let r = -0.01 - s. Is r at most as big as -6?
False
Let u(k) = -k**2 - 7*k - 4. Let l be u(-5). Suppose -g + 3 = l. Suppose 2*j = 3*c - 0 - 4, -5*c - 3*j - 25 = 0. Which is smaller: c or g?
g
Let z be -1*(15432/3)/(-8). Does z = 643?
True
Suppose -5 = -h - d, 2*h - 29 = -4*d - 9. Let m = 288 + -6056/21. Which is smaller: h or m?
m
Let v = -2.5 + -31.5. Let c = v - -43.1. Let j = -9 + c. Which is greater: -16 or j?
j
Suppose -3*x = -r + 3*r, 4*x - 2*r - 14 = 0. Suppose 3*a - 5*n + 350 = 0, 6*a + x*n = 2*a - 432. Is -110 at most a?
True
Let y be 1 + -2 - (16 + -3 + -5). Are y and 3 equal?
False
Let i = 67408/63 + -1070. Let m(d) = 2*d**2 - 6*d - 8. Let o be m(4). Which is smaller: o or i?
i
Let g = 1589209/34440 - 7/4920. Let s = 46 - g. Are 0 and s nonequal?
True
Let q(f) = -74*f**2 + 208*f + 2. Let b be q(3). Is -34 bigger than b?
True
Let i = -1003 - -926. Which is bigger: i or -535/7?
-535/7
Let w = -15 + 15.07. Let q = w - 6.07. Let r = 7 + q. Which is smaller: 3/5 or r?
3/5
Let k = 2 - 2. Let y = -181/110 + 257/110. Let f = y + -3/5. Is f != k?
True
Suppose -17*y + 375 = -42*y. Which is greater: -0.9 or y?
-0.9
Let z(y) = 55*y**2 - y - 2. Let n be z(-1). Let h be n/(-10) - 2/15*-3. Let a(f) = 4*f**3 - f - 1. Let s be a(-1). Which is bigger: s or h?
s
Suppose -6*q - 136 = 2*d - 4*q, 0 = 2*q - 8. Let b be 2/(-8) - (-126)/d. Is -2 at most as big as b?
True
Let s = -17 - -16.84. Let o = -0.26 - s. Is o at most -2/9?
False
Let s be 2/(-6) + (-14)/3. Let d be (3 + s + 0)*-2. Suppose d = -x - 3*x. Which is smaller: 3 or x?
x
Let u be -2*2*(-4)/8. Let g = -2600 + 39016/15. Which is greater: g or u?
u
Suppose -v = 4*d - 14, 0*v - 42 = -3*v + d. Let f = v - 11. Let o be ((-12)/(-32))/(f/6). Is -1/2 > o?
False
Suppose 3*t + 2*t + 60 = 0. Let c be 0 - ((-28)/t - 3). Let o be (-4)/14 - (-1)/7. Is o at most c?
True
Let o = -2 + 2. Let m = -532 + 532.7. Which is smaller: o or m?
o
Suppose -7*k - 82 - 9 = 0. Let s(a) = -a + 2. Let g be s(14). Which is smaller: g or k?
k
Let i be (946/528)/((-4)/(-80)). Which is smaller: i or 35?
35
Let h = 21 + 29. Let d = h - 51. Which is smaller: -0.9 or d?
d
Let v = -58.7 - -59.7. Let s = -15 - -16.2. Which is smaller: v or s?
v
Suppose 2*b - 20 = -2*a - 2*a, 5*b + 4*a - 32 = 0. Suppose 0 = b*r - 2*r. Which is greater: r or 6/17?
6/17
Let b = -1 + 7. Suppose 2*y = -y - b. Let m be 8*(-3 + 2 - y). Does m = 9?
False
Let a(g) = -6*g - 2. Let k be a(-1). Suppose 3*z - z + b - 31 = 0, -68 = -4*z + k*b. Let j = -4 + z. Do j and 13 have the same value?
False
Let a be 1 + 1*(5 - 26). Let r = -27 + 17. Let h be (8/a)/((-14)/r). Which is bigger: -7 or h?
h
Suppose 0 = 52*c + 33 - 85. Is c <= -7/115?
False
Suppose 3*q = -5*l - 32, 2*l = -3*l + 2*q - 12. Let y be l + 195/27 - 3. Is 7 smaller than y?
False
Let g = -2.4 + 1.7. Let z = -0.3 + g. Let k = z + 0.9. Does k = -3?
False
Let o(r) = -r**2 - 7*r + 17. Let f be o(-9). Let k be ((-8)/16)/(f/(-2)). Is k bigger than -12/13?
False
Let f = 46 - 14. Which is smaller: 61/2 or f?
61/2
Let a = -313 + 316. Is a <= -107?
False
Let p(l) = -4*l - 58. Let g be p(-13). Let w be 177/12 + 4/16. Let q be 2/6 + (-110)/w. Which is smaller: q or g?
q
Suppose -2*j + 14 = 5*f, 4*f + 2*j - 4*j - 4 = 0. Suppose 8 = 4*m - f*c - 2, 5*m + 4*c = 19. Let a = 453/110 + -51/22. Which is smaller: m or a?
a
Let r = 2 - 9. Let s = -2 + r. Let n(a) = -a - 5. Let k be n(s). Is 3 less than k?
True
Let r(t) = -t**3 + 4*t**2 - t - 4. Let u be r(4). Let c(m) = -2*m + 39. Let l be c(18). Is l less than u?
False
Let n = -28/167 + 12275/501. Let m(t) = -13*t - 2. Let u be m(-2). Let c = u - n. Which is smaller: -0.1 or c?
c
Let k = 0.03 - 0.063. Let x = -0.013 - k. Which is bigger: 2/5 or x?
2/5
Let o = 2 - 21. Let v = o + -14. Let h = -32 - v. Is 0.1 != h?
True
Let b = -89.93 + 90. Let x = -0.12 + 0.05. Let c = b + x. Which is smaller: 0.2 or c?
c
Let i = -5 + 97. Suppose -4*h + i = 84. Is 20/9 < h?
False
Let p(u) = -u**3 + 3*u**2 - 4*u + 3. Let d be p(2). Let j be ((-10)/(-25))/(d/(-5)). Let s be (18/108)/((-1)/(-4)). Is s greater than or equal to j?
False
Let x = 418.97 + -419. Are 16 and x equal?
False
Let j(g) = -2*g**3 + 16*g**2 + 30*g + 22. Let p be j(9). Are p and 130 non-equal?
False
Let t(m) be the second derivative of -m**4/12 - m**3/2 + 5*m**2 + 13*m. Let y be t(-6). Let g = -19 + 12. Which is greater: y or g?
g
Let a = 6.7033 - 0.1033. Which is smaller: 1 or a?
1
Let o(n) = -n**3 - 6. Let i be o(0). Let v be (-3)/(((-4)/2)/i). Let m = 1473 + -1481. Which is greater: m or v?
m
Let m = -1/587 + -2337/6457. Is m at most as big as -17?
False
Let l = 15 - 19. Let g be 8/(-3)*12/8. Is l < g?
False
Let j = -0.486 + 0.54. Let p = j + -0.054. Does 0 = p?
True
Let g = -4.2 + -19.8. Sup