 - 3. Let x be r(5). Suppose x*s + 0*i = 4*i - 8, 0 = -s + 3*i - 6. Suppose 0 = 16*a - 7*a + 9. Which is smaller: a or s?
a
Let i = -22 + 20. Which is bigger: 3 or i?
3
Let h = 12 + -7. Suppose -h*j + 3*g = 4, -4*j + 2*g = -3*j - 2. Is -1 less than j?
False
Let v(i) be the second derivative of -i**3/6 + 4*i**2 - 2*i. Let s be v(7). Let m be (1 - s) + 6/24. Which is smaller: 1 or m?
m
Let v = -81881/5 - -16443. Let l = v - 67. Suppose 0 = r + 2 - 1. Which is smaller: l or r?
r
Let l be (-1)/(-2) + 5/2. Which is smaller: l or 10/3?
l
Let d be (-1)/4 - (-39)/60. Is -2/3 < d?
True
Suppose -2*v + 0*v = 0. Suppose -o = -v*o. Do o and 0 have the same value?
True
Let o = 148 + -148. Which is greater: o or -5?
o
Suppose -r - 217 = -4*a, -a + 113 = a - 5*r. Which is bigger: 0 or a?
a
Let y = -0.1 - -0.2. Let k = 0.2 - y. Let j = -10 - -9. Which is greater: k or j?
k
Let l = -0.4 + 0.39. Let g = l - -2.01. Let y = g + -2.2. Does y = 0.1?
False
Let v be 84/16 - (-3)/4. Suppose 12*z = 7*z + 25. Is z greater than v?
False
Let k = -0.1 - -0.02. Let l = -0.04 - -0.02. Let n = k + l. Is n < -0.5?
False
Let h(i) = -i**2 - 8*i - 30. Let j be h(0). Are j and -30 unequal?
False
Suppose 4*k = -2*k - 60. Let s = -3 + -6. Is s <= k?
False
Let r = 38.04 + -19.93. Let p = -18 + r. Which is smaller: 2/5 or p?
p
Suppose -2*i = 0, 2*b - 5*i = -0*b + 72. Suppose 0*c = -2*c + 10. Let m be 20/b*(-2)/c. Which is smaller: m or 1?
m
Let g be (28/42)/(2/(-9)). Let c be (-2)/(-20)*2*g. Is -2 less than or equal to c?
True
Let u(n) = -6*n + 9. Let b(v) = -v + 1. Let f = 7 + -6. Let w(j) = f*u(j) - 5*b(j). Let q be w(4). Which is smaller: -2/7 or q?
-2/7
Let f(s) = 2*s - 3. Let x be f(5). Let y = -8 + x. Let r(g) = g**2 + 4*g - 7. Let a be r(-5). Which is bigger: y or a?
y
Let u be 3246/(-3915) + 6/27. Let s = u + 6/29. Let l be 2/((-2)/1) - -2. Which is smaller: l or s?
s
Suppose -2*a + 10 = 2*z + a, 10 = 2*z + 4*a. Is 5 smaller than z?
False
Let m(h) = h**2 - 16*h. Let u be m(16). Which is greater: u or -3?
u
Suppose 3*t + 3*b = -15, -11 = 2*t + 3*b + 3. Let r = t - -1. Suppose y - 2 = 2*a - 1, 3*y - 5*a - 2 = r. Which is smaller: y or 1/10?
y
Suppose 0*c = -3*c - 4*v - 6, -3*v = -2*c - 4. Is -19/12 not equal to c?
True
Suppose 5*h + 4*s - 40 = 0, 4*s - 18 = -4*h + 18. Suppose -9 = -h*i + i. Which is greater: i or 4?
4
Suppose 2*d - d - 5*r = 84, 76 = d - r. Which is smaller: d or 75?
d
Suppose -4*g = -18 - 2. Suppose g*q = 3*a + 2*a + 5, -5*q = -a - 13. Suppose q*r - 2*t + 5 = 0, -4*t = 3 - 19. Which is smaller: r or 2?
r
Suppose 0 = 4*z + 1 - 9. Which is smaller: z or 1?
1
Suppose 5*s - 5*y + 45 = 0, -2*s + 0*s + 3*y - 19 = 0. Let p be 2807/22 + 4/s. Let l = 127 - p. Which is bigger: 0 or l?
0
Let h be 2*8/(48/(-9)). Which is greater: -1/16 or h?
-1/16
Suppose -6*a - 1817 = 757. Let z = 2995/7 + a. Is -1 bigger than z?
True
Suppose -3*o + 5*f = 35, -f - 64 = 4*o + f. Let q be (-19)/15 + 6/o. Is -2 bigger than q?
False
Let m = -410860 - -4515899/11. Let t = -324 - m. Which is greater: 0 or t?
0
Let n = 59/432 + -1/16. Which is bigger: 0 or n?
n
Suppose -f - 11 - 3 = 5*k, -4*k - 10 = f. Let n = -14.1 - -13. Let r = 1 + n. Which is smaller: r or f?
r
Let r = 2/17 - 91/51. Let z(i) = i - 4. Let v be z(2). Which is smaller: r or v?
v
Suppose -n = -3*o + 32, 3*n = -4*o + 2*o - 118. Let m = n - -2. Let t be (-1)/(21/m) - 2. Is t bigger than 0?
False
Let c(a) = 2*a + 1. Let v be c(-2). Let i be (4/(-10))/(v/(-15)). Let k = -40 + 38. Are k and i nonequal?
False
Let p be 4/((-1)/(-1)) - -61. Is 66 < p?
False
Suppose -4*a + 17 = l, -4*l + 4*a + 19 = -l. Let u be l/(-12)*(-2 + -2). Is 3 < u?
False
Let a = -4 + -1. Let z = a - 4. Let g = z + 4. Is 0.1 greater than or equal to g?
True
Let y = 82272/19 - 4332. Is -2 >= y?
False
Let u = -5 + 11. Let s be u*(-3)/12*-2. Suppose 0 - 6 = s*d, 0 = n + 3*d + 5. Do n and 2/9 have different values?
True
Let h(c) = 5*c + 8. Let q(w) be the third derivative of w**4/12 + 2*w**3/3 - w**2. Let y(u) = -3*h(u) + 7*q(u). Let v be y(7). Which is greater: v or -0.1?
-0.1
Let o = -81 - -78. Is o greater than 2/47?
False
Let m = -15 - -16. Is m bigger than -8?
True
Let v be -7 + (-2 - -6) - -7. Let i(o) = o**3 + 5*o**2 - 5*o + 8. Let g be i(-6). Let c = g + 3. Which is smaller: c or v?
v
Let t be 2625/27 - -2 - 3. Let n = -96 + t. Is n at most 0?
False
Let a(o) = o**3 - 4*o**2 + o - 2. Suppose 3*f - 5*z - 20 = 12, -3*f - 4 = 4*z. Let b be a(f). Which is smaller: 0 or b?
0
Let d = -0.02 + 0.08. Let j = 0.16 - d. Let q = j - 0.3. Which is smaller: q or -1?
-1
Let j = 42 - 124/3. Which is smaller: 6 or j?
j
Suppose 0 = 4*j - 2*j - 4. Suppose 0 = -2*z - j - 0. Is 1/4 less than z?
False
Let t = -341/444 + 2/111. Which is smaller: -0.05 or t?
t
Let z = 416574702/13 - 32086389. Let d = z + 42054. Let l = d + 127. Is 0 less than l?
False
Let n = 0.2 - -1.7. Let d = -1.5 + -0.5. Let b = d + n. Which is bigger: b or 3?
3
Let q = -5 - -7. Suppose -5*h + 271 = -429. Let n be 16/h*(-5)/q. Is -1 greater than n?
False
Let t be (-9)/(-18)*(0 + 0). Are -4/3 and t unequal?
True
Let g = -67 + 70. Which is greater: g or -7?
g
Let q be (6/(-5))/((-15)/50). Suppose 2 = 2*o - q*o. Suppose -1 + 4 = -b - 4*m, -5*m = -4*b + 9. Which is smaller: o or b?
o
Let g = -0.66 - -0.4. Let p = 0.26 + g. Which is smaller: p or -1.2?
-1.2
Suppose 0 = -0*v + v - 3. Let p = -55 - -63. Let h be (p/6)/((-1)/v). Is h not equal to -3?
True
Let l be -4*2/(-4)*1. Let c(o) = o**2 - 12*o + 3. Let d be c(12). Are l and d equal?
False
Let c be (3/6)/((-2)/4). Is 2/9 >= c?
True
Let k = 5 - 2. Let u = -0.05 - -0.03. Let w = u - -0.12. Which is bigger: w or k?
k
Let z = 4 + -8. Let u = z - -6. Is u != -3?
True
Let l be 2 - 0 - (2 + -3). Suppose 5*f = -5*g - 30, l = 2*g + f + 12. Which is smaller: g or 2?
g
Let k be (-12136)/(-26)*(-1)/34. Let q = k + 180/13. Let a = 2.4 - 2.5. Does a = q?
False
Suppose 2*o - 3*o = 2. Let g = 551 - 552. Which is greater: o or g?
g
Suppose -2*b = 2*t, 2*b = -t + 5*t + 30. Is t greater than 1/4?
False
Let n(h) = -h**3 - h**2 - h + 6. Let g be n(0). Let w = -5 + g. Is 1 at most as big as w?
True
Let i be ((-6)/(-4))/((-18)/120). Let q = i - -9. Which is greater: q or -0.7?
-0.7
Suppose -8*l = -3*l. Suppose s = 4*r - 25, 2*r - 4*r - s + 5 = l. Suppose 0 = -5*i - 4*u - 14 - 14, -26 = r*i + 3*u. Which is smaller: i or -3?
i
Let c = -0.04 - 0.06. Which is bigger: 0.15 or c?
0.15
Suppose -z = -0*z + 1. Let w = z - -3. Suppose -3*o = w*o + 35. Which is greater: -6 or o?
-6
Let y be ((-263)/34)/(30/84). Let v = -108/5 - y. Which is smaller: v or 0?
0
Let r be 0 + 1 + 4/8. Which is bigger: 1 or r?
r
Let p = -0.4 - 0.5. Let g = 0.08 + 0.02. Let u = g - p. Which is smaller: u or -0.3?
-0.3
Let t be 21*(-5)/(-90) + (-4)/6. Is t at most 1.5?
True
Suppose 0 = 4*v, -2*n + 3*v = 5*v - 18. Suppose n*l + 10 = 4*l. Let f be l*((-3)/(-4))/3. Is 2 greater than f?
True
Let c = 67 + -64. Which is bigger: -4/29 or c?
c
Suppose 3*j = -0*j - 2*b, -b = -4*j. Let s = 6/25 + -252/425. Which is greater: j or s?
j
Let i = 36 + -36. Which is greater: i or -3/17?
i
Let v = -20/29 + 394/319. Suppose -k + 5*o = o + 6, 0 = -5*k + 5*o. Is v bigger than k?
False
Let d = -1/9 - 5/9. Which is smaller: -2.8 or d?
-2.8
Let v(i) = -i**2 + 6*i + 9. Let s be v(7). Let w(r) = -r**3 + 3*r**2 - 3*r + 3. Let y be w(s). Which is greater: y or -9?
y
Let g = 3/4 + -35/36. Which is bigger: g or 0.008?
0.008
Suppose -5*z = -5*h + 7 - 2, 2*z = 5*h + 10. Is 1 at least as big as h?
True
Suppose -5*l = 5*o - 5, 3*l - 3*o + 8*o - 1 = 0. Suppose -l*g = 1 + 5. Are -5 and g equal?
False
Let j be 1 + (8/(-3))/4*-15. Which is smaller: 10 or j?
10
Let x = -1.3 + 0.3. Let r = -1.6 + 3.6. Let o = r + x. Is 0 < o?
True
Suppose r + 1 = -4, -5*q + 4*r + 25 = 0. Is 2/51 >= q?
False
Let h(d) = -d - 1. Let m be h(-3). Suppose 5*g - 14 + 0 = q, 2 = 5*q - g. Which is bigger: m or q?
m
Suppose 5*t - 6*t = -31. Is 30 smaller than t?
True
Let r(z) = -z**2 - z. Let s be r(1). Let v be s*(21/(-6) + 1). Let o be (-1)/3 + v/(-3). Which is bigger: o or 0?
0
Let w be 8/3 - 4/(-12). Let y be 1*(-2 + w + 0). Is y < 4?
True
Let f = -9 + 9. Suppose k + 5 = x - f, 3*x + 5*k = -1. Are 2 and x equal?
False
Let l be ((-2)/22)/(1/2). Suppose -2*q + 4 + 0 = 0. Suppose 0 = 