 5*f - 151 - 49 = 0. Let h be y/f*(-15)/2. Which is smaller: -1 or h?
-1
Let l(x) = -x**2 + 2. Let w be l(4). Do w and -13 have the same value?
False
Let r be 9 - (3 + (1 - 2)). Suppose -p + r = -9. Which is smaller: p or 17?
p
Let c(k) = k**2 - 9*k - 1. Let j be c(7). Let t be (54/j)/((-2)/(-10)). Is t equal to -18?
True
Let g be (-4)/18 - (-130)/18. Let z be 9 + g/(14/4). Is 12 at least as big as z?
True
Let u be ((-6)/(-10))/((-152)/20). Let p = -71/418 - u. Which is bigger: p or 1?
1
Let g be 41/6 - 10/(-60). Is g less than or equal to 7?
True
Suppose -p - c - 4 = 0, -2*c + 6 = c. Let r be (3/p - 14/4)/(-21). Is r smaller than 1?
True
Suppose 4*p - 9*p = 0. Suppose p = -0*j + 2*j - 2. Which is smaller: 2/53 or j?
2/53
Let k be 12 - (-5 - 1 - -2). Let r be k/40 + (-2)/3. Let t = -9 - -43/5. Is r != t?
True
Let u(f) = f**3 - 3*f**2 + f - 3. Let t be u(3). Suppose -3*g + 2 + 13 = t. Is g < 3?
False
Let i be (-36)/40*10*(-42)/(-35). Which is bigger: i or -1/5?
-1/5
Suppose -4*p = -0 + 24. Let l be 4/(2 + (-28)/12). Let i = l - p. Are -6 and i equal?
True
Let w be 10/35 - (1668/(-140) - -1). Which is bigger: 12 or w?
12
Let p = -17 - -16.93. Let o = 37 + -36.83. Let a = p + o. Is 3 smaller than a?
False
Let i be 42/(-231) + (-1016)/(-22). Are i and 1/4 nonequal?
True
Let m = 11/357 - 4/63. Is -1 at most m?
True
Suppose 26 = 3*x - 10. Let z be (20/40)/(1/10). Which is greater: x or z?
x
Let w = 213 + -398. Is -0.1 at least as big as w?
True
Let j be 4*15/(-20) - -2. Is j <= 250?
True
Let k = 23 + 103. Suppose -3*y + k = -12*y. Is -13 < y?
False
Let v(d) = -d**2 + 6*d + 3. Let y be v(5). Let q(u) = u**3 - 7*u**2 - 8*u + 1. Let w be q(y). Which is bigger: w or 2/25?
w
Let y be (1/(-3))/(620/(-120) - -6). Which is bigger: 90/7 or y?
90/7
Let g(r) = 93*r - 879. Let j be g(8). Is j at least as big as -138?
True
Let k be (6/4)/(39/52). Suppose 0 = 3*u + 2*h + 546 - 120, -k*u + 4*h - 268 = 0. Let m = -557/4 - u. Is 2 < m?
False
Let q = -7407/11 + 672. Which is bigger: q or -3?
q
Suppose 63*l - 9880 = -2*l. Which is smaller: l or 156?
l
Let d be -4 + 156/42 + (-4)/(-14). Let w = 0.08 + -3.08. Which is greater: w or d?
d
Let d(j) = 456*j**3 - 6 + 4 - 457*j**3 - 2*j**2 - j. Let q be d(-2). Suppose q = 3*g + 17 + 19. Which is smaller: g or -13?
-13
Let s = 1183 + -1183. Let u = 1.3 + 3.7. Which is greater: u or s?
u
Suppose 2 = -4*u - 2. Let d = -30 - -27.6. Let t = d - -3.4. Which is bigger: t or u?
t
Let m = -2473 - -12727/5. Which is greater: 72 or m?
m
Let h(v) = v**2 - 84. Let m be h(9). Let j(n) = -n**3 - n**2 - 1. Let d be j(0). Which is smaller: m or d?
m
Suppose 26*v - 24*v + 2*f - 6 = 0, v - 3*f + 9 = 0. Is -3/319 not equal to v?
True
Let g = -40 + 40. Suppose 0 = 2*s - 2*u + 54, g = -0*s - 5*s - u - 117. Is s greater than or equal to -26?
True
Let z = -2 + 8. Suppose -3*g + z*g = 3. Which is smaller: -2/75 or g?
-2/75
Suppose 2*j = 5*j - 54. Suppose 0*u = -2*u + j. Suppose -b = 5*c - 0*b - u, -4*b + 17 = c. Is 0 at least as big as c?
False
Let d = -22 + -21. Is d equal to -45?
False
Let a = 62 + -64. Let k(g) = 8*g + 7. Let l be k(a). Suppose 5*t - 5*i + 50 = -4*i, 0 = 4*i. Is l greater than t?
True
Let z = -79 + 77. Suppose 2*o + 5 = 3. Let k be -2 + (2 + -1)/o. Do k and z have the same value?
False
Let a = 131.1 + -131. Which is smaller: 2/869 or a?
2/869
Let x(f) = -2*f**2 - 118*f - 116. Let q be x(-58). Which is bigger: -16/105 or q?
q
Suppose 0 = -2*v + 3*i + 8 - 2, 4*v + 2*i = -4. Do v and -2/161 have different values?
True
Suppose 0 = -4*v + 8, -3 = -4*i + 3*v - 33. Let y(n) = -n + 1. Let h be y(i). Suppose -a + 0*a - h = 0. Which is smaller: -2 or a?
a
Let k = 806 - 49176/61. Which is bigger: 1 or k?
1
Let g = -131 + 118. Which is bigger: g or -14?
g
Let y = -30.36 - -30. Let j = -22.36 - y. Let m = j - -23. Which is bigger: m or -5?
m
Let a(s) = -s**3 + 6*s**2 - 7*s + 4. Let y be a(5). Let d be 5 - (69/(-46))/(y/4). Suppose 5 = -2*u - 3*j, 5*u = 3*j + 2*j. Do d and u have different values?
True
Let a(t) = 4*t - 19. Let d be a(-4). Is -37 not equal to d?
True
Suppose 1 = 3*o + 4. Let r(y) = -y**3 - 2*y - 1. Let i be r(o). Does 2 = i?
True
Let v = -115 + 115.005. Which is smaller: v or 0.1?
v
Suppose 4*a - 4*i = 24, -a + 3 = -i + 3*i. Suppose 5*g - 15 = -0*g. Suppose -g*y + 2 = -a*y. Which is smaller: y or 4/15?
y
Let m = -50 + 1. Let v = m - -199/4. Is 0 > v?
False
Let c be (-158)/14 - (-100 + 89). Let w = 215/2244 - 1/204. Is c at most as big as w?
True
Let v = 3.3 + -3.11. Let t = 1126.9 + -1127. Which is greater: v or t?
v
Let v = -7 - -17. Suppose 11*b = v*b. Which is greater: b or -3/28?
b
Let q(l) = -293*l + 38. Let x be q(-4). Which is smaller: x or 1209?
1209
Let y be (-2060)/(-7) - 12/42. Suppose 2*t + y = 4*i, -i = -4*t - 36 - 55. Is i > 71?
False
Let z be 6/16 + (-5 - 10/(-16)). Is 10 > z?
True
Let r = 14 - 14. Suppose -2*y - 8 = -2*d + 2, -d + 4 = r. Which is smaller: -4/5 or y?
y
Let q be 39/21 - 1*2. Let z = 0.26 - 16.26. Let i = z - -16.2. Is i smaller than q?
False
Let k = 8 - -3. Suppose 5*f - 9 - k = 0. Suppose -v = -f*v - 33. Is -12 equal to v?
False
Suppose -85 = -6*z - 11*z. Suppose -3*w = z*y - 10, -6 = 6*w - 7*w - 3*y. Is w at least -7/11?
True
Let t = -22 + 241/11. Which is greater: t or -1?
t
Let z(y) = -y**3 - 7*y**2 + 17*y - 8. Let n be z(1). Is 6/55 smaller than n?
True
Let m = 5390/3 - 1824. Let i = m - -23. Let k = -11/3 - i. Which is smaller: -0.05 or k?
-0.05
Let s(j) = j**2 - 14*j + 40. Let o be s(10). Suppose -u + 2*u - 1 = 0. Is u less than or equal to o?
False
Let a(t) = t**3 + 2*t + 2. Let i be a(-1). Let s = 31/3 + -10. Let x = 0 + s. Is i equal to x?
False
Suppose -5*d + 0*d - 65 = 0. Let o = -9 - d. Suppose 0 = -u - o*u. Which is bigger: 0.3 or u?
0.3
Suppose -5*a + 52 = -a. Suppose 0 = -6*n - 8 + 32. Suppose -n*r + 34 = -18. Is r greater than or equal to a?
True
Let n = -13.7 - 2.3. Are n and 0 non-equal?
True
Let s = 2.26 + -3.26. Which is bigger: 325 or s?
325
Let x = -3 + -4. Let k = x - -8. Let i be 4/26 - 532/(-91). Which is smaller: k or i?
k
Let n = -2861 + 869745/304. Is -1 at most as big as n?
True
Let x = 1416 - 535. Which is greater: 880 or x?
x
Let f = -10 + 12. Let v be (-51)/(-15) + f/(-5). Suppose -o - 2*o = -4*a + 11, -v*a + 3*o = -12. Is 2/17 smaller than a?
False
Let c be (-13)/(-4) + (-27)/(-36). Suppose 0 = -0*q - 3*q - h + 9, -12 = -c*q + h. Suppose 3*l + 17 = 4*w, 0 = q*l + 5*w - 5 + 4. Is l at most -3?
True
Let y be 1/(-2) - (-9)/24. Let h(c) = 0 - 3 - 30*c + 34*c. Let t be h(1). Which is smaller: y or t?
y
Suppose 0 = 4*s - 9 - 7. Suppose -2*z - 2*a = -3*a - s, 0 = -2*z + 3*a + 8. Let v be ((-6)/(-126))/(z/3). Is 1 less than or equal to v?
False
Let x = 2120 + -2122. Is 432 equal to x?
False
Let o(l) = l**3 + 9*l**2 + l + 11. Suppose -2*a - 3*a + 5*q = -150, -5*q = 4*a - 75. Suppose 2*c - 7 + a = 0. Let d be o(c). Is 1 >= d?
False
Let p be (4/6)/(7/42). Let k(v) = v**3 - 3*v**2 - 2*v - 9. Let s be k(p). Which is smaller: 2/35 or s?
s
Let l be -79 - (-5)/6*(-40 - -46). Is -60 at least as big as l?
True
Suppose 11*m - 7*m = 8. Suppose -31 = -4*o - 2*n + 21, 5*n = -m*o + 42. Which is bigger: 12 or o?
12
Let v = -703 + 698. Let a be (-56)/6 - (-9 + 6). Is a != v?
True
Let j(k) = -k**3 + 6*k**2 - 2*k + 9. Let f be j(6). Let n be f/(-6) + 7/(-14). Does 2/49 = n?
False
Let p(g) be the first derivative of g**3/3 - 2*g**2 + 4*g - 15. Let x be p(2). Is -2/7 equal to x?
False
Suppose -10*n = -62 + 62. Which is greater: -11/27 or n?
n
Suppose 82*j - 33*j = 34 + 15. Let w be (-12)/(-9)*6/(-47). Is j greater than or equal to w?
True
Let l = -31 + 33. Which is greater: -76 or l?
l
Let s = 3 - 3. Let b be (213/(-65) - -3) + (-2)/(-26). Is b less than s?
True
Let n = 6 + -6.11. Let f = 3494 + -3493.8. Does n = f?
False
Let g be 2/(-3)*3/(-1). Let x = 46 + -42. Suppose -3*w + 7 = g*i, 4 = -x*w + i - 5. Is 1 > w?
True
Suppose -5*v + 7*v = 2*b + 116, 0 = 2*b - 4*v + 112. Which is greater: -61 or b?
b
Let t(y) = -15*y. Let q be t(-1). Suppose -v = q + 18. Which is smaller: -32 or v?
v
Let h = -23 + 35. Let c(s) = -s**3 + 33*s**2 - 60*s - 50. Let y be c(31). Is y at most h?
True
Suppose -3*j = -4*r + 11, -7*j + 2*j - 7 = -r. Let f be r/9 + (-87)/27 + 4. Is f bigger than 4/23?
True
Let m(o) 