False
Let q = -20 - -21. Let t = -12 + 6. Let w = 6.1 + t. Is q less than w?
False
Let k(p) = -14*p + 2. Let w be k(-11). Let n be 82*-8*10/w. Let j = n - -42. Is j equal to 1?
False
Let z = 157 - 231. Let o be 0/(-1) + z/4. Let i = o + 18. Which is smaller: 0 or i?
i
Suppose -2*h - h + 12 = 0. Suppose -85 = -h*p - 21. Let u = p - 18. Which is smaller: -1 or u?
u
Suppose 5*j + 3*g = 15, -g = -j - 0*g - 5. Is j >= 0?
True
Let h = 17 - 33/2. Suppose 2*n + 1 + 14 = 5*g, -3*n = 2*g - 6. Suppose 5*s - 5 = -g*f, 7*f - 4*f = -3*s + 3. Does s = h?
False
Let c = 0.028 + -0.228. Is c <= -207?
False
Suppose 4*u = 71 + 9. Let c be 16*1 - (-11)/(99/54). Which is smaller: c or u?
u
Let f be 15/20 + (-1)/(-4). Suppose 448 = -5*p - 367. Let b = -484/3 - p. Which is smaller: b or f?
f
Let k(p) = -5*p**2 - 63*p - 38. Let b be k(-12). Is -9/5 > b?
True
Suppose -107*x = -106*x - 5*d - 37, -5*d + 20 = 0. Which is bigger: x or 54?
x
Let l = -9 + 2. Let m(h) = 5*h + 4. Let d be m(-2). Is l > d?
False
Let b = -42 + 66. Suppose 0 = 5*d - 3*d - b. Is d < 10?
False
Let g = 9.3 + 17.5. Let l = -24 + g. Let c = l + -0.8. Is c greater than or equal to 0.2?
True
Suppose 2*u - 3*k = -7*k - 16, 6 = -3*u + 3*k. Let f be 6*-1 + 224/40. Is f greater than or equal to u?
True
Let t(k) = -k**3 + 20*k**2 + 4. Let m be t(20). Suppose m*h = -5*y - 16, 0 = -2*h + 3*y - 14 - 16. Is h greater than or equal to 2/3?
False
Let d = 3.1 - 11.1. Let o = d + 7.81. Let y = o + -0.11. Is y < 0.1?
True
Let g be 3 - (2 + -1) - 7828/(-570). Let y = g + -92/5. Suppose 20 = -20*j + 15*j. Which is smaller: j or y?
j
Let q = -42 + 37. Let y = q + 68/15. Which is greater: y or -1?
y
Suppose 0*n + 3 = 4*s - n, -5*s + 4*n - 10 = 0. Do s and 11/14 have the same value?
False
Let b be ((-9)/(-9))/((-1)/(-2)*-1). Which is bigger: -9/2 or b?
b
Let n(m) = -m**3 - 10*m**2 - m - 5. Let o be n(-10). Suppose -o*p - 3*a + 34 = 0, a + 0*a - 18 = -3*p. Is p <= -0.2?
False
Let o be (-179 + -4)/((-24)/(-16)). Is o != -122?
False
Let s be 392/(-15) - 16/2400*-20. Suppose -2*y - 7 = 47. Does y = s?
False
Suppose 73 + 134 = -23*b. Let j = 11 + -6. Let f be ((-1)/j)/(24/(-30)). Which is smaller: f or b?
b
Suppose 0 = 6*k - k + 2*x - 2, 16 = -4*x. Suppose p = 1 - k. Which is smaller: -7/3 or p?
-7/3
Let r(w) = -w - 5. Let b be r(-3). Let u be b/2*(-1 - 0). Let x be (-28)/(-10) + (3 - 5). Which is smaller: u or x?
x
Suppose -6*t + 18 - 6 = 0. Suppose 0 = -3*i - 5 + t. Let k be (((-6)/5)/3)/(-8). Which is smaller: i or k?
i
Let r be (-245)/(-190) + 4 + (-25)/5. Is 1 at least as big as r?
True
Let s = -2 - -2. Let k = -19 - -43. Let x = -24.07 + k. Which is smaller: s or x?
x
Let u = 47 - 30. Suppose w - u = -20. Which is bigger: -1 or w?
-1
Suppose 0 = 5*i - 5*h + 25, -7*h - 11 = i - 2*h. Let n be ((-3)/(-9))/((-8)/i). Let a = -290 + 289. Which is greater: n or a?
n
Let j = 133/9 + -26. Which is smaller: -11 or j?
j
Let u be -4 + (6/(-9))/(2/(-9)). Let n be (-2)/9 - -94*u/(-72). Which is greater: 1 or n?
n
Let q = -40 - -53. Let k = -19 - -36. Suppose q*v = k*v. Which is smaller: v or -4?
-4
Let b(s) = -2*s + 9. Let n be b(7). Let u be (-2)/(n/((-195)/6)). Do u and -15 have the same value?
False
Let w be -10*7/((-31815)/(-18)). Which is smaller: w or 0?
w
Let o(u) = 3*u**2 + 3*u - 1. Let g be o(3). Suppose -5*t + g = 5*x, -2 = -t - 1. Suppose 14 = -2*f - s + 3, -3*f = -2*s + x. Are -3 and f equal?
False
Let v = -0.2 + 0.3. Let l = -0.1892 + 0.1692. Is l < v?
True
Let s = -337 - -336. Is s >= 0.0084?
False
Let w be 100/(-150)*21/2. Which is smaller: -16 or w?
-16
Let a be (-2)/(-13) - -4*(-3)/78. Let p be -3 + a - 66/(-27). Is p smaller than -2?
False
Let x be (-170)/(-14) - 6*(-2)/(-84). Let i be (-11)/(-33) - -1*(-1)/x. Is i equal to -2/33?
False
Let f = -3 - -3. Let b be (-1 - 0)/((-274)/(-20)). Let c = b - -1500/1781. Which is smaller: c or f?
f
Let j be 1 - 1 - (2 + -4). Suppose 0 = x + t - 2, -x - t - t = 2. Suppose 4*v - 3*k = x, 5*v - 2*v - 5 = 2*k. Which is smaller: j or v?
j
Suppose 2*q - 41*n - 2 = -43*n, -4*q = -3*n - 4. Is q <= 3/862?
False
Let b = 59.9 - 60. Let z = -552 + 19322/35. Is z greater than or equal to b?
True
Suppose 2 = 3*d + 26. Let w be (2/(d/(-12)))/(-1). Is -2 less than or equal to w?
False
Let f be 12/(-8) - (4788/(-8))/(-9). Is f less than -68?
False
Suppose 6*g - 184 - 2672 = 0. Is g greater than or equal to 474?
True
Let u be (((-24)/(-7))/(-3))/(2/(-7)). Let g = 3 - u. Which is smaller: -3/29 or g?
g
Let o = 54 + -54.082. Let x = 59.918 - o. Which is bigger: x or 0?
x
Let k = -4 + -6. Let x = -149 + 158. Let v = x + k. Which is smaller: v or 9/4?
v
Suppose 0 = -5*k - 2*g + 135, -g - g = 3*k - 85. Let t = k + -40. Which is bigger: t or -14?
-14
Let w = 1015690/283 + -3589. Let u = -5401/2264 + w. Let b = u - -225/88. Which is bigger: 1 or b?
1
Let l = 19423/39 + -498. Which is greater: 1 or l?
1
Let j = 1027.99 - 1042. Let p = -14 - j. Which is smaller: p or 0?
0
Let p(c) = -3*c - 6. Suppose 2*n + 9 = -4*k - 1, 0 = 4*n - 4. Let v be p(k). Let s = -3 + v. Is s at most 0?
True
Let j(r) = -r - 1. Let z be j(-2). Let u be (-2 - 2)*(-146)/(-7). Let a = 83 + u. Which is smaller: a or z?
a
Let n be (3/66)/(1/(-2)). Let w = 1624 - 1619. Is n smaller than w?
True
Let b = 44 + -40. Let m be (b - 7) + 68/22. Which is bigger: m or -0.3?
m
Suppose -7*w + 2*w = 5*t, 4*w + 3*t = 0. Suppose 4*j + j + 5*h - 20 = 0, h - 2 = w. Suppose 2*v + 18 = u, 2*u = -j*v + 4*v + 34. Which is smaller: 17 or u?
u
Let g(x) = -x**2 - 15*x + 15. Let a be g(-15). Let w = a + -15. Suppose w = b + b. Which is smaller: b or 3/4?
b
Let t(k) = k**2 - 8*k - 21. Let n = 6 + 3. Let p be t(n). Let g be 13/12 - (-9)/p. Which is greater: -1/4 or g?
g
Let j = -1.364 - -8.194. Let r = j - -0.17. Let i = 7.2 - r. Which is smaller: i or 0.1?
0.1
Suppose -2*f - 5*a + 245 = 0, -3*f - 13*a + 320 = -15*a. Let h be ((-2)/4 - f/(-160))*1. Let l = -2 - -2. Is l >= h?
False
Let j(r) = -5*r - 3. Let b be j(-7). Let x = b - 35. Which is smaller: -1 or x?
x
Let c be (352/(-308))/((-10)/217). Is 24 at most as big as c?
True
Let u(h) = -3 - 2 - h + 0 + 8 + h**3. Let t be u(0). Which is greater: t or 4?
4
Let o(y) = -y**3 + 7*y**2 + y - 4. Let j be o(7). Let x be (-3)/(-6) - (-19)/2. Suppose -3*i = -13 + x. Is j at least as big as i?
True
Let r = 0.4 + -1.4. Let d = r - -1. Let i = 0.7 + -0.6. Which is smaller: d or i?
d
Let q(h) = 5*h**2 + 55*h - 3. Let x be q(-11). Is x bigger than -43/10?
True
Let r = 12769410 + -120096301378/9405. Let o = r + -2/209. Let l(p) = -p**3 - 6*p**2 - 11*p - 6. Let w be l(-3). Is w bigger than o?
True
Let t(a) = 2*a + 11. Let i be t(-5). Let u be (45/(-10) - -4)*i. Which is bigger: -1 or u?
u
Let u(j) = j - 1. Let o be u(0). Suppose -2*h = 3 + 1. Let m = h - o. Which is smaller: 3 or m?
m
Let d = 1.1 + 0.7. Let h = d + 10.2. Let n = h + -12.08. Are 1/3 and n equal?
False
Let g(r) = -r**2 - 10*r + 12. Suppose 65 = -4*j + 21. Let a be g(j). Let w be (-5)/(-30)*a*-5. Which is smaller: 0 or w?
w
Let j(d) = d**2 - 11*d - 24. Let o be j(13). Suppose -o*w = -3*w + 1. Is 1/16 >= w?
False
Let j(w) = w**2 - 8*w + 9. Let z be j(7). Suppose 3*h = z*s - 8, -5*s = -2*h - 14 + 5. Let q = 38 + -109/3. Is q at least as big as s?
True
Let u be (-3 - -12) + (2 - -70). Which is smaller: 79 or u?
79
Suppose 3*u + 13 = 4*y - 160, 267 = -5*u - 4*y. Let q = -56 - u. Is q at least as big as -1/3?
False
Let d = -1 - 2. Let h be -2 + d + (-633)/(-12). Let f = -48 + h. Is f < 0.6?
True
Let n(w) = 7*w**2 - 10*w + 102. Let z be n(-8). Is 631 bigger than z?
True
Let t be 1/((-18)/66) + 2/(-6). Which is greater: t or -32?
t
Suppose -6 = 3*g - 0*g. Let w be 2/(-30) - 1920/3600. Which is greater: w or g?
w
Let l = -0.47 + 24.47. Let q = -25.2 + l. Which is bigger: q or 0.2?
0.2
Let o(x) = 14*x + 44. Let t be o(3). Are 83 and t non-equal?
True
Let v = 1414 + -1410. Which is bigger: v or 37/12?
v
Let j be (-5)/((-10)/(-8)) - (22 - 20). Which is greater: j or -1?
-1
Suppose -f - 11 = 2*d, -4*d + 2*f - 13 = -3. Suppose -4*r = -4 - 4. Suppose -r = -a + 2*a. Do a and d have the same value?
False
Suppose 0 = -3*p - 2*f + 61, -4*f - 47 = -2*p + f. Let m be 3/p + 4/(-28). Let y = -2 - m. Which is greater: y or -7/4?
-7/4
Let f be (-5 - -2)/(-2 - -1). Suppose -2*b + 