4*w + 6. Let b(a) = -9*a - 13. Let s(c) = -3*b(c) - 7*p(c). Let h be s(-6). Suppose -h*m = -6*m - 6. Which is greater: m or -1?
-1
Let l be (1024/192)/(2/(-3)). Which is smaller: -70/9 or l?
l
Suppose -6*f = -11*f + 30. Let r = 0 - -4. Which is bigger: r or f?
f
Suppose 30 = -3*j - 2*j. Let d be 6/(-20)*2/j. Let w = d + -27/70. Which is smaller: 22 or w?
w
Let i = -0.27 - -0.21. Let a = i - -0.07. Is a at least -0.2?
True
Let l(b) = 3*b**3 + 7*b**2 + 2*b + 2. Let p be l(-3). Which is smaller: p or -16?
p
Let s = -1284 - -1269. Is -16 not equal to s?
True
Let v be (0/(-4))/(1 - 2). Suppose -4*d = f - 9, v*f - 20 = -4*f. Which is smaller: -1/45 or d?
-1/45
Let p be (1 - (3 + -1))*(-69 - -69). Do p and 2/1457 have different values?
True
Let f = -0.062 - 6.738. Let i = 1.8 + f. Let b = 5 + i. Which is smaller: b or -4?
-4
Suppose 3*y = -5*b + 233, y - 69 - 116 = -4*b. Is -4 < b?
True
Suppose -2 = -2*g + 10. Suppose q - 20 = g*q. Let n = -36 + 35. Is n at least q?
True
Suppose 0 = 3*t - 0*t + 5*s + 6, 0 = -4*t + 2*s - 8. Let y = 463 + -3709/8. Is y greater than t?
True
Suppose 0 = -2*v + 5*s + 10 - 85, 0 = -2*v - s - 45. Which is smaller: v or -170/7?
v
Let d be 225/27 + 12/18. Which is greater: d or 0.92?
d
Let t be (1 - 2)*(-44)/(-2). Suppose 98 = 2*a - 4*a. Let q = a + 28. Are q and t equal?
False
Let a = -1.3 + 1.265. Let z = a - -0.035. Which is bigger: z or 8?
8
Suppose 14 = -4*y + 50. Suppose -7 = -y*t + 2. Is t less than or equal to -16?
False
Let q = -37/949 - 14/73. Let b be 30/((-14)/(-63) + (-32)/(-18)). Let m be (-2)/b + 13/(-15). Is m at most as big as q?
True
Suppose 0 = -4*y - 180 + 540. Let c be (-1*y/5)/2. Is c bigger than -9?
False
Let n = -97 - -164. Which is bigger: 69 or n?
69
Let r = 7.65 + 0.35. Let h = r - 7.7. Are -0.4 and h non-equal?
True
Let j(f) = f + 7. Let p be j(-5). Let d be -62 - (p/(-1) - 0). Let w be 1/6*d/45. Is 1 >= w?
True
Suppose 19*p - 15*p = 3640. Let w be 675/p - 3/6. Let m = w - 5/13. Is m greater than or equal to 5?
False
Suppose -9 = s + 6. Let b = 2 + s. Let l be b/5 - 6/15. Is -1 equal to l?
False
Suppose 0 = -2*f + 5 - 23. Let b = 39.018 + -39. Let a = -0.118 + b. Is a != f?
True
Let r = 3/28 + 13/140. Let n(w) = 3*w**2 + 24*w + 2. Let l be n(-8). Let o(z) = -3*z**2 + 5*z + 2. Let x be o(l). Which is smaller: x or r?
x
Let v be -1 + 2 + 8/4. Suppose -v*b + 2 = -5*b. Does -2/71 = b?
False
Let a = 0.083 + -0.175. Let h = a + 17.092. Which is bigger: 4 or h?
h
Let a = -32815/22 + 1492. Which is bigger: a or 1?
1
Suppose 9 = 5*y - 1. Let n = -3 + y. Let m be (0 + n)*13/(-143). Is -1 > m?
False
Let o(i) = 10*i - 28. Let c(y) = -20*y + 57. Let w(t) = 4*c(t) + 9*o(t). Let l be w(6). Is l bigger than 35?
True
Suppose 10*u = 8*u - 386. Is u not equal to -191?
True
Let x = -86 + 88. Let s be (-2)/(-12)*x*4/90. Which is greater: -1 or s?
s
Let l = -46 + 10. Which is smaller: l or -184/5?
-184/5
Let w(y) = y**3 + 7*y**2 - y - 8. Let g be w(-7). Let s be ((-8)/4 - g)*-1. Let c = 51/5 - 857/85. Which is smaller: c or s?
c
Suppose 0 = y - 0*y + 4. Let p = 36 - -4. Let b be (17/(-15))/(2 + p/(-24)). Is y <= b?
True
Let j(b) = b**3 - 12*b**2 - 14*b + 14. Let s be j(13). Let r = s + -7. Suppose -2*w + 4*i - 10 = 0, i - 13 = -3*w + 5*w. Is w less than r?
True
Let n(q) be the third derivative of -q**6/720 - q**5/10 + q**4/24 + 10*q**2. Let u(s) be the second derivative of n(s). Let v be u(-14). Is v >= 7?
False
Suppose -52 = 12*h - 232. Which is smaller: 111/7 or h?
h
Let h = 1442 + -1441. Is 7/27 greater than h?
False
Let x(m) = -2*m - 1. Suppose -2*w - 3 = 3*t - 6*w, -13 = 2*t + w. Let z(a) = 2*a. Let j(u) = t*z(u) - 4*x(u). Let s be j(-3). Which is smaller: 9 or s?
9
Suppose 26*j - 13*j = 0. Which is greater: -5/29 or j?
j
Let t be ((-2)/(-20))/((-8)/15). Let s = -33/80 + t. Suppose 161*h - 193*h = 64. Is s >= h?
True
Suppose 0 = -0*d + 5*d - 15. Suppose -5*w = -d - 2. Is 39 less than or equal to w?
False
Let p = -117 + 126. Let j = 1 + -1. Do p and j have different values?
True
Let m = 20 + -16. Is -15 != m?
True
Suppose -49 = -2*k - 5*k. Let n(z) = -3*z - 3. Let r(s) = -s**3 - 4*s**2 - 3*s - 3. Let x be r(-3). Let i be n(x). Is i bigger than k?
False
Let j(g) be the first derivative of g**2 + g + 50. Let s = -15 + 10. Let o be j(s). Which is greater: o or -8?
-8
Let a = -86 - -85. Is a greater than or equal to 724?
False
Let x be (-6)/(-3) + 56/8. Let k be (0 - 0 - -9)*1. Let d be (k/2)/((-1)/(-2)). Is d < x?
False
Let p = 349 - 180. Is p bigger than 170?
False
Let a(m) = -2*m - 6. Let t be a(-8). Suppose -t = 3*l - 7*l - 2*n, 2*l - 5*n + 13 = 0. Let c = 0.075 + -0.085. Which is smaller: c or l?
c
Let q = 1302 - 1301. Which is greater: q or 34?
34
Let g be 21/(-6)*-2 - 2. Suppose -11 + 1 = g*p. Let z be (13 - 4)*(-1)/4. Which is greater: z or p?
p
Let g = -16 - -10. Let f be 9/g*(-4)/3. Let c be 14/77*f/4. Is c bigger than 0?
True
Let g(p) = -5*p**2 + 3. Let m be g(-3). Let h = -24 + m. Let u be 4/h*15/10. Which is smaller: u or 1?
u
Let b(z) = 3*z**2 - 2*z + 2*z**2 + z + 5 - 10 + z**3. Let w = 10 + -15. Let j be b(w). Which is smaller: j or -1?
-1
Let w = -62.22 - -62. Is 0 greater than w?
True
Let g = 760 - 758. Which is bigger: g or 42/67?
g
Let x = 4.838 + -4.8. Let l = -5.038 + x. Is -0.3 not equal to l?
True
Let k = 46 - 45. Which is smaller: 7 or k?
k
Let d be 6/15 - 34/10. Let r be 0 - (1/d)/(5/15). Is r smaller than 3?
True
Let o(h) = 2*h - 57. Let t be o(16). Let g be 15/t - (-129)/165. Suppose 1 + 0 = -q. Which is greater: g or q?
g
Let y(w) = -w**3 - 10*w**2 + 21*w - 35. Let j be y(-12). Is j at most -11/59?
False
Let z = -17/2 - -7. Let t = z + 23/14. Which is greater: -1 or t?
t
Let c = -29.83 + 29.73. Which is greater: -1.33 or c?
c
Let u = 89 + -48. Let g = u + -35. Suppose 7*h - 9 = g*h. Is 9 greater than or equal to h?
True
Suppose 13 - 2 = 5*t + 4*i, 2*t + 5*i - 1 = 0. Let h be (-7)/3 + 1/3. Let r be (h/8)/(1/(-4)). Is t > r?
True
Let i be (-1)/(-4 + 129/32). Let y be 9/12*-3*i/(-180). Is y at least -0.1?
False
Let z = -20 - -8. Let x = z + 7. Let h = x + 3. Which is smaller: -1 or h?
h
Let s = 43.079 + -0.079. Let m = s - 43.06. Which is bigger: 0.8 or m?
0.8
Let t = 18 + 1. Let b = -322 - -302. Let h = t + b. Which is greater: h or 2/17?
2/17
Let h = 1081768/337 - 3210. Is -1 smaller than h?
True
Let o be 1*3*(-10 - 1). Which is smaller: 7 or o?
o
Suppose 5*w + 8 = -l, 2 + 38 = -5*l + 4*w. Let i = -4562/5 + 912. Is i less than l?
False
Let a = 1296 - 1297. Suppose -4*h + 50 = 5*q, -3*q + 22 = 3*h - 5. Suppose -q = -b - b. Is b < a?
False
Let w = -409 - -387. Is w less than or equal to -33?
False
Suppose -3*s - 51 = 3*m, 0 = -0*m + 5*m - 4*s + 40. Suppose -2*o + 38 = 5*q, q = -2*o - o + 18. Suppose -n + 7 = q. Is n at least as big as m?
True
Let b be (-351)/6 - 39/(-26). Does -57 = b?
True
Suppose x - 589 = -18*x. Is x equal to 30?
False
Suppose -2*x - 2*d = -6, 4*x - 5*d + 15 = 3*x. Suppose -9*b - 9 - 9 = x. Which is bigger: b or -28/11?
b
Suppose -42*i = -1704 - 312. Which is smaller: 34 or i?
34
Let m(x) = -7*x - 12. Let f be m(-6). Let v be ((-15)/f)/(2/12). Is v equal to -9/4?
False
Let f(x) = -29*x - 495. Let k be f(-17). Are -9/13 and k nonequal?
True
Let s be (-3)/(-2) + (-41)/30. Which is smaller: s or -2/13?
-2/13
Suppose 7*t = -3*t - 310. Let g = 11/183 - 5623/183. Let j = t - g. Do j and -0.1 have the same value?
False
Let a = 3/128 - -211/1920. Let l = -46.7 + 46. Which is bigger: l or a?
a
Let g be -1 - (-504)/((-4)/(-2)). Let c = -3763/15 + g. Let n be 4/(-6)*12/28. Which is bigger: c or n?
c
Let q(b) = -24*b - 93. Let y be q(11). Which is smaller: y or -356?
y
Suppose -3*m + 8*m - 10 = 0. Let d be (2 - 101)/(m - 1). Let y = 890/9 + d. Is y at most as big as 0?
True
Suppose 270 - 54 = 6*z. Let x be (-10)/(-104)*(-1 + z/40). Which is bigger: -1 or x?
x
Let x = -9.37 - -4.37. Let l = 0.6 + -0.7. Which is smaller: l or x?
x
Let d = -229 - 114. Are -343 and d nonequal?
False
Let f = -5 + 10. Let n be 1 + (-10)/4 - (-34)/(-68). Let b be (-8)/n*1/f. Is b less than 1?
True
Let z be (-13)/(-4)*(1 + -12). Suppose 31*s + 30 = 1146. Let u = s + z. Which is bigger: -1 or u?
u
Let g be 6 - (-2 - (-3 + -2)). Suppose g*x = 2*m - 4 - 1, -4*x - 8 = -3*m. Suppose -16*k + 8 = -12*k. Are m and 