2*u + 26. Is u greater than -26?
True
Let z = 2 - 3. Let w be 4/(-20) - 64/(-20). Suppose w*q = -3*v + 5*v + 10, v + 4 = q. Does v = z?
False
Let n be (-252)/54*3*-5. Is 71 less than or equal to n?
False
Let a = 0.951 - -169.049. Which is smaller: a or 0.2?
0.2
Suppose 55*d = 48*d - 7. Is d < 0.02?
True
Let l = -220 + 1104/5. Let u be (-2)/(-6)*360/10. Let o be (6 + -3)/(18/u). Is l at least o?
False
Let i = 4 - 4. Let g = -29/330 + 2/15. Are g and i equal?
False
Let n = -886 + 204665/231. Which is bigger: 1 or n?
1
Let p be 26/(-741)*9/2. Which is smaller: -1 or p?
-1
Let p(l) = -l + 10. Let x be p(5). Let m(t) = -t**3 + 5*t**2 - 13*t + 38. Let c be m(4). Suppose 0 = -c*b - 3*b - x. Which is greater: -3/2 or b?
b
Let b be 154/66*(-13)/7. Which is smaller: -1/9 or b?
b
Let f = -9612 - -67101/7. Which is greater: -25 or f?
-25
Suppose -6*h + 7*h = 3*f - 51, 2*h + 51 = 3*f. Which is smaller: f or 19?
f
Let j = -89 + 201. Let s = j + -111.9. Is 21 >= s?
True
Let k = -4 - 0. Let m = 122.7 + -126. Let d = m - k. Which is bigger: 2/3 or d?
d
Suppose -10 = 16*z - 21*z - 5*t, -z + 5*t = 28. Does -2 = z?
False
Let y(i) = -9*i - 6. Let m be y(-1). Suppose 4*t = m*x - 19, -x = 4*x - 5*t - 25. Suppose -4 = 5*v + l, 2*v - v = 5*l + 20. Which is greater: x or v?
x
Let h(g) = -g**2 + 8*g - 7. Let y be h(6). Suppose 9 = -4*b + b - y*f, 5*b = -4*f - 15. Let k be (-6)/b + 288/(-136). Which is smaller: -1 or k?
-1
Let q = 2/209 + -453/25498. Is q smaller than 0?
True
Let m = 4234/13845 + 2/1065. Let l(h) = h - 1. Let y be l(7). Let g(d) = 2*d**2 - 11*d - 5. Let c be g(y). Which is smaller: c or m?
m
Let b be ((-5)/16)/(((-2)/(-808))/(-1)). Is b greater than 125?
True
Let p = 1.1 - 1.04. Let h = -0.02 - p. Let c = h - -0.38. Is c at least as big as 0.3?
True
Let x(k) = -5*k**3 + k**2 + 4*k + 7. Let b be 6/2 + (6 - 3) + -9. Let w be x(b). Which is smaller: 138 or w?
138
Suppose -125 = -3*w - 2*w. Suppose 0 = 2*f - 2*j + 9 + w, -2*f - 2*j - 14 = 0. Are -12 and f nonequal?
False
Let c = -283 - -283. Which is smaller: -9/52 or c?
-9/52
Let g = 3594 + -197661/55. Which is smaller: 0 or g?
0
Let z = -311 + 650. Let x = z - 1689/5. Are -0.3 and x nonequal?
True
Suppose -3*i - i - 40 = -4*o, 2*o = 8. Let u(p) = -p**3 - 7*p**2 - 9*p + 7. Let y be u(i). Let t = y - 6. Is 20 at most t?
False
Let g = -66.19 + 66. Which is bigger: 10/11 or g?
10/11
Suppose -4*j + 54 = c + 73, -2*j - 10 = 0. Do c and 4/599 have the same value?
False
Let g = -22859 - -6880569/301. Which is smaller: g or 0?
0
Let b(i) = i**3 + 14*i**2 - 16*i - 8. Let d be b(-15). Suppose d*y + 216 = -2*y. Is -26 at least as big as y?
False
Let q = 2461 + -2869. Is q greater than -407?
False
Let h = 2905/6 + -490. Which is greater: h or -6?
h
Let p(y) = 2*y**3 + 9*y**2 - 4*y + 5. Let j be p(-5). Let s be (4/(-6))/((-4)/6). Is j greater than or equal to s?
False
Let w be 1 + 1 + (-69 - 3). Let d = -73 - w. Are d and -4 unequal?
True
Let b = 898 + -896. Which is greater: b or 8?
8
Let x be (1/(-2))/(9 - 12 - -2). Let l be (-14)/(-35)*(-10)/(-4). Let d be -3 + 5/l + -3. Is d equal to x?
False
Let k be ((-30)/20)/((-13)/(-16) + -1). Let z(c) = -4*c - 3. Let o be z(-3). Which is greater: o or k?
o
Let u(p) be the first derivative of -1/4*p**4 - 13*p + 3*p**3 + 6*p**2 + 5. Let l be u(10). Is 7 != l?
False
Suppose w - 8*d = -13*d + 24, 5*d - 26 = w. Let o = -51 - -205/4. Which is greater: w or o?
o
Let z be (-2)/(-1)*(-34)/476. Which is bigger: 0 or z?
0
Let b be (2/(-124)*-6)/((-5)/55) + 1. Let k = 0.1 - 1.1. Is b >= k?
True
Let o be (-9 + 3)*12/4. Let b = 19 + o. Suppose 0 = -3*i + 4*s + 13, 4*i + 2*s - 9 = b. Is 3 < i?
False
Let d = -15 - -31. Suppose 7*j = 5*j + 5*q - 22, -d = j - 5*q. Let s(v) = -2*v + 9. Let z be s(7). Which is greater: j or z?
z
Let v be 6/60*(-15)/(-18). Which is smaller: -2/15 or v?
-2/15
Suppose 9*p = -156 - 24. Which is smaller: p or -18?
p
Suppose -191*m + 195*m + 240 = 0. Which is smaller: m or -59?
m
Let q(n) = n**3 - 5*n**2 + 3*n - 7. Let s be q(6). Suppose 6*j + s = 11. Which is greater: -4 or j?
-4
Let p = 3.4 - 0.4. Let k = -0.02 + 1.02. Is p at least k?
True
Suppose 5*k + 2*g - 517 = -28, g + 102 = k. Is 100 not equal to k?
True
Let o = 7 + -3. Let k be (8 - (9 + -3)) + -2. Which is smaller: o or k?
k
Let g(z) = -2*z - 4. Let y be g(-2). Suppose 2*u + 5*h = -2*u + 117, u + 5*h - 48 = y. Let l be (-23)/115 + 12/10. Is l > u?
False
Suppose 0 = 4*g - 12, -m - 5 = -0*m + 2*g. Let s(r) = -r - 24. Let y be s(m). Is y < -23/2?
True
Let h(d) = -d - 10. Let q be h(-4). Let l be (((-12)/(-9))/2)/(4/q). Which is smaller: -23 or l?
-23
Let i(j) = 6*j**2 - 281*j - 335. Let s be i(48). Let w be -1*(-2)/23*1. Are w and s nonequal?
True
Let r = 4/2143 - 47254/57861. Is -2 <= r?
True
Let m = -2 + 6. Suppose 3*a - 5*f = -4, m*a + 4*f = -f + 18. Suppose 4 = -4*u + 3*y + a*y, 5*u = 5*y - 5. Which is bigger: -2/7 or u?
-2/7
Suppose -3*k = 2*k - 2*d + 3, -4*d = 5*k + 9. Let h be ((0 - -2) + k)*1. Let u be (125/45 - 3) + (-2)/(-6). Which is bigger: u or h?
h
Let g be (143 + -326)/((-9)/6). Suppose -379 = -3*m + u + 4*u, 2*m + 4*u = 238. Which is greater: m or g?
m
Let k be (0*2/6)/1. Suppose k = -3*l + 6*l. Suppose l*a - 20 = -4*a. Do 4 and a have the same value?
False
Let q = 145 - 126. Suppose -q*t = -14*t + 215. Which is smaller: t or -44?
-44
Let b = -17 + 40. Let d = -24 + b. Which is bigger: -1/27 or d?
-1/27
Let x = -9/196 - -79/196. Let b be 2/3 - 10/6. Are x and b non-equal?
True
Let s = 0.0639 - -0.0201. Are -6 and s nonequal?
True
Let b = -43 + 72. Suppose 0 = -b*w + 25*w - 4. Which is bigger: 3/4 or w?
3/4
Let q be -10*6/(-9660)*-3. Which is bigger: q or -1?
q
Let x(y) = -y - 103. Let l be x(-6). Which is bigger: l or -96?
-96
Let w be 15*-2*72/45. Is w <= -52?
False
Let u be 2/(-1) + (2 - -1). Let v = 1039/5 + -6209/30. Is v > u?
False
Let t = -16 + 18. Let u be 1/t - (-354)/(-692). Which is bigger: 0 or u?
0
Let c = -0.052 + -0.698. Let x = c + 0.75. Is x smaller than 0.28?
True
Let r = 42.082 + -42. Let n = 6.918 + r. Which is smaller: 3 or n?
3
Let b = 632/2369 - 856732/902589. Let n = b - -2/127. Which is smaller: 1/4 or n?
n
Let j = 2227 - 2227.23. Which is greater: j or 17?
17
Let d = 82.921 - 83. Let v = -0.029 - d. Is 5 < v?
False
Let c = -0.3 - 13.7. Let n = c - -28. Let i = 13.8 - n. Which is smaller: -2/3 or i?
-2/3
Suppose -4 + 10 = 3*h. Suppose y + y = 5*o + 90, h*o + 25 = 3*y. Let u be 6/(-27) + o/(-9). Is u at most as big as 1?
False
Let x be 2 - ((-10)/5 + (-4)/2). Suppose 4 = k - 2*s - x, -2*k + 10 = -2*s. Which is smaller: -1/41 or k?
-1/41
Suppose 20*n = -19*n + 195. Let t = -3 - -7. Which is greater: n or t?
n
Let f(a) = -a**2 + 26*a - 2. Let n be f(26). Let x be n/(-5) + 3 + 232/20. Is x at most as big as 16?
True
Let z be (2/3876)/(-2 - 90/(-40)). Which is smaller: z or 0?
0
Let y = -926 - -1851/2. Which is greater: 465 or y?
465
Suppose -9*b = -15*b - 24. Let q(p) = p**2 - 4*p - 1. Suppose -m - z = 2*z - 3, 6 = 2*m + 3*z. Let w be q(m). Is w greater than or equal to b?
True
Let q = 6 - -1. Let y = -18 - -21. Suppose -m + q = 4*a, 3*m - 6*a + y*a + 9 = 0. Which is bigger: m or -1/6?
-1/6
Let q = 3.08 - 0.08. Let v = q + -2.9. Let r be (-4)/(-8)*(7 - 9) + -1. Is r less than v?
True
Suppose -12 = 4*x, 0 = -5*r - 3*x - 30 - 9. Let n be 12/(2*r/16). Is -17 not equal to n?
True
Let m = 2000.14 + -2000. Let j = -5 + 3. Let p = j + 3. Which is bigger: p or m?
p
Let k be (7 - (3 + -3 + 2)) + 67. Is k equal to 72?
True
Let q = -8 + 70. Suppose 55*u - 224 = q*u. Which is greater: -1/4 or u?
-1/4
Let p = -1160/7 + 166. Are 53 and p non-equal?
True
Let t(j) = -10*j. Let a be t(14). Let z be 195/a + (-1)/(-7). Let v(x) = -3*x**2 - x. Let f be v(-1). Is z less than or equal to f?
False
Let r(i) = -i**2 + 32*i - 31. Let f be r(31). Which is bigger: 2/351 or f?
2/351
Let a be 106/11 + (-120)/(-330). Is 94/11 at least a?
False
Let t = 75.64 + -22.71. Let o = -53 + t. Which is bigger: o or -1/4?
o
Let s = -147 - -153. Let x = 9 - 4. Which is greater: x or s?
s
Suppose 3*c = -3*z + 15, 5*c - 19 - 6 = -4*z. Suppose -9*s = -4*s - c. Let f be (3/(-33))/((-2)/12). Which is smaller: s or f?
f
Suppose -30*b + 27*b = 18. Let g be (4 - 7) + -1 + b. Let o be (3/4)/((-2)/24). Is o at most as big 