+ 57. Let y be j(9). Let c be (30/y)/5*14. Is c <= l?
True
Let f be 32/8 - (0 + 2). Suppose f*q - 14 - 14 = 0. Let v be 20/(-28) + (-4)/q. Which is greater: 1/17 or v?
1/17
Let c = 0.093 + -0.193. Let h = 6 - 3. Suppose 5*b + 2*w - 22 = 0, 7*w = h*b + 2*w - 7. Is c smaller than b?
True
Suppose 0 = 3*w + 9, 0*j = 4*j + w + 7. Is j at most as big as -3/25?
True
Let j(v) = 2*v + 3. Let m be j(1). Is 31/6 < m?
False
Suppose 17*u - 12*u - 65 = 0. Is u greater than 27/2?
False
Let w = -129.055 - 0.945. Which is bigger: w or -3?
-3
Let j = 228 + -249. Which is smaller: -32 or j?
-32
Let m(b) = 11*b + 23. Let s be m(-7). Which is bigger: s or 3?
3
Suppose -2*t - 25 = -7*t. Let z be (t + -2)*(1 - 4). Let s(b) = 2*b - 2. Let k be s(-3). Which is bigger: z or k?
k
Let r = -57 + 62. Suppose 5*f = -r*h - 5, f - 5*h = -h + 4. Which is smaller: -2/61 or f?
-2/61
Let u be 0/(-3) - 38/(-6). Let i(a) = 3*a**2 - 11*a - 1. Let g(t) = 2*t**2 - 5*t - 1. Let y(z) = 5*g(z) - 3*i(z). Let w be y(-9). Which is smaller: u or w?
u
Let y = 0.84 + -0.7. Let b = 0.03 - y. Let s = 9.11 + b. Which is greater: -1 or s?
s
Suppose 2*d = 3*i, d + 6 = -3*d + 3*i. Which is smaller: 7 or d?
d
Let o be 5/(-8) + (-99 - -102). Suppose 4*a - a = t + 6, 0 = -4*a - t + 15. Which is smaller: a or o?
o
Let h = -1475 - -1308. Is -165 less than or equal to h?
False
Let b = -168.8 - -170. Which is smaller: 2 or b?
b
Let u = 2279 + -2280. Which is greater: u or 23/3?
23/3
Let y be (-7)/1 + 14960/2144. Is 1 > y?
True
Let u = 713/37524 + -3/236. Which is greater: 1 or u?
1
Let g = 9.11 + -0.11. Let q = g - 8. Which is greater: q or -2/23?
q
Let o be ((-2)/(-60))/((-5)/(-5)). Suppose -34 = -15*m - 19. Is o smaller than m?
True
Let a = -899 + 1303. Are a and 404 nonequal?
False
Let g be (-1041)/(-18)*6/4. Which is bigger: g or 88?
88
Let h(k) = k**3 + 11*k**2 + 1. Suppose 2*d = 5*v - 12, 1 = 3*v + 7. Let f be h(d). Let p = -66 - -329/5. Is f > p?
True
Let j = 12 + -8. Let t = -43387/11 + 3947. Which is smaller: j or t?
t
Suppose 0 = -3*o + p + 42, 3*p + 0*p + 66 = 5*o. Suppose -4*l = s + 17, l + s = 5*l + o. Let d be ((-8)/12)/(l/(-20)). Which is bigger: -4 or d?
d
Let d = -322 - -11915/37. Let y = 2 + -1. Are y and d nonequal?
True
Let h be -1 + (2 - 2) + (-7049)/(-7063). Is 1 > h?
True
Let g = -2222 + 2241. Which is bigger: -13 or g?
g
Suppose -4*q - 24*q = 28. Is 4/33 smaller than q?
False
Suppose o - h + 4 = 0, 5*o + 38 = 2*h - 3*h. Is o at most as big as 5?
True
Let l(g) = 4*g - 176. Let x be l(29). Is -59 equal to x?
False
Let c = -10009/35 - -286. Which is greater: -1 or c?
c
Suppose -3*q = 3*y + 1239, 2*y + 366 = 3*q - 450. Let o = y - -11918/29. Is 0 at most o?
False
Let k = -30 + 28.3. Let m = -0.39 - -2.16. Let j = k + m. Which is greater: 1/5 or j?
1/5
Let y be 675/50*-4*(-2)/6. Is 19 < y?
False
Let n(h) = -24*h + 13. Let l be n(0). Which is smaller: 10 or l?
10
Let m = -121 - -121. Is m at most as big as -163?
False
Let m = 30 + -108. Let r = m + 76.4. Is r < -2?
False
Suppose 0 = 4*a - 1216 + 16. Is a bigger than 300?
False
Let i = -10.11 + 0.81. Let p = i + 9. Which is greater: p or 3?
3
Let d(j) = -3*j. Let k be d(-1). Let c be ((-6)/(-2) - k)*1. Suppose -6*z + 4*z - 8 = c. Is z < -7?
False
Let t = 324 + -697. Which is bigger: t or -371?
-371
Suppose 4*s - 136 - 288 = 0. Which is greater: s or 107?
107
Let q(g) = g**2 - 12*g + 16. Let j be q(9). Which is smaller: j or -9?
j
Let y(s) = -41*s - 52. Let v be y(-11). Is v > 399?
False
Let c be 5 + (3 - -2) + -21. Is c smaller than -22?
False
Let n be -5*9/5*5/(-15). Suppose -3*l + 4*i - 10 = 23, -3*i = -n*l - 33. Suppose 0*x - 24 = 2*x. Which is smaller: x or l?
x
Let i = -767 - -800.5. Is -0.1 > i?
False
Let l = -9.3 - -8.66. Let y = 0.84 + l. Which is smaller: 2/23 or y?
2/23
Let v be ((-6)/(-18))/((-1)/(-3)). Let y be (-5)/(-35) + 2 - v. Is 2 >= y?
True
Let h(o) = o**3 - 2*o**2 - 6*o + 5. Let t be h(3). Let f be t/8*(-1 + 1). Which is smaller: f or 0.07?
f
Let z(t) = t**3 + 20*t**2 + 10*t - 14. Let q be z(-19). Is 475/3 < q?
False
Suppose 0 = -5*j - 4*y + 26, -3*j = -j - y. Suppose -9*u = 11 - j. Let g be -2 - (0 - (-40)/(-19)). Is u bigger than g?
False
Suppose 7 = 10*b - 3. Which is bigger: 2/1385 or b?
b
Let h = -10.8 + 10.9. Is h bigger than -31?
True
Let w(i) = -6*i + 9. Suppose -2*o + 9 - 3 = 0. Let k be w(o). Which is bigger: k or -10?
k
Suppose 5 - 19 = c. Let w be 68/11 + c/77. Let u be (-5 + 2)*(-8)/w. Which is bigger: u or 5/2?
u
Let b be -1*(0 + (-11)/(-1)). Let o be (-6)/12 - b/14. Suppose -y + 2 = 3*g, -2*g - 4 = -2*y - 0. Is g <= o?
True
Let q be ((-11)/(-8) - 1)/(-185 - -191). Suppose -4*t + 1 = -3*t. Is t less than q?
False
Let d(j) = -55*j + 55. Let m be d(6). Is -275 at most as big as m?
True
Suppose -20 = a - 3*a. Let n be 4/10 - 3/(-5). Let z = 12 - n. Which is greater: z or a?
z
Let o = -221 + 217. Is -97 equal to o?
False
Let f = -3.648 - -0.648. Let a = -0.3 + 0.1. Which is bigger: f or a?
a
Let z be 1 + 0 - (-133)/28. Let u = z - 6. Which is smaller: 13 or u?
u
Suppose -2*l = 4*t + 2*l + 48, 5*t - 4*l + 78 = 0. Let m be t/119 + (-835)/(-17). Which is smaller: 48 or m?
48
Let y = 9 + -4. Let h be -3 - (-1)/(y/(-10)). Do 2/9 and h have different values?
True
Let l(h) = h**3 - 4*h**2 - 2*h - 12. Let i be l(5). Let c = -6 + 10. Which is smaller: i or c?
i
Let g(z) = -z**3 + 8*z**2 - 6*z - 7. Let q be g(7). Suppose q = 2*y - 9 + 11. Let d be 6/(-12)*(1 + 1). Is y less than or equal to d?
True
Let g = -4.02 + 0.02. Let w = -5 + g. Let h = -7 - w. Which is bigger: h or -0.1?
h
Let d(x) = -11*x**3 - 4*x**2 + 2*x - 1. Let v be d(2). Is -201/2 at most v?
False
Suppose -b - 62 - 21 = 0. Let f = -107 - b. Is -73/3 equal to f?
False
Let d = 32 + -30. Suppose d*u = -2*t + 12, -2*t + 4*u = t - 4. Let l be (t/(-4))/17 - 0. Which is greater: -1 or l?
l
Let d = 19 - 19.13. Let l = 0.03 + d. Let m be (-38)/6 - (-16)/12. Is l less than m?
False
Suppose -4*x + 0*j = -j - 9, -3*x + 4*j - 3 = 0. Suppose f - 4 = 0, -6 = z - 0*f - x*f. Is 0 < z?
True
Let b = 19/5 - 599/155. Is b at least as big as 23?
False
Let f = 117 - 221. Let o be 4 - 102*(-4)/f. Is o equal to 0?
False
Let n = 363626/139 - 2616. Which is bigger: n or 0?
n
Let r = 518 + -3592/7. Let c = -9227002/2070145 + 2/59147. Let q = c + r. Is 0 < q?
True
Let k be (0 - (-2)/(-4)) + 38025/(-150). Is k > -253?
False
Let w = -32 + 48.4. Let n = -672 + 656. Let u = w + n. Which is smaller: u or -5?
-5
Let a(i) be the second derivative of i**3/2 - 31*i**2/2 + 18*i. Let h be a(10). Which is smaller: h or 12/11?
h
Let d be (30/(-9))/(3 + 0). Let f be 2*41/4 - 1/(-2). Suppose -2*l - 2*l = 2*u - 6, -5*u + f = 4*l. Which is greater: d or l?
l
Let b(w) = -w**2 + 13*w + 68. Let c be b(29). Does -395 = c?
False
Let s(g) = -5*g. Let a be s(3). Let c = a - -22. Let i(l) = -l**3 - 6*l**2 - 7*l - 3. Let r be i(-5). Is r not equal to c?
False
Suppose 0 = -5*j - 2*v + 32, j + 3*j - v - 23 = 0. Suppose 4 = 5*y - j. Let l = -0.4 - -0.2. Does y = l?
False
Suppose 48*d = -12*d - 2640. Which is smaller: -48 or d?
-48
Let w = -6 + 4.9. Let x = -0.27 - -3.37. Let n = x + w. Is 1/5 at most as big as n?
True
Let z be 24*(8/2 - 3). Let w be (26/z + -1)*-1. Which is smaller: -1 or w?
-1
Let u(q) = -5*q - 1. Let g be u(1). Suppose 54 = 126*f - 135*f. Is f <= g?
True
Let d(h) = h - 8. Let l(o) = -7*o**3. Let t be l(1). Let a be (-2)/t + (-132)/(-28). Let x be d(a). Is x < -5?
False
Let s = 536 + -546. Is -12 bigger than s?
False
Let d be (-4)/(-6)*5 - (-32)/(-96). Let i be (3 + 8)/(5/2). Which is greater: i or d?
i
Let r(c) = c**2 + 9*c - 14. Let j be r(-6). Which is greater: -33 or j?
j
Let p be 524/(-3) + -4*5/60. Let u be 50/p + 136/(-14). Which is bigger: u or -1?
-1
Suppose -r - 1 = 0, -j - 2 = -3*r + 3. Are j and -1/9 equal?
False
Let o be (1 - (-339)/(-345)) + 0. Let y be (-1)/(-1)*(10 + -16 - -5). Which is greater: y or o?
o
Let n(g) = -6*g. Let r be n(1). Let t(s) = s**2 - 2*s - 8. Let y be t(r). Let x be y/12 - (1 + 2). Are x and 1 nonequal?
True
Let h = -1959.0707 + 1959. Which is bigger: h or -1/3?
h
Let b(z) = z - 1. Suppose -4 = -2*u + 4*l - 2, -4*l = 4*u - 28. Let q be b(u). Suppose -2 - 22 = q*f. Does -4 = f?
False
Let b = 53 - -21. Let h = b + -137. Is h less than or equal to -62?
True
