4. Which is bigger: w or 0.6?
0.6
Let c = 615 + -560. Which is smaller: -0.3 or c?
-0.3
Let h(c) = -18*c + 7. Let i be h(4). Let b = -32 - i. Let g = -34 + b. Are g and 3/7 equal?
False
Let r = -832 - -831. Is -8 smaller than r?
True
Let z be 3/1 + (-1422)/486. Let x(j) = j**3 + 19*j**2 + 17*j - 17. Let c be x(-18). Does c = z?
False
Let b = 268 - 268.11. Is b > -5/4?
True
Let w be 26*-3 - (-1)/2*-2. Let j = w + 49. Which is smaller: -31 or j?
-31
Let f(o) = o**3 - 8*o**2 + 4*o + 20. Let y be f(7). Is y less than 7?
True
Let h(g) = -g - 7. Let z be h(7). Let u = 110.7 - 116. Let q = -4.3 - u. Is q bigger than z?
True
Let y be -3*5/135*(-1 + 22). Is 1/10 < y?
False
Suppose 18*o + 3684 = -2526. Does o = -346?
False
Suppose -417 + 1642 = 7*s. Which is greater: 177 or s?
177
Let r = 70 + -60. Let c be 134/(-469)*1/(r/(-4)). Which is bigger: c or 0?
c
Let x(v) = -2*v**3 - 4*v**2 - 8*v - 9. Let n be x(-2). Let u = 1 - 4. Is u less than n?
True
Suppose -177 = -5*p - 2*k, -5*p + 113 + 63 = k. Suppose 0 = -10*f - 58 + 418. Is f bigger than p?
True
Suppose 5*u - 111 = -x + 50, 0 = -5*u + 2*x + 158. Suppose 31*j - 15 = u*j. Which is smaller: -2/7 or j?
j
Let g be (11577/34 - -18)*(-1 - -3). Which is greater: g or 716?
g
Suppose 4*x - c = -103, x - 52 = 2*x + 5*c. Let n be 2/x*6*207/24. Is -3 at least n?
True
Suppose -15*t + 13*t + 112 = 0. Let h = t + -55. Which is smaller: -3/40 or h?
-3/40
Suppose 9 = -2*d + 6*y - 3*y, 2*d - 11 = -y. Let j = -602 + 359. Let c be 1*3*d/j. Is 0 less than c?
False
Let b = 0.7 - -0.3. Let u be -1 - (26/(-12) - (-48)/96). Which is smaller: u or b?
u
Let j = 1.36 + -0.16. Let t = 22.2 - 23. Let s = j - t. Which is bigger: s or -0.3?
s
Let z(r) = 4*r + 8. Let l be z(-2). Let v(x) = -x**2 - 7*x + 2. Let s be v(-6). Let a be -2*(1 + (-6)/s). Which is bigger: a or l?
l
Let v be (-7)/(-4) + (-836)/176. Which is bigger: v or 67?
67
Let a be (-1)/(0 + (-119)/(-2)). Let y be (-6 - -6)/((5 - 4) + -2). Which is bigger: y or a?
y
Suppose -13*g + 4108 = -39*g. Which is greater: -160 or g?
g
Suppose 0 = -5*o + 3*n + 27, -n = 3*o + 3 - 22. Let d be (-26)/(-2) + (3 - o). Which is bigger: 7 or d?
d
Let d be 3/((-3*(-8)/(-12))/(-10)). Suppose 3*o - d = 3*n, 3*n + 2*o - 2 = 3. Which is bigger: n or 7/3?
7/3
Suppose s + 1 = -3*x, x = 2*x - s + 3. Let l(o) = -o**3 + 6*o**2 + 9*o - 13. Let w be l(7). Let c be 132/(-48) - (-4 + w). Is c at most as big as x?
False
Let d(p) = -15*p + 20. Let t = 72 - 79. Let n be d(t). Is n bigger than 125?
False
Let p be 2/(-6) + 30/9. Let h = p - 2. Let d be 0/(-3) + h + 0. Which is smaller: d or 2/3?
2/3
Let d = 180 - 160. Let s be 8/(-28) + (-159)/7. Let l = s + d. Is l greater than -7?
True
Suppose 45 = 2*b + 3*b. Let g be (-3)/b*3/68. Which is smaller: g or 1?
g
Suppose 3*q - 4*g - 14 = g, 2*q - 2*g = 8. Let w be 4/2*q/(-9). Is w at most 1/6?
True
Let c(u) = -u - 11. Let j be c(-11). Suppose j = -3*n - n - 16. Let w be 0*(n + (-14)/(-4)). Which is smaller: w or 2/75?
w
Let c = -3 + 1. Let b = 0 + c. Let h = 176.7 + -177. Which is bigger: b or h?
h
Let g = -6186 + 6184. Let x be (1 + -1*1)/(-1). Which is bigger: g or x?
x
Let q(s) = 4*s + 51. Let y be q(-13). Which is smaller: y or 1?
y
Let x(j) be the first derivative of j**2/2 + 13*j + 2. Let q be x(-13). Which is bigger: 2/41 or q?
2/41
Suppose -2 = -5*s - j + 5*j, 2*s - 14 = -5*j. Let i be s + 0 + (-57)/24. Let z = 0 - -2. Is i less than z?
True
Let w = -1 - -2. Let q = -46 + -17. Let l be 2/(-14) - 135/q. Which is smaller: l or w?
w
Let f be (2/(-28))/(56/3248). Is f at most as big as -4?
True
Let v = 3/154 - 83/308. Which is smaller: -13 or v?
-13
Let v be (-32)/105 + (-2)/(-5). Let q = 0.58 + 68.42. Let h = 68.8 - q. Which is bigger: v or h?
v
Let d = 248/3 + -4220/51. Which is smaller: d or -0.1?
-0.1
Let p = -168052/9 - -18694. Are 22 and p non-equal?
True
Let r be 67 + -71 - (-7 + (1 - -2)). Let h = -792/875 - -6/125. Is r less than h?
False
Let s = -1.51 - -1.5. Let i be (-1 - -4)*2/3. Do s and i have the same value?
False
Let r = -119.84 + 120. Which is smaller: r or 0.07?
0.07
Suppose -2*o = -4*d - 5*o - 116, 0 = 4*o + 16. Suppose -4*w + 2*x = -2*x - 112, 3*w = 4*x + 85. Let b = d + w. Which is greater: b or 7/4?
7/4
Let c be 4 + (0 + 2 + -2 - 3). Let o be (-7)/(63/(-2)) + -183. Let s = o + 183. Is c < s?
False
Let x(u) = u**2 + 7*u - 8. Let m be x(-8). Suppose n - 1 = m, -3*g - g + 4*n - 40 = 0. Let z be -2 - -2 - g/18. Is 1/9 at most z?
True
Let m(n) be the first derivative of n**3/3 + 11*n**2/2 - 42*n - 57. Let u be m(-14). Are u and -5 equal?
False
Let z(k) = 43*k - 85. Let t be z(2). Is t equal to 2/281?
False
Let t = 74 + -73.938. Let a = t + -0.162. Which is smaller: 1/66 or a?
a
Let j = -3 + 2.54. Let o = -0.11 - j. Let b = -0.25 + o. Are b and -1 non-equal?
True
Let s(b) = 3 + 3*b - 6 + 4 - 5. Let n be s(3). Suppose 2 = -n*m + 12. Is 4/7 not equal to m?
True
Let f be ((-10)/(-5))/(-1 - 1). Let x = -2 + f. Let y be (60/16)/x*-4. Which is bigger: 6 or y?
6
Suppose 3 + 1 = 2*d. Suppose -j - 2*h + 36 = -53, 3*j - 271 = -d*h. Let f = 1091/12 - j. Is f <= -1?
False
Suppose -4*n + 9*n = 3*y + 4, 0 = -4*y + 8. Suppose 0 = -4*t + 2*w - 2, -5 = -n*w + 1. Let c be ((-1)/2)/(-7 + 451/66). Which is greater: c or t?
c
Suppose 4*y + 2*u + 20 = 0, 3*u + 16 = -2*y - u. Let l(g) = -2*g**2 - 7*g - 8. Let s be l(4). Let k = s + 64. Is k smaller than y?
False
Let l(f) = 2*f + 55. Let k be l(-23). Suppose -k*t + 66 = -11*t. Is -34 smaller than t?
True
Let c be 1*(-3 + -2 - -4). Let p(x) = x**3 - x. Let v be p(c). Which is bigger: 10 or v?
10
Let a = -867 - -1857/2. Let t = -19 + a. Let b = -44 + t. Which is smaller: b or -2?
-2
Let w(f) = 2*f**3 - 2*f**2 + 2*f. Let j be w(2). Let t = -4974 - -4988. Is j less than t?
True
Let y(j) = 3*j**2 - 18*j - 12. Let g(x) = -4*x**2 + 27*x + 18. Let o(l) = -5*g(l) - 7*y(l). Let c be o(-11). Is c bigger than -28?
False
Let k = -35/3 - -12. Let a be 4/(-17)*(-9)/(-18). Do k and a have different values?
True
Let r = 32 - 51. Let n = 19 + r. Which is smaller: -17 or n?
-17
Let l be -151 + (1 - 5)*-1 + 5. Is -142 greater than l?
False
Let a be -2*(-3)/2*(-3707)/(-33). Which is greater: a or -3/2?
a
Let m be (8/16)/(12/8). Do -0.233 and m have the same value?
False
Let g = 0.228 - 0.018. Let u = 0.3 - g. Let f = -726/7 + 104. Which is greater: u or f?
f
Let z be ((2 - 4) + 3)*(-30)/(-198). Which is smaller: z or 0.1?
0.1
Let k = -17 + 10.1. Let v = k + 3.9. Does -1.3 = v?
False
Let t = 3086 - 1114. Is t greater than or equal to 1973?
False
Let u(d) = -2*d**3 - 13*d**2 - 13*d + 3. Let i be u(-5). Is i != 0.2?
True
Let r(h) = h**2 + 17*h + 23. Let f be r(-15). Let m be (-2)/f - (2 - 604/336). Which is greater: -1 or m?
m
Let w be ((-35)/(-10) - 2)*2/(-3). Is 135 < w?
False
Suppose -3*i + 9*i = 162. Suppose -i - 43 = -7*d. Which is smaller: 11 or d?
d
Let m be 1/(-6) + (-4370)/(-12). Is m bigger than 365?
False
Suppose 0 = -0*f - 2*f + 3*b - 285, -5*b = 3*f + 456. Which is smaller: -145 or f?
f
Let h = -61618/141 - -437. Which is bigger: 1 or h?
1
Suppose 3*l + 3*s = -0*s - 9, -3*s = 2*l + 5. Let v = l + 12. Is v less than or equal to 2?
False
Let z = -821 - -836. Which is smaller: z or 198/13?
z
Let r be 3/(((-6)/8)/(-1)). Suppose 7 = -r*q + 3. Suppose 4*m = w - 6, -3*m + 0*w = -w + 5. Is q greater than m?
False
Suppose -3*h - 3 = 0, q - 4*h + 3*h = 189. Which is smaller: q or 189?
q
Let m(d) = d**3 + d - 1. Let g(t) = t + 2. Let u be g(-1). Let y(r) = 6*r**3 - 5*r + 5. Let k(h) = u*y(h) + 5*m(h). Let o be k(1). Is o > 10?
True
Let r = -62 - -62.016. Are r and -2/3 equal?
False
Let y be 9 + (-15 - 1) + 6. Let q be (-42)/8*(-6)/(-28). Which is bigger: q or y?
y
Suppose -z = 1 - 6, 2*n - z = 3. Suppose -4*u + k + 20 = 5*k, -5*k = n*u - 25. Is u <= -0.038?
False
Let r = -204 + 312. Let b = -119 + r. Which is greater: -2/3 or b?
-2/3
Let y(p) = p**3 - 3*p**2 + 2. Let b be y(3). Suppose -u = -4, b*q = 6*u - 2*u - 80. Are -0.1 and q nonequal?
True
Let r = 1.243 + -1.19. Let k = r - -1.027. Let d = k - 0.08. Is d equal to -2?
False
Suppose x - 5*t + 6*t = 1, -3*x - 5*t + 5 = 0. Is 2/505 less than or equal to x?
False
Suppose -3*s - 3*b - 57 = 0, 2*b = 2*s + 8 + 14. Which is smaller: -14 or s?
s
Let h be (-19712)/(-832) + 8/26. Are h