w + -13.1. Which is bigger: 18 or r?
18
Let u be ((-42)/(-105))/((-8)/20). Are -10/97 and u nonequal?
True
Suppose 9 + 21 = 5*w. Let r = w + -1. Suppose -r*p = 7 - 2. Which is smaller: 1/4 or p?
p
Let m = -46 - -25. Let l = 37 + m. Suppose 5*y + l = -s + 3*y, -5*y - 5 = 0. Are -15 and s equal?
False
Suppose -3*b = -3*m + m + 48, -m + 3*b = -27. Let j be (-3050)/(-61)*2/4 + (2 - 4). Which is greater: m or j?
j
Suppose -h + 0*h + 5*t - 3 = 0, 0 = -2*h - t - 6. Let m be 6/(-9)*(h + 0). Suppose -2*n - m*i = -0*i + 22, -46 = 5*n - 4*i. Does -10 = n?
True
Suppose b - 5*b - 5*c + 67 = 0, -5 = 5*c. Let d(k) = 2*k - 9. Let s be d(7). Suppose 3*w - 4*i - 66 = 0, 2*i + 95 = s*w - 1. Is b bigger than w?
False
Suppose b - 4*b = -h + 7, 4*b - 4*h = -12. Let x be b/(-5*4/(-10)). Is x less than -6/7?
True
Let o = -41 - -449/11. Let q be 956/(-176) + (6 - 3). Let m = q + 24/11. Which is bigger: m or o?
o
Suppose -2*h - 11 = 5*d - 1, h = -3*d - 7. Let f be ((-6)/4)/((-23)/d). Which is greater: 0 or f?
0
Suppose -26 + 15 = 11*x. Let d be 14/77 - 15/22. Which is smaller: x or d?
x
Suppose 3*s = -0*s - 24. Let p be 8/12 - s/6. Suppose -4*x = -x + 4*v - 8, -18 = -5*x - 2*v. Is x at least as big as p?
True
Let c = -3/16 - -731/144. Are 5 and c equal?
False
Suppose 0 = -2*x - 7*x + 2997. Which is greater: 334 or x?
334
Suppose -2 = w - 9. Let a = -8 + w. Which is smaller: -1/4 or a?
a
Suppose -12*u - 18*u = -29*u. Are -8/123 and u unequal?
True
Let j = 26/7 - 67/35. Is j equal to 0.5?
False
Suppose 5*m = -4*t - 1545, -5*m = -2*t + 4*t + 765. Let c be (-60)/(-2)*3*5/t. Which is bigger: 0 or c?
0
Let n(h) = 64*h + 555. Let g be n(-12). Which is greater: -217 or g?
g
Let a = -116 - -112. Let l be (a + -2)*(-2)/8. Is l at most as big as -4?
False
Let a = -1214 - -1213.94. Which is bigger: a or 6.3?
6.3
Suppose 10*y = -4*y - 28. Let x be (-31)/(-62) - y/(-5). Which is bigger: -1 or x?
x
Let i = 105.78 - 106. Which is smaller: -0.1 or i?
i
Let w = 397/48 - 25/3. Let r(c) = -c - 11. Let q be r(-10). Which is bigger: w or q?
w
Let y = 32 + -32. Let s = y - -6. Which is bigger: s or 2?
s
Let k(r) = -13*r**2. Let o be k(1). Let u(l) = l + 13. Let h be u(o). Is h not equal to 8/7?
True
Suppose 4*z - 33 - 27 = 2*l, -5*z + 82 = l. Suppose 0 = -5*y + y - z. Let a(i) = 2*i + 6. Let g be a(y). Which is smaller: g or 2?
g
Suppose 3*j + 2*u = -2*j + 116, 5*u = 5*j - 130. Let o be 10/((-10)/j*12/40). Is o >= -79?
False
Let v = 9.6 - 16.6. Let b = -19 + 31. Let h = b - 12. Is h less than v?
False
Suppose 6 = 22*r - 24*r, -5*i + 5*r = 290. Which is smaller: i or -62?
-62
Suppose 5*k = 5*n - n + 117, -4*k = -4*n - 96. Suppose 4*r - 18 = -2*u, 3*r - r + k = 5*u. Let j be r*1/8*2. Which is greater: 0 or j?
j
Suppose 5*k + 28 = 363. Suppose -v + 2*d - 3 = -3*d, -5*v - d = k. Let b = -10 - 2. Is v bigger than b?
False
Let v be 7*(-19)/(-7) - (-7)/(-1). Which is bigger: 3/4 or v?
v
Let u be (-10620)/(-1179) - (5 - -4). Is u less than 1?
True
Suppose b - 4*l = 12, -16 + 7 = 3*b - 3*l. Let z be (-2)/(-8) + 186/b. Which is greater: -22 or z?
-22
Let p = -0.1 - 0. Let c = 844 - 831.94. Let m = c - 12. Is m bigger than p?
True
Let b = 0.7 + -0.6. Let f be (1 + 1)/(3 + 1)*32. Is f at least b?
True
Let j be (-2)/(-4)*(12 + 2 - -99). Which is greater: 57 or j?
57
Let i = 13 + -19. Let b = -5.9 - i. Are b and 5 unequal?
True
Let h = 13171/21351 + -7/647. Which is bigger: 1 or h?
1
Let y = -0.02 - -0.13. Let a = y - 10.11. Let w = a - -9.9. Which is smaller: -1/3 or w?
-1/3
Let j = -1032.3 - -1030. Which is greater: 0 or j?
0
Let r(a) = a**3 - 5*a**2 - a - 1. Let p be r(5). Let v be (3/p)/(1/(-2)). Let w be 3/(-2)*33/(-13167)*-28. Is w > v?
False
Let x be 15/(-20) - 23/(-4). Let j(q) = 24*q + 3. Let p be j(-2). Let w be 2/x + 28/p. Is -1 smaller than w?
True
Let u(y) = 19*y - 416. Let a be u(22). Do a and 25/12 have the same value?
False
Let i = -930 - -930.03. Which is smaller: -8 or i?
-8
Suppose 0 = 25*f - 38*f. Which is smaller: 1/809 or f?
f
Let x be ((-1)/(-505))/((-17)/(-85)). Which is smaller: 1/3 or x?
x
Suppose -100 = 3*w - 652. Let r be (-1)/(-6)*(-36)/w. Let l = r + -169/460. Does 0 = l?
False
Let c = 1086 + -1047. Which is bigger: 36 or c?
c
Let t(r) = -r**3 + 3*r - 4. Let b be t(-3). Suppose 8*q - 26 - b = 0. Which is greater: q or 2/13?
q
Let f be (1 + 3)/((-15)/30). Which is smaller: 0.055 or f?
f
Let i be (1 - 1)/(0 - 5 - -7). Let k = -913/8 + 114. Is i <= k?
False
Let a be -1 + 9/6 + (-368)/816. Which is smaller: a or -1?
-1
Let u = -81100/9 + 9028. Which is smaller: 18 or u?
u
Let y = -0.222 - -0.122. Let d = -1 - -1.2. Is y at least as big as d?
False
Let q = -5.2 + 81.2. Let y = q + -76.2. Let k = -1.8 - -2. Is y not equal to k?
True
Let h be 63/9 - (-147)/(-22). Which is smaller: -1 or h?
-1
Let y = -367 + 390. Let d = -29 + 16. Let s = y + d. Which is greater: s or 11?
11
Let o = 2/1587 + 4753/6348. Which is smaller: o or 0?
0
Let o be -1 + (-1)/(-3)*15. Suppose 5*s + 6 = -o. Which is smaller: -4/7 or s?
s
Let z be (68 + -72)/(3 - 4). Let j(h) = h**3 - 2*h**2 + 4*h - 3. Let l be j(2). Is z equal to l?
False
Let y(d) = -d**3 + 5*d**2 + 7*d - 6. Let s be y(6). Let x be (-3)/7*(-3)/(-9). Are x and s equal?
False
Let x = 185.3 + -185. Which is smaller: -0.144 or x?
-0.144
Let q = -721 + 719.778. Which is smaller: q or 0.1?
q
Suppose 4*s + 4 = -2*i, 3*s + 9 = 3*i - 12. Suppose -i*b + 5*b = 26. Which is bigger: 24 or b?
b
Let v be 12/30 + ((-294)/10 - -2). Which is greater: -26 or v?
-26
Suppose 0 = 20*w + 10*w - 2670. Which is smaller: 90 or w?
w
Suppose -o + 5*t - 2*t = 64, -5*o - 264 = -t. Is -256/5 at least as big as o?
True
Let n = 35 + -41. Let c = n + 6. Let w = -0.69 - -0.6. Which is greater: w or c?
c
Let z = 12 + 14. Is 30 bigger than z?
True
Suppose 2*f + 71 = -4*a - 31, -f - 4*a - 47 = 0. Which is bigger: -109/2 or f?
-109/2
Let t = -1266 - -1266. Let r(s) = s**2 + 6*s - 7. Let v be r(-7). Is v less than or equal to t?
True
Let i = -2281 + 2485. Is i at least 204?
True
Let s be 2/2 + (-3 - 0). Let k be (-2)/s + (-204)/24. Let u = 107/14 + k. Which is smaller: u or 1?
u
Let v = 4.6 - 4.1. Let f = -19.9 + 20. Which is bigger: f or v?
v
Let j be -231*20/42*7. Is -770 > j?
False
Let t = -2.261 + -66.739. Is -0.04 != t?
True
Let y = -1/4808 + 6775/9457336. Which is bigger: 1 or y?
1
Let z be ((-6)/58)/(6/4). Let n = z + -52/87. Let c = 1 - -3. Which is greater: n or c?
c
Suppose 188*j - 185*j - 60 = 0. Which is bigger: 17 or j?
j
Let l = -6.77 + -1.23. Which is bigger: 8 or l?
8
Let g = 792 + -74449/94. Is -1 bigger than g?
False
Suppose 0 = -c + 4*x - 365, 4*c - 3*x - 1422 = 8*c. Is -357 at most as big as c?
True
Suppose -m - 2*d + 11 = 0, -d + 4 - 2 = 0. Let b(i) = -i + 1. Let l(p) = p**3 + p**2 + 2*p + 3. Let c be l(-2). Let w be b(c). Which is greater: w or m?
m
Let m = 125.01 + -125. Which is smaller: -4 or m?
-4
Let f be (-6)/4 + 5/(60/(-618)). Are -888/17 and f unequal?
True
Let f = 1379.2 + -1379. Let r = 0.8 + -0.3. Is f less than or equal to r?
True
Let l = -791/4 + 198. Is l >= 1/95?
True
Let o = -251 - -255. Which is smaller: 11/3 or o?
11/3
Let p be (3 + 2 + -4)*5. Suppose f + 24 = -5*a + a, 0 = -p*f - 4*a - 200. Let u be f/(-10) - (-4)/(-10). Which is greater: u or 3?
u
Let q = 8 + 1. Let a = 19/2 - q. Suppose 0 = s + 3*n + 2 + 5, -s - n = 1. Which is greater: s or a?
s
Let t = -109 - -60. Let u = -246 - -199. Is u bigger than t?
True
Let t = 28 - 224. Is -196 less than or equal to t?
True
Let q(y) = -y**3 - 6*y**2 - 4*y - 1. Suppose 5 = 3*r - 4. Let z be 2/r + 51/(-9). Let u be q(z). Which is bigger: -4 or u?
-4
Suppose 2*v + 0 = 4. Suppose b = -0*b + v, -4*r = -2*b. Let p = -2/1563 - -1052/7815. Is r less than or equal to p?
False
Suppose -x = 9 - 2. Let p(y) = -y - 5. Let t be p(x). Which is greater: t or -0.2?
t
Let k be (2/4)/(((-5)/(-5))/26). Which is smaller: 11 or k?
11
Let g be (-20 - (-5 + -14)) + -101. Let z be 2/((-12)/202)*3. Is g >= z?
False
Let c = -344 + 343.81. Which is greater: -7 or c?
c
Suppose x - 120 = 11*x. Let a be (-17)/(-51) + (-2)/x. Which is greater: 1.1 or a?
1.1
Suppose -46*v + 75*v = -1247. Which is smaller: v or -44?
-44
Let v be 0 - 5*(-8)/(-9880). Which is bigger: v or 1?
1
Let u = -13 + 47. Which is greater: u or 0?
u
Suppose 