 + 0 = -y + 1, 4*y = -16. Which is smaller: m or u?
m
Let r = -66 + 128. Let k = -66 + r. Let w = 1 - 4. Is k < w?
True
Suppose 4*f = 3*z + z - 108, -3*z = 3. Let q be 2 + (-36)/f + -3. Let p = 18 + -26. Which is greater: q or p?
q
Let k be 24/(-42) + 6460/(-357). Is 2/5 > k?
True
Let n(u) = -u**3 - 12*u**2 - 22*u - 15. Let s = 68 + -78. Let o be n(s). Which is smaller: o or 14/3?
14/3
Let n = -2 - -1. Let b be (-6 - -1) + 8 + 66/(-1). Let t be (-1)/3*7/b. Are n and t non-equal?
True
Let k(r) = -r**3 + 4*r**2 + 6*r - 6. Let d be 4 + (-2 - -1) + 2. Let z be k(d). Which is greater: z or -0.06?
-0.06
Let y be (-6*(-4)/12)/(154/22). Let t = 2 + 12. Which is smaller: y or t?
y
Let b = 7/5 + -37/30. Suppose 2*o = 5*q + o + 5, o - 5 = -4*q. Which is smaller: q or b?
q
Let o be -2 + (-23)/39 - (-11)/(-33). Let y = -2267/780 - o. Do y and 0 have the same value?
False
Suppose -5*w = 2*z - 5 + 26, -35 = -5*z + 5*w. Let f = -1.678 + 1.578. Which is bigger: z or f?
z
Suppose 3*p + 9 = -2*r - 8, 0 = -4*r + 3*p + 11. Let q be (-5)/2 - (-1 + r). Let t be -5*(2 + (-32)/20). Does t = q?
False
Let a = 4 - 8. Let y be (6/(-9))/(a/6). Are y and 7/9 equal?
False
Let i(q) = 2*q**2 + 6*q + 4. Let j be i(0). Which is greater: 2 or j?
j
Suppose 5*r + 0*q = -5*q + 50, -r + q = -10. Which is smaller: 87/8 or r?
r
Suppose 2*z - 37 = 5*n + 8, 0 = -4*z + 4*n + 60. Suppose -4*k + z = -78. Let m = k + -20. Are 0 and m unequal?
True
Suppose 0*o = -4*o + 60. Suppose -4*g = 8, h + 0*h + 5*g - 8 = 0. Which is bigger: h or o?
h
Let l = 1/39 - -35/156. Suppose 6*x - 4*d = x - 5, -5*d + 22 = -x. Let z be 45/27 + (-2)/x. Which is smaller: l or z?
l
Let l be ((-180)/22455)/(0 + -2). Which is greater: -1 or l?
l
Let u = -4.01 + 0.01. Let z = -32.8 - -33. Which is smaller: z or u?
u
Let i = 531 + -504. Which is smaller: i or -3?
-3
Let u = -20 + 59/3. Let b = 0.512 - 0.662. Is u greater than b?
False
Suppose -3*g - 3*b + 4*b = 100, 2*g + 60 = -b. Let x(p) = p**2 - 12*p. Let j be x(8). Do j and g have different values?
False
Let u(t) = t**3 - 8*t**2 - 21*t + 12. Let h be u(10). Suppose -10*b = -8*b + h. Which is bigger: b or 2/21?
2/21
Suppose 0 = -5*s + s + t, -3*t = -s. Suppose s = 2*z - 0*z - 6. Which is smaller: z or 5/3?
5/3
Let c = -1 - -3. Let s be (-14854)/70*(-5)/6. Let w = s + -176. Does c = w?
False
Let w = -272 - -3539/13. Let l(q) = -16*q - 1311. Let x be l(-82). Which is greater: w or x?
x
Suppose 0 = d + 9*d - 10. Is 3/169 greater than d?
False
Let i be 79/(-16) - 1*-5. Suppose 6*h - a = h, 0 = 5*h + 3*a. Which is smaller: i or h?
h
Let g(o) = 2*o**2. Let r be g(2). Let d = r - 8. Are 3/7 and d equal?
False
Let q be (-952)/(-70) + 2/5. Suppose 5*y = -b + 8, 5*y - 2*b - q = -0. Suppose -u = y*u. Which is smaller: -1/6 or u?
-1/6
Suppose 0 = 9*a - 8*a - 2. Let y be (-460)/(-10)*1/a. Suppose 2*v + 27 = 4*o - y, -v - 10 = -o. Are o and 15 equal?
True
Let f be 86*(2 - (-9)/(-6)). Do f and 43 have the same value?
True
Let d = -183 - -180. Which is smaller: d or 4/9?
d
Let g(x) = -x + 4. Let n = -20 + 15. Let p be g(n). Let d be (12/p - 0)*6. Is 9 bigger than d?
True
Suppose 183*q = 173*q + 3840. Is q bigger than 384?
False
Suppose -2*f - 7 = 9. Let g be f/((-64)/30) + -4. Which is smaller: 5 or g?
g
Let v(i) = i**2 - 9*i - 10. Let f be v(7). Let p = -9 - f. Suppose -2*y = -y + p. Do -15 and y have different values?
False
Suppose -x + 0*x = 4*q - 15, 5*q = -5*x + 60. Let i(l) = -l**2 + 11*l + 2. Let v be i(x). Suppose s - v = 2*s. Which is bigger: s or -1?
-1
Let l = -445 - -7563/17. Which is smaller: l or -0.4?
-0.4
Let p = -54 - -87. Is -0.3 bigger than p?
False
Let l = -23987110/189579 - 174/4861. Let s = 379/3 + l. Which is bigger: s or 0?
0
Let l be ((-9)/6)/(3/4). Let f be (l - (-5 - -3)) + 45. Is f less than 46?
True
Let o = 0.306 + -57.306. Is 1/4 < o?
False
Let t(c) = -c**3 - 4*c**2 + 13*c + 6. Let j be t(-6). Let m be (18/315)/(16/(-5)). Which is smaller: j or m?
m
Let j = -35 - -85. Suppose -5*r = 5*l + j, -4*r + 5*l - l = 56. Is -13 at most as big as r?
True
Let p be ((-72)/15)/((-8)/200). Which is bigger: 122 or p?
122
Suppose -75 = -11*c + 6*c. Suppose 3*o - 5 = -p, -2*o = 3*p - o - c. Suppose 45 = p*m + 40. Which is smaller: 2/15 or m?
2/15
Suppose 4*g + 2*c - 503 = 445, 1186 = 5*g + 2*c. Let o be (6/(-20))/((-15)/(-11860)). Let a = o + g. Is a > 2?
False
Let f(j) = 2*j**3 - 3*j**3 - 8 + 3*j - 10*j**2 - 5*j. Let t be f(-10). Which is smaller: t or 11?
11
Let j = 3 - 4. Let l = 64.05 + -64.35. Which is smaller: l or j?
j
Suppose -5*y = 4*m - 5, y = 6*m - m + 1. Let a be (1*1/(-2))/((-22)/4). Which is greater: a or m?
a
Let w = -13.2 - -13.2. Let g = -0.2 + 0.1. Let n = w - g. Which is bigger: n or 1?
1
Let c(f) = f**2 + 29*f - 97. Let w be c(0). Suppose -m + 92 = -j - 2*m, -m - 480 = 5*j. Is w smaller than j?
False
Suppose 6*p + 99 = 27. Is p smaller than -14?
False
Let a = 16 - 17. Let y be 3 - a - 7 - -15. Suppose 12 = 3*t, -2*z = 2*z + 5*t - y. Which is greater: z or -1?
-1
Let p = -23.3 + 83.3. Which is greater: p or -2/3?
p
Let x = -3414/17 - -200. Let r = x - -316/425. Do r and 1 have different values?
True
Suppose -2*u = -5*p - 19 - 49, -34 = -u + 4*p. Is u greater than 54?
False
Let s be (3 + -9)*16/336. Let x = -10.8 + 1.8. Let l = -9.4 - x. Which is smaller: s or l?
l
Let g(q) = -q**3 - 2*q**2 + 2*q - 5. Let i(r) = 2*r**3 + 4*r**2 - 4*r + 11. Let x(n) = 13*g(n) + 6*i(n). Suppose -5*k + 2 = 12. Let m be x(k). Is m < -3?
False
Let b = 36 + -10. Let i be (-1736)/546 - (0 + 4/b). Is -4 greater than or equal to i?
False
Let w = 48 + -105. Let l = 57 + w. Which is bigger: l or -20?
l
Let p = 14.8 + -12.8. Is 134 >= p?
True
Let k = 5.8 + -5.53. Let a = k - 0.37. Which is greater: 0.2 or a?
0.2
Let g = -443/7 + 1595/21. Which is smaller: g or 12?
12
Let f be 3/(-2)*(208/195)/16. Is 6 greater than f?
True
Let o = -95 - -51. Let n = o + 36. Is n at least 1?
False
Let y = -372/905 - -2/181. Is -76 less than y?
True
Suppose 9*j = -6 + 33. Is j greater than -33?
True
Let c be ((-5)/(-2))/(40/4768). Is 299 at most c?
False
Suppose 11 = u + 4. Let i = -4 + u. Let q be i + -2 + 6/(-10). Is q at least as big as 1?
False
Let l be (-12)/(-333)*(-327678)/24. Let h = l - -492. Are -1 and h unequal?
True
Let h be 10226/13656 + 183/(-244). Is h less than or equal to 1?
True
Let z = 3/284 + 35/23572. Which is greater: 0 or z?
z
Let i = 7.88 - -0.12. Let p = 8.2 - i. Is p smaller than 7/4?
True
Let l be 32/12 + 2/(-3). Suppose 0 = -0*f - 5*f - 5. Let y = l + f. Is -1 at most as big as y?
True
Let l(w) = 4*w**2 + 10*w + 4. Let v be l(-4). Suppose 4*b - v = -4*o, -b - b = o - 10. Let t = -1 - -5. Is o smaller than t?
False
Suppose -3*z + 5 = -2*z. Suppose 2*j + 3 = 3*j. Which is greater: j or z?
z
Suppose 1 = 2*x + 3. Let l = 6 + -5. Let y be 1/(l/4*4). Is x greater than or equal to y?
False
Suppose 7*h - 10*h = 0. Let n be (h - (-7 - -3)) + 1. Let l = 216 - 1053/5. Which is greater: l or n?
l
Let i = -2.2 - 6.8. Let h = -6 - i. Let l = h + -3. Do -0.07 and l have different values?
True
Suppose 2*w + 2*s - 8 = 0, -4*w + 14 + 2 = -2*s. Let l(o) = o**2 - 20*o + 7. Let p be l(20). Suppose 13*q = p*q. Which is bigger: q or w?
w
Let z = 98.4 + -182.3. Let n = 84 + z. Is -100 less than or equal to n?
True
Suppose -4*z = 5*j + 2, -4 = z - 0*z + 3*j. Let f be (-42265)/(-100) + z/(-8). Let a = f - 426. Do a and -3 have the same value?
False
Suppose 0 = -4*s + 2*s + 60. Let i = s + -26. Suppose 0 = 6*u - i*u + 18. Which is smaller: u or -15/2?
u
Let x = 207/4 + -52. Suppose -21*r - 23 = -23. Which is greater: x or r?
r
Let i = 351.934 + -352. Are i and 2/7 nonequal?
True
Let z be 2/(-10) - (-226)/5. Let b be (32/56 - -6)/((-2)/(-14)). Which is smaller: z or b?
z
Suppose 0 = -30*j + 38*j - 88. Which is bigger: 13 or j?
13
Let c = 9250/13 - 715. Let x = 379/117 + c. Suppose -3*f + 2 + 1 = 0. Which is greater: f or x?
f
Let p = -151 + 150.81. Are -0.1 and p unequal?
True
Suppose 11*i - 80 = -25. Let o = 4/5 - 22/15. Which is bigger: i or o?
i
Suppose 0 = -4*u + 16, 5*c = 3*u - 3 + 56. Let r = c + -10. Let t be (-1)/(r/2) + 0. Is -2 greater than t?
False
Let g be (9/(-12))/((-3)/12). Let i be 11 - (3/4)/(21/140). Which is bigger: g or i?
i
Let l be ((12/(-30))/(2/10))/(-1). Is l smaller than