31 - g. Which is smaller: 1/11 or h?
h
Let o be (-170)/(-51)*30/4. Let t = 45 - o. Do 19 and t have the same value?
False
Let w = -1941 + 1080. Is w less than -861?
False
Let m(l) be the first derivative of -l**3/3 + l**2 + 2*l - 2. Let k be m(0). Suppose 4*o - 2*x + 108 - 24 = 0, 44 = -2*o + k*x. Does o = -20?
True
Let z = -3 - -2.7. Let a = z + 0.3. Let c = -0.08 - 10.92. Which is bigger: a or c?
a
Let y = -0.0385 + -1.4615. Which is smaller: 1/5 or y?
y
Let m = -55009/27 + 2037. Do -2 and m have the same value?
False
Let o(b) = -15*b**3 - b**2 + b. Let d be o(1). Let l = d - -41. Suppose 0 = 2*g + l - 30. Is 2 bigger than g?
False
Suppose -4*x - 5 + 9 = 0. Let n be (-4)/(-5) + (-7856)/9720. Which is bigger: x or n?
x
Let p = -30551263/7489251 - 2/118877. Let k = 27/7 + p. Is -5/4 at most k?
True
Let m = 305.925 - 306. Which is greater: m or 2?
2
Let i(o) = 2*o**2 - 3*o + 65. Let k be i(0). Let p = -42 + k. Which is bigger: -2/7 or p?
p
Suppose 3*t = -4*m - 14, m + 2 - 5 = -4*t. Let x = t - 6. Is x <= -5?
False
Let c(n) = n**2 + 28*n + 176. Let v be c(-19). Suppose -3*x - 4*l = -x + 8, 0 = -x - l. Which is bigger: v or x?
v
Let p(s) = 25*s - 175. Let i be p(7). Which is smaller: i or 8/149?
i
Let a = 144 + -137.7. Let x = -6.13 + a. Is x at least as big as 0.1?
True
Suppose -3*r + 21 = -2*z, z = -r + 2*r - 8. Let c be (-1 - z) + 10/(-14). Suppose 2*i = 3*i. Is c greater than i?
True
Let o = 228 + -282. Which is smaller: -55 or o?
-55
Suppose 3*w + 31 = -5*c, 4*w + 38 = 4*c - 9*c. Is w <= -0.2?
True
Let u = 31 - 30. Let l be 21/((-1)/u) - 3. Are -24 and l unequal?
False
Let l(z) = -47*z**2 - 3*z - 3. Let j be l(3). Which is bigger: -434 or j?
-434
Suppose 0 = 3*r + 5*s + 38 - 13, 15 = 4*r - 3*s. Suppose r*t - 2*t + 2 = 0. Which is bigger: t or 6?
6
Suppose 0 = -r + 4*z - 20 + 12, 5*r - 3*z = -6. Let t be 1 + 2 - (-16)/(-5). Is t greater than r?
False
Let d = -359.1 + 359. Which is smaller: d or 0.033?
d
Suppose -4 = -w - w. Let a be (8 + -4)/(1/w). Suppose 4*q - 56 + a = 0. Is q not equal to 12?
False
Let p = -67 - -67.157. Is p bigger than -1?
True
Let r = 84090/17 - 4948. Is -1 != r?
True
Let s(y) = 2*y**2 - 31*y + 11. Let j be s(15). Let z(r) = -r + 19. Let a be z(15). Suppose -5 = -p + 2*t - 3, -4*p = -2*t + a. Is j greater than p?
False
Let l be 76/20 + 16/(-20). Let y = 2921/5 + -580. Which is smaller: y or l?
l
Suppose 12*b - 10715 = 17*b. Let v be (-3 + 2518/840)*b. Let i = v + -76/15. Which is smaller: -1 or i?
-1
Let j be (-420)/175*1/16. Do 0 and j have the same value?
False
Suppose 0*z - 4*z = -20. Let w = z - 4. Which is bigger: 3/10 or w?
w
Suppose -6302 = -8*j + 12530. Let f = j + -16542/7. Which is smaller: -9 or f?
f
Let d(q) = -33*q**2 + 10*q - 12. Let c be d(1). Is -248/7 < c?
True
Let i = -196/15 - -38/3. Let g(l) = l**3 + 4*l**2 + 1. Suppose -d + 0 = 4. Let h be g(d). Which is bigger: h or i?
h
Let w = -38 - -40. Let m be 6/w*(-16 - -15). Let n be m*(2 - 3/9). Does 2 = n?
False
Let h = 38 - 38. Suppose -24*i + 7*i - 306 = h. Is -18 smaller than i?
False
Let p(s) = s**3 + s**2 - s - 1. Let n be p(-1). Suppose -12*t + 9*t - 66 = n. Is 0.2 smaller than t?
False
Suppose 0 = -9*j - 13*j - 429 + 407. Suppose 4*c - 2*s = 26, -s = c - 0*s + 1. Are c and j unequal?
True
Let a(s) = 4*s - 2*s - 3*s - 4. Let k be a(-4). Let x(m) = m**3 + 18*m**2 - 19*m. Let h be x(-19). Are h and k unequal?
False
Let d(n) = 4*n**2 - 122*n - 67. Let s be d(31). Is s at least -5?
True
Let u be 10/6 + 95/15 + -6. Suppose 0 - 1 = 3*f - 2*x, 2*x = -u. Do -1/91 and f have the same value?
False
Suppose 21*l + 4*l - 19450 = 0. Is l < 778?
False
Suppose 2*q + 2*l - 4 - 14 = 0, 5*q = -4*l + 40. Let n(k) = -k**3 - 6*k**2 + 3. Let g be n(-6). Let s be (4 - q)/(g/3). Which is bigger: s or -4/11?
s
Suppose -13 = 2*h - 3*w, 2*w + 42 = -2*h - 3*h. Suppose 0 = -i - 3 - 3. Which is smaller: h or i?
h
Let o = 2461 + -440516/179. Which is smaller: -1 or o?
-1
Let o = 78 - 11. Let y = o - 70. Which is smaller: y or 0?
y
Let n(h) = -h**3 + 9*h**2 - 7*h - 4. Let t be n(8). Suppose -3*q = -t*r - 4*q + 11, 21 = 4*r - q. Let c = -1117/2 - -562. Which is greater: r or c?
r
Suppose 49*a - 46*a - 5*v - 212 = 0, 0 = -4*a - 2*v + 274. Which is bigger: -0.1 or a?
a
Suppose 4*x = -352 + 396. Let w = -2 + 15. Is x at least w?
False
Let u = 407 - 406. Let s = 0.4 + -0.3. Which is smaller: u or s?
s
Suppose 2*g - 324 = 4*b, 4*g = 3*g + 4*b + 158. Does 167 = g?
False
Let f be -10 - (-11)/((-33)/(-1827)). Is 601 != f?
True
Let g = 312 - 312.14. Let k = 13 + -12. Is k at most g?
False
Let a(k) = 19*k - 57. Let z be a(6). Suppose 10*y - 75 = -2*t + 5*y, -t + z = -4*y. Which is bigger: 2/5 or t?
t
Suppose 5*n = -2*v - 12, -4*n = -3*v - 108 + 90. Suppose 2*k = q + 2, -4*q + 13 = k - 6. Let o be (q/v)/((-28)/(-18)). Which is smaller: o or -1/4?
o
Let v = 10 - -2. Let z(k) = 3*k - 9 - 4 - k**2 + v. Let g be z(2). Is 2 less than or equal to g?
False
Let u = 22 - 14. Suppose -x = -11 + u. Let k(i) = i**3 - 6*i**2 + 5*i - 3. Let g be k(x). Which is smaller: g or -1?
g
Let g = 53/16 + -2735/816. Suppose -32 = -0*v + 4*v. Let q be (-6)/(-4) - (-12)/v. Is q less than g?
False
Let t be (0 - -2)*(4 + -2). Suppose 6*n - t = 2*n. Let r be 4/10 - (-1800)/12375. Which is smaller: n or r?
r
Let u = -49 - -48. Let x = 0 - -2. Let p = x + u. Which is bigger: p or 2/9?
p
Let f = 18/1159 + -46594/15067. Which is greater: f or -3?
-3
Let f = 0.036 + 22.964. Let h = 78 - 55. Let w = h - f. Do 1.9 and w have the same value?
False
Let o be 5/30*314 - (-28)/(-21). Is o bigger than 48?
True
Suppose 0 = 4*k + 4*x + x + 3, 3*x - 3 = 0. Let r(m) = -3*m**3 - m + 16*m**2 + 15 + 4*m**3 + 2*m. Let p be r(-16). Which is greater: k or p?
p
Suppose 2*l + i - 27 = 0, 2*l = -5*i + 18 + 13. Suppose -4*d + 1 = l. Are d and -4 equal?
False
Let w(q) = -10*q + 139. Let u be w(26). Which is bigger: u or -122?
u
Let b = -2.43 - -1.43. Are -187 and b equal?
False
Let j = -2744 + 2644. Is j greater than -1302/13?
True
Let i(x) = -x**3 + 9*x**2 + 3*x - 20. Let n be i(9). Suppose -q + 28 = 3*z, -59 = z - 5*z + 3*q. Which is bigger: z or n?
z
Let f be (2 - 1/(-1)) + 3. Let l = f - 1. Let a be (l - 1) + -3 - 0. Is a less than or equal to 2?
True
Suppose -3191 = 8*y - 527. Are y and -333 nonequal?
False
Suppose 0 = -d + 3*d + 2. Let i be ((-6)/(-2) - (-6)/(-1))/(-1). Let h be (-156)/(-207) - 2/i. Which is smaller: d or h?
d
Let c(k) = -k**3 - 10*k**2 - 23*k + 3. Let i be c(-4). Is i >= -2/289?
False
Let p = -0.044 - -5.744. Is -0.3 less than p?
True
Let z = 324 + -227. Let k = z + -95. Are -59 and k non-equal?
True
Let b = -35 - -30. Let s = -1.2 - b. Let d = -3.9 + s. Which is bigger: 10 or d?
10
Let k = 32.2 + -34. Let o = 2 + k. Which is smaller: o or 2?
o
Let w = -0.028 - -0.128. Let n = -1227.92 + 1206. Let i = 0.08 - n. Is w less than i?
True
Let s be 34/(-9)*6/8. Let f(l) = -4*l**2 - 92*l - 91. Let b be f(-1). Which is smaller: b or s?
b
Let q(p) = p**2 + 11*p - 9. Let c be q(-6). Let d = -129 + c. Let z be ((-4)/(-6))/((-16)/d). Is 7 > z?
False
Let w be (-5 - -3) + 4 - -1. Suppose -4*s = -s - w. Let t(o) = -7*o - 1. Let q be t(s). Which is smaller: -0.1 or q?
q
Let y = -4/19 + -37/95. Is y smaller than 8?
True
Suppose 8*m + 8*m = 11*m. Does -3 = m?
False
Suppose 4*i - 248 = 3*m, 3*i + 3*m = 5*i - 124. Suppose -i = 12*w + 34. Which is smaller: w or -13/2?
w
Let s be (0 + -3)/((-1)/3). Suppose 2*d + s = -d. Let y be (-9)/((d - -3) + 1). Which is bigger: -8 or y?
-8
Let s = -1.81 - -1.91. Let o = 3.166 - 0.066. Let m = s - o. Which is smaller: 4 or m?
m
Let s = 16 + 4. Let g = -18 + s. Let j be (-2 + g - 0)*1. Which is smaller: j or 1/32?
j
Let h be (-2)/10 - 48/(-15). Suppose h*n = -n + 8. Suppose 0 = n*f + r + 2, 5*r - 4*r = 0. Which is greater: f or 1/7?
1/7
Suppose 3*z = 2*z - 5*g + 17, 4*z + g - 163 = 0. Let f = z - 42. Is 0 at most f?
True
Let u(p) = 2*p**2 - 4*p. Let c be u(2). Suppose 3*d - 6*d = c. Which is greater: d or -22?
d
Suppose 12 = -z + 7. Let v be (-3 - -3)*(-2 + z/(-3)). Which is smaller: -5/16 or v?
-5/16
Suppose p = -696 + 697. Which is smaller: 2/5545 or p?
2/5545
Let q be (-1840)/6*(72/(-30) - 0). Is q at least as big as 736?
True
Let p = 3166.77 - 3166. Is -5 at least p?
False
Let d = -1.37 + -0.63. Is d at