.18 - 151. Which is smaller: 3 or g?
g
Let j = -2482 + 265572/107. Which is greater: -1 or j?
j
Let h(y) = 2*y + 8. Let g be h(-4). Which is bigger: g or 3/5?
3/5
Suppose 0 = -8*w + 100 + 556. Let u = w - 80. Which is smaller: 1/2 or u?
1/2
Suppose -3*h - 4455 = -30*h. Which is bigger: h or 166?
166
Suppose 54 = 3*l - 0*l. Suppose 5*q = 2*q + l. Suppose -q*g = -3*g + 6. Is -1 at least as big as g?
True
Let j(d) be the second derivative of d**5/20 - 3*d**4/4 + 5*d**3/3 - 6*d**2 + 9*d. Let s be j(8). Let w be ((-2)/s - -1)*2. Which is smaller: 2 or w?
w
Let a = 1952 + -745663/382. Which is smaller: 0 or a?
0
Suppose -4*x - 1676 = -4*i, i + 3*x - x - 410 = 0. Is i > 416?
False
Suppose -n + 32 = -3*n. Let z be (-1)/(-26)*n/(-2). Suppose -2*c + 6 = 3*r, 6*r + 6 = r + 2*c. Which is smaller: r or z?
r
Suppose 5*c - 5*h = 10, 0 = -5*c + 3*h - 5*h - 4. Is c not equal to 1/442?
True
Let u = -73 + 76. Let c = 171 + -170. Is u at most as big as c?
False
Let a = 24.4 - -11.4. Let o = -36 + a. Which is greater: -29 or o?
o
Let p(w) = -2*w - 12. Suppose 0 = n - 5*n - 4, -3*q - 22 = 4*n. Let c be p(q). Is c <= 3?
True
Suppose 0 = -3*t - 116 + 203. Let o = 144/5 - t. Is o at most as big as 1?
True
Let r = -0.01 - 8.09. Let d = 41.1 + -41. Let x = d + r. Is x at most 1/2?
True
Let n = -44 - -24. Let d = n - -20. Suppose -i + 8 = -d. Is 8 equal to i?
True
Suppose -4*w + 349 = 3*g, -g - 2*w + 116 = -1. Suppose 0 = -2*f - 3*f + 5*b + g, -f - b = -25. Is f less than 24?
False
Let d be (-4)/(-6)*-3*(-11)/22. Is 1/391 less than d?
True
Let b = 0.02 + -1.12. Let j = -3.9 + b. Let n = -4 - j. Is n at least -6?
True
Let q be (-12 - -16 - 10) + (-2 - -7). Which is smaller: -1/1168 or q?
q
Suppose -985 = 5*s + 5*i, -26*s + 4*i - 424 = -24*s. Is s greater than or equal to 4?
False
Let x = 216.1 + -39.1. Which is greater: -1 or x?
x
Let p be 1708/49 - 0 - 1/(-7). Is 35 greater than p?
False
Let s be (-4)/(-8) + (-15)/(-10). Let i be ((-2)/1 + s)/2. Which is bigger: -4/17 or i?
i
Suppose p + 13 = 45. Suppose -p = -f + 3*f. Is -17 at most f?
True
Let t = -0.0094 - -0.4794. Is -1 < t?
True
Let z be ((-3)/4)/((-2)/(-8)). Let k be 2 - (z - -5 - 1). Which is smaller: -6/25 or k?
-6/25
Let i = -1532/459 - -2/459. Suppose 0*f = 3*f - 12. Let t(p) = -p**2 + 3*p. Let d be t(f). Which is greater: d or i?
i
Let g = -278 - -277. Which is smaller: 170 or g?
g
Suppose 4*u = -3*u - 210. Let t be 4/u*57 + 0/(-1). Which is greater: -7 or t?
-7
Let n = -29 - -31. Let t be 80/32*n/(-10). Is t < -2?
False
Let z = 64 - -98. Let f = -327/2 + z. Are f and -2 equal?
False
Let u = -2332445/5292 + 1763/4. Which is greater: 1 or u?
1
Let w = -9 - -9.1. Let c = -1.08 - -4.08. Is c > w?
True
Let q = -4 + 2. Let w be q + 1 + -2 + 2. Let c be 9/6 + (-6)/24. Is w at least as big as c?
False
Let q(f) = -f**3 - 8*f**2 - f + 7. Let b be q(-6). Let z = -57 - b. Is z at most as big as -3?
False
Let v be 3/(-62)*220/165. Do -1 and v have the same value?
False
Let y be (-188)/329*(-3)/((-2634)/(-7)). Which is smaller: y or -1?
-1
Let j(g) = -g**2 + 6*g + 7. Let k(x) = 3*x**2 - 19*x - 22. Let y(n) = 11*j(n) + 4*k(n). Let t be y(11). Is -2/51 <= t?
True
Let x be (2/(-4))/(158058/913008). Let q = 2/2927 - x. Which is bigger: q or 4?
4
Suppose 4*z - 39 = 61. Let j be (-2)/(-3) + z/(-24). Let b = 2.27 + -4.27. Is j > b?
True
Let a(p) = p**2 + 5*p + 1. Let h be a(-9). Suppose 2*s - 3*r = 66, 0 = -s + 3*r + 15 + 15. Which is smaller: s or h?
s
Let r = 20/9 - -19/36. Suppose 0 = n - 2*l + 28, -3*n - 3*l + l = 44. Let q be 4/n + (-58)/(-18). Is q less than or equal to r?
False
Let l be (-2)/15*-8*(-85)/(-102). Let y = 0.03 + 1.97. Which is bigger: l or y?
y
Suppose 0 = 5*o + 5*g - 2*g + 2, g = 3*o - 10. Let i = 5 + o. Suppose -5*n = 2*m - 16, 5*m - 4*n - 14 = -i. Which is bigger: m or 6?
6
Let g be (-57)/(-12) - (-21)/(-28). Suppose g*n = u + 6, -2*u - 3*u - 30 = -5*n. Is u smaller than 1?
True
Let t be 4634/77 + (-8)/44. Which is greater: 46 or t?
t
Let c = -24514/25575 - -98/275. Is c < 0?
True
Let a be 26/(-12) - (-13)/78. Let u = -4 - a. Let w be u/8*(-12)/(-29). Is w not equal to 0?
True
Let h(s) = s**2 + 4*s + 3. Let x(o) be the first derivative of -5*o**3/3 + 9. Let v be x(-1). Let w be h(v). Is 7 less than or equal to w?
True
Let v = 7285.21 + -7316. Let z = v - 0.21. Let b = -31 - z. Is b greater than -3/8?
True
Let h be ((-131222)/2019)/13 + 7 + -2. Do h and 1 have the same value?
False
Let t = -1018 + 1019. Is t greater than -0.88?
True
Let k = -2 - -1. Let h be 2*k/(-30)*3. Suppose 182*g - 180*g = 0. Which is bigger: g or h?
h
Let r = 58.9 - 58.1. Which is greater: r or 25?
25
Suppose -4*d + 18 = 2*x, x = -2*x - 2*d + 19. Suppose 3*b + 2 = -4*r, 0*b - 14 = x*b - 4*r. Is b not equal to -0.6?
True
Let b = 8 + -4. Let n(r) = b - r - r**3 + 3*r**2 + r**2 + 7*r. Let k be n(5). Is 8 > k?
False
Let l = -4236/13 + 351458/1079. Is l < -1?
False
Let y = 130 - 61. Let q = -65.1 + y. Let b = -4 + q. Does -1 = b?
False
Suppose -24*d - 13*d + 1480 = 0. Are d and 13 nonequal?
True
Let i = 1 - -28. Suppose 4*a - 2*b + 34 = 0, 3*b = -2*a - 0*b - i. Let w be a/525 - (-2)/7. Which is greater: w or 1?
1
Let m be 17 + -93 - (1 + -2). Let t = m - -74. Is t less than or equal to 4?
True
Let l(o) = -o**2 - 18*o + 8. Let q be l(-15). Suppose -3*k + 5*w + q = 0, 0 = 5*k + w + w - 47. Is 8 < k?
True
Let o(p) = p**3 - 3*p**2 - 7. Let m be o(3). Suppose -3*t = -8*t - 5*j - 50, t + 5*j + 22 = 0. Is m less than or equal to t?
True
Let t be (26 + 4)/((-130)/200). Is t equal to -47?
False
Suppose -51 = 37*s + 14*s. Do s and -19.7 have different values?
True
Suppose 7*j - 4 = -11. Is j at most as big as 2/11?
True
Suppose -2*b - 56 = -4*p, -1 = 5*b - 11. Let i = p - -4. Is 18 at most as big as i?
True
Let o = -2.07 + 0.07. Let w = 3.7 + o. Let k = 1.7 - w. Is k less than or equal to -0.06?
False
Suppose -18 = -0*n - 3*n. Let r = n - 2. Suppose 2*v = -9*k + 4*k + 11, 3*v + 18 = r*k. Is v greater than -6?
True
Let x = 35.44 + -35.3. Are 0 and x equal?
False
Let t = 0.83 + -1.14. Which is smaller: 2/3 or t?
t
Let r = 70 - 75. Let f(w) = -w**3 + 4*w**2 + w - 3. Let g be f(4). Let l = g - r. Is l < 2?
False
Let x be 6*6/1140*-2. Which is smaller: 1/4 or x?
x
Suppose -28 = -b - 11. Let h = b - 14. Suppose -h*n = 5*k + 25, -2*k + 5 = -3*n - 3*k. Which is smaller: 4/5 or n?
n
Suppose 0 = 4*y - 6*y - h + 4, -5*h = 0. Let o be (y*36/8)/1. Let u be 10 - (2 + (1 - -4 - 4)). Is u <= o?
True
Let u = -28 - -35. Let x = 10 - 3. Is x != u?
False
Let w be (-6)/(-4)*2/(-12). Let r = 2755 - 2763. Do w and r have the same value?
False
Let u = -2353 + 160001/68. Let z = -135/748 - u. Is z < -1?
False
Let p be 22/120 + (-6)/24. Suppose -4*d = -54 - 106. Let a = -41 + d. Which is bigger: a or p?
p
Let k = -545 - -553. Which is bigger: k or 1/5?
k
Suppose 0 = 4*r - 0*r - 4. Let u = -3151/6 + 525. Is r <= u?
False
Let o be (-34)/119 - (-15)/21*349. Is o != 248?
True
Let l be ((-4)/8)/((-1)/(-12)). Suppose -4*s = -s + 6. Let g be (l - (-1 + s)) + 3. Which is smaller: g or -1/5?
-1/5
Let q = -71 - -46. Let b be (-10)/q + 2/(-5). Let r = -42 + 211/5. Do b and r have the same value?
False
Let j(t) = -3*t**2 + 2*t + 19. Let u(r) = 2*r**2 - r - 13. Let o(g) = -5*j(g) - 8*u(g). Let c be o(-4). Let q = 4/71 + 264/355. Which is smaller: q or c?
q
Suppose -3*h = 88*n - 89*n + 19, 95 = 5*n - 4*h. Are 102/5 and n unequal?
True
Suppose -3*t + 2*o - 386 = 0, -t - 12*o = -8*o + 152. Are -132 and t equal?
True
Let d be (-12)/130*(-2)/(-3). Suppose -4*g + 38*u - 42*u = -4, -3*g + 3*u - 9 = 0. Which is smaller: d or g?
g
Let c(t) = -2*t**2 - 20*t + 4. Let s be c(-12). Let y be s/(-16) + 3/(-4). Suppose 0 = -2*g - g + 9. Is y bigger than g?
False
Let z(f) = f**3 - 3*f**2 + 3*f. Let c be z(2). Suppose -3*i = -4*y - 6, -y + 1 = -c*i - 0. Let x be (-119)/(-70) + (y - -1). Is 0.2 at most x?
False
Let j = 61 - 56. Suppose -5*p = 3*v + 20, 0*p - j*v - 29 = 4*p. Is p equal to 2/41?
False
Suppose -19*g - 6 = -6. Which is bigger: g or 49?
49
Let c(k) = -2*k**3 + 9*k**2 + k - 20. Let y be c(4). Let m = -5024/163815 + 2/2445. Which is bigger: y or m?
y
Let p = 16 - 8. Suppose 0 = -0*t + p*t - 32. Suppose -t*h + 92 = 5*r, 0 = r + 4*r + h - 83. Which is smaller: 15 or r?
15
Let a = -4298/3 - -14