f be h(-6). Is f > 509?
False
Suppose 0 = 4*r - 32. Let p be 6/r - (-7)/(-4). Which is bigger: p or 1/21?
1/21
Let w = 2280 - 15852/7. Is 15 != w?
True
Let w = 921 - 919. Which is smaller: w or 10?
w
Suppose -2*a + 5*s = 24, -s + 22 + 4 = -11*a. Suppose 0 = 5*q + 2*k - 38 + 12, 24 = 3*q + 4*k. Suppose -3*g + 5*g + 6 = i, -g = -q*i - 4. Is i bigger than a?
False
Let p = 52 + -82. Let j = p - -30.08. Which is smaller: 2 or j?
j
Let j(z) = -10*z + 5. Let f be j(-9). Let d be (114/f)/((-4)/(-5)). Which is greater: 1 or d?
d
Let j = 64 - 61. Let r = 50.3 - 50. Is j not equal to r?
True
Let i = 50 + -11. Let b = 37 - i. Is b > 13?
False
Let u(z) = 18*z - 30. Let v be u(4). Let d = v + -42. Is d <= -2/57?
False
Suppose 0*l + 3*l = -21. Let x be 28*6/24 - (14 - 1). Is x bigger than l?
True
Let a be 1*(-1 + 0/(-2)). Let h = -42 + 42. Let c be (-44)/(-198) + 5/(-63) + h. Which is bigger: c or a?
c
Let g = -4.2 + -2.8. Which is bigger: g or 1?
1
Let r = -127.8 - -127.74. Which is bigger: r or -18?
r
Let k = -48 - -50. Let i = k - 1. Let h = -6 + 10. Do h and i have different values?
True
Let b = 16 + -7. Suppose 9*s - 5*u + 17 = 12*s, -2*s + 5*u = -28. Is b bigger than s?
False
Let x = 8 - 6. Suppose -c = x*c. Let f = 3 - 0. Is f less than c?
False
Let f(w) = -w**2 - 5*w - 4. Let h be f(-4). Let x = -162/41 - -47060/11931. Is x less than h?
True
Let l be (-5)/(-91) + 2/(-7). Suppose 4*s = -4*r - 356, -4*s + 104 = -6*r + 5*r. Let t = 92 + r. Is t smaller than l?
False
Let g(n) = n**3 - 4*n - 1. Let d(t) = -t**2 + 5*t + 4. Let w be d(6). Let s be g(w). Which is smaller: s or -2/125?
s
Suppose 2*t - 2 = t. Suppose 3*y - 16 = t*h + 2*h, -3*y = 5*h - 7. Let k = -4 + -2. Is k != h?
True
Let l = -5 - -4.88. Let z = l - -0.02. Let b(d) = -d**2 + d - 9. Let h be b(0). Is z less than h?
False
Let o = -2 - -2. Let r = 7.6 + -7.571. Let a = 0.129 - r. Which is bigger: a or o?
a
Let n = 55 + -54.9. Let q(j) = j**3 - 3*j**2 - 4*j + 12. Let k be q(6). Do k and n have the same value?
False
Let c(h) be the third derivative of -h**4/24 - h**3 + 8*h**2. Let b be c(-7). Is b not equal to 4/5?
True
Suppose 23 = -2*q - 2*k + 427, q - 5*k - 214 = 0. Let n be (-4)/q - 2/6. Does 0 = n?
False
Suppose 13*q - 2*n = 11*q + 1416, 5*n - 1395 = -2*q. Which is smaller: q or 706?
q
Let a be (2/(-7 - (-2 + -3)))/2. Is a not equal to 1.13?
True
Let j = -1629 + 4844/3. Let n = 14 + j. Is -9 at least as big as n?
False
Let z = -22 + 9. Suppose 6*g + 0 + 6 = 0. Which is greater: g or z?
g
Let v(z) = -z**3 - 17*z**2 + 18*z - 9. Let d be v(-18). Let j be (-3)/d - 20/42. Let k be 1*(-3)/3 - 0. Is k > j?
False
Let d = -838 - -837. Is d greater than 35?
False
Let w = 3892 + -3895. Let q = 21 - 34. Is w at most as big as q?
False
Suppose 0 = s + 5*x + 255, 3*s + 308 + 527 = -x. Which is smaller: -281 or s?
-281
Let m = 119.3 + -119. Are -36 and m nonequal?
True
Let s = 1140 + -1065. Which is bigger: s or 69?
s
Suppose 0 = -4*u - d - 0*d + 17, 3*u = 5*d + 30. Do u and -0.37 have the same value?
False
Suppose 0 = -7*n + 2*n + 15. Suppose n*y = -y. Suppose w + 2*v + 2*v - 4 = y, -5*v = w - 5. Is -3/4 > w?
False
Let a be (-6)/(-2 - 1) - (-9)/3. Suppose 0 = -3*x - a*i + 2*i - 9, -2*i = 3*x + 9. Which is bigger: -8/5 or x?
-8/5
Let j = 5.3 + -6.55. Let z = j - -1.15. Which is smaller: z or -27?
-27
Suppose 2*l = -2*l + 8. Let q(y) = -y - 4. Let w be q(-6). Suppose 2*v + v - 4*g = 0, -w*v = l*g. Are 4/11 and v equal?
False
Let d = -0.0304 - 0.0426. Which is bigger: -1 or d?
d
Let y = -391.8 - -392. Is 1/155 at least as big as y?
False
Suppose -5*y = -3 - 2. Let i = y - 2. Suppose 0 = -98*s - 35*s - 68 - 65. Is s less than or equal to i?
True
Let h = 0.322 - 84.322. Is -1 greater than h?
True
Let n = 8474/219 - 2/73. Is n <= 39?
True
Let x be -1*(-2 - -1)/1. Let c be (-25520)/(-333960) + ((-20)/(-22) - 1). Is x >= c?
True
Let h = -289 - -1019. Is h at most as big as 730?
True
Let p = -678 - -684. Let a(c) = c**3 - 6*c**2 - c + 3. Let l be a(6). Is l bigger than p?
False
Let c = 6 + 0. Let m(l) = l**2 - 61*l + 780. Let h be m(18). Is c less than or equal to h?
True
Let m = -1 - 2. Let p = 28.104 - 0.404. Let g = -28 + p. Are g and m nonequal?
True
Let b(l) = l**2 + 13*l + 39. Let n be b(-10). Suppose 13 = 4*s - k, -n = -5*s - 3*k + 3. Which is bigger: 16 or s?
16
Let p be (-4 - 11)*(-17)/51. Which is smaller: -6.6 or p?
-6.6
Let d = -0.4376 + 0.0576. Which is smaller: d or 5/2?
d
Suppose -5*q - 5*s + 0*s + 55 = 0, -s = 5*q - 39. Suppose -4*v = -q*v + 12. Suppose 6 = -3*r + v*r. Is 5 < r?
True
Let o = 11.4 + -8.4. Is o bigger than -0.006?
True
Let c(i) = i**3 - 3*i**2 - 2*i + 1 + 1 - 3*i**2 + 4*i**2. Let h be c(3). Suppose -h*t + 14 = -t + 2*y, y = -3*t + 9. Which is greater: -1 or t?
t
Suppose 6 = -2*t, 7*t = -3*p + 8*t + 120. Let h be 5*(p/(-35) + (-4 - -5)). Suppose 5*l = 4*l. Is l != h?
True
Let w be (2 - 64/20)*-5. Let g be (-8)/w*(-9)/138. Which is smaller: g or 1?
g
Suppose -4 = -2*t - 0*t. Suppose -t*d - 3 = -135. Let j be (d/18)/((-1)/3). Is -12 greater than j?
False
Let j = 5 + -10. Let l = 5.1 - -2.1. Let y = -7 + l. Is j at least y?
False
Let v(y) = -5*y + 0*y + 3*y + y. Let l be v(-2). Is 5/3 greater than l?
False
Let f(q) = -2*q**3 + 3*q**2 - 1. Let d be f(-1). Suppose -d*m = m. Which is smaller: -2/3 or m?
-2/3
Let f be 3*(2 - (-19)/3). Suppose -s = -14 + f. Which is smaller: s or -10?
s
Let o = -20.9 - -20.8. Suppose -2*c + 4*x = -4, c - 3*x + 2 = -0. Is o smaller than c?
True
Suppose -h + 5*r = 0, -2*r = -h - 5*r. Let y(f) = -7*f**2 - 21*f - 15. Let v be y(-1). Is v greater than h?
False
Let g be -192 + 195 - (-11)/(-3). Which is bigger: g or -116/17?
g
Suppose k + k = -3*s + 4, -4*s - 4*k = -12. Let c(u) = -5*u**2 + u. Let b be c(s). Which is bigger: -21 or b?
-21
Suppose -47*q + 61*q - 1708 = 0. Is q smaller than 125?
True
Let d be (2/8)/(1*-1). Let p = -2.49 - -3.4. Let c = -0.09 - p. Is d smaller than c?
False
Let m = 1.7 + -2. Let q = -19.51 + 43.51. Which is smaller: q or m?
m
Suppose -4*g - 22 = -2. Let u = 10 + -14. Let a be ((-20)/(-16))/(1/u). Is a not equal to g?
False
Let c = -875 - -868. Suppose -2*q - 1 = y - 2, 2*q = 6. Which is smaller: y or c?
c
Let s be (-6)/(1/(70/(-8))*(-160)/(-64)). Suppose j - 2*b = 23, 44 = 3*j - 3*b - 22. Are s and j nonequal?
False
Let a(c) = -4*c - 9. Let i be a(-5). Let p be i/4 - 8/(32/(-1)). Is 8/3 at most as big as p?
True
Let m = 0.8 + 0.2. Let q = -2155 - -2155.03. Is q at most as big as m?
True
Let a = 28 + -25. Suppose 0 = 3*x + a*x - 12. Which is smaller: x or 28/9?
x
Let y = -2.32 - 0.1. Let m = -734.3 + 732. Let o = y - m. Which is smaller: 1/4 or o?
o
Let l = 427 - 435. Do 0.04 and l have different values?
True
Let w = 5.38 - 6. Let q = 0.22 + w. Is q bigger than 0?
False
Let q = 1/466299 - 81447211/148749381. Let j be (-7)/(812/16)*(-18)/1188. Let t = q + j. Is 0 != t?
True
Let p = -542 - -541.9. Does 20 = p?
False
Suppose -j - 2*j = 6. Let k be 1/j + (-92)/(-8). Suppose -5*w = -4*n + k, -13 = 5*w + n - 3*n. Which is smaller: w or -1?
w
Let r(h) = -3*h**2 - 6*h - 13. Let t be r(-6). Let y be 102/t - 4/1. Which is smaller: -6 or y?
-6
Let m be (-2)/(2*(-6)/(-5139)). Which is smaller: m or -858?
-858
Let h = 0.0868 - -36.0132. Let k = h - 36. Which is bigger: k or 3?
3
Let b be (-20 - (-606)/30)/((-566)/5). Which is smaller: b or 1?
b
Let o = -821 - -738. Which is bigger: o or -81?
-81
Let f be (6 - 1)*(-55 + 53). Which is smaller: -41 or f?
-41
Let c be ((-9)/(963/2))/(2/(-3)). Is c greater than or equal to 3?
False
Let w = 549 - 526. Let t = 37.3 + -60.4. Let l = w + t. Is -3 bigger than l?
False
Suppose 6 = -j + 1. Let w be j - (-4 + 2) - -3. Suppose -3*l - l = w. Which is smaller: l or 0.1?
l
Let o be -3 - 3/18*26647. Let b = -4422 - o. Let j = b - 22. Which is smaller: j or 1?
j
Suppose 2*o + 2*g = 2, -g - 2*g = -12. Let a(l) = -l**2 - l + 6. Let s be a(o). Let h = -101 + 2625/26. Are h and s unequal?
True
Suppose -150 = -w + 6*w. Let s be w/9*18/(-15). Suppose -3*i + 4 = x - 0*x, i + 3 = s*x. Which is smaller: -4/21 or i?
-4/21
Let u(m) = -m**2 - 4*m + 2. Let g be u(-4). Suppose 2*f + 2 = -p - 19, -17 = g*p - f. Let t be 1/(-2*(-1)/(-20)). Is t greater than p?
True
Suppose r = 431 - 407. Let m = -8 + -22. Let k be (-12)/m + r/(