f or 1?
f
Suppose -3*j - 11 = -4*n, -4*n = -3*n + 2*j. Suppose 2*p + n*p = 0. Suppose p = -2*x + 33 - 17. Is x at most as big as 7?
False
Let n be (-3)/5 + (-5)/(-25). Is n greater than -6?
True
Let v = -797 + 557. Which is smaller: -239 or v?
v
Let q(g) = 0*g + 2*g**2 + 4*g + 3*g + 9 - 3*g**2. Let b be q(8). Let a be 5/(-2) + b/2. Is a >= -6/7?
False
Let i = -4 + 6. Let p(j) = 5*j - 19. Let c be p(6). Suppose 0 = 3*n + 8*n - c. Which is smaller: n or i?
n
Let k be (-14 + 3 + 3)/(-2). Suppose k*o - 3*o - 108 = 0. Let r be o/26 - (-8)/(-52). Is r equal to 4?
True
Suppose 0 = 2*w + 4, 5*x + 3*w + 129 - 23 = 0. Let v = x - -17. Is v <= -13/7?
True
Let p = 896 - 1115. Is p greater than or equal to 0.3?
False
Let q = -3 - -2.8. Let b = 640 + -3198/5. Is b less than q?
False
Let d = 0.083 - 35.083. Let x = d + 35.3. Which is smaller: -4/5 or x?
-4/5
Let x be 0 + (5 - (-148 + 4)). Suppose -x - 113 = 4*q - 3*y, 2*q + y = -136. Is q smaller than -68?
False
Let r(b) = -b**3 + 6*b**2 - 3*b - 3. Let q be r(6). Suppose -4*s + 4*x = -5*s - 31, 4*x = s + 7. Let h = s - q. Is 8/7 equal to h?
False
Let g(d) = d**3 - 4*d**2 + d - 4. Let p be g(4). Let n be (-4)/(p + (3 - 1757)). Let y = n + 1720/14909. Is y at least as big as 0.1?
True
Let d = -121003227725583947608057/4051083 - -29869352892938896. Let k = d - 4/238299. Let h = k + -403. Is h smaller than 0?
False
Suppose -7*t + 3*t + 4*j + 24 = 0, -t + 2*j = -10. Let s(k) = -k**3 - 4*k**2 - k - 6. Let w be s(-4). Let o be (-288)/(-42)*-2*w/8. Is t greater than o?
False
Let z(t) = -5*t**2 + 2*t + 1. Let j be z(2). Let g be (65/j)/(1/(-3)). Which is greater: 12 or g?
g
Let i be ((-2)/(-27))/((-3)/9). Let c = -9.92 - -12.32. Is i at least as big as c?
False
Let t be (2 + 0)/(2/52). Let h be (9/(-6))/((-2)/t). Let f be h/(-6) - (-3)/(-6). Which is smaller: -8 or f?
-8
Suppose z - 3*z + 4*k - 2 = 0, -2*k = 4*z + 4. Let m(n) = 24*n**3 + 2*n**2 - 1. Let b be m(1). Let d be z + -23*(-1)/b. Which is greater: d or -1?
d
Let i(n) = 2*n. Let x be i(6). Let k = -195 + 199. Suppose -2*v + 6*v = -16, 4*t = k*v + x. Is t bigger than 1/8?
False
Suppose 476 = -53*n + 46*n. Do -69 and n have different values?
True
Let z(h) = -2*h**2 + 25*h + 33. Let j be z(17). Is j greater than -120?
False
Suppose 0 = -5*x - 6*j + 5*j - 165, -4*x = 2*j + 126. Are -163/5 and x non-equal?
True
Suppose 0 = -z - 4*x + 53 - 5, 3*x = 3*z - 144. Is 47 < z?
True
Suppose 0 = -b - 5*r + 10, 2*b - 12 = 2*r - 4*r. Suppose -5*m - d = 0, b*m + 9*d + 20 = 4*d. Which is smaller: m or 16/9?
m
Let d = 10 - 8.9. Let r = 0.0588 - -0.0412. Which is smaller: d or r?
r
Let l(f) = -f**3 - 7*f**2 + 10*f - 9. Let y be l(4). Let q = -119 - y. Is 25 greater than q?
False
Let q be (-3)/2 + (-42)/(-4). Suppose 2*d = 5*d - q. Let y be 0 + d/((-15)/(-2)). Are y and 1 equal?
False
Let z be -13*((-8)/(-5))/(-8). Let o be (33/9 + -3)*12. Let m = -4 + o. Is m >= z?
True
Suppose 12*y = 8*y + 12. Is -3 at least as big as y?
False
Let u(j) = -j**3 - j - 10. Suppose 5*d = -h, 5*d - h = -5*h. Let b be u(d). Let a be (-6)/9 + b/(-15). Which is bigger: a or 1/6?
1/6
Let m(b) = -b**3 + 3*b**2 + 3*b + 1. Let z be m(4). Suppose 3*s - 86 = -92. Is z < s?
True
Let f = 53 + -41.4. Let p = 0.4 + f. Let b = p - 7. Which is bigger: -2/3 or b?
b
Let t = 2/5 + -3/5. Let a be 1 - 338/88 - 2. Let c = a - -45/11. Does t = c?
False
Suppose 0 = 8*v - 3*v - 25, 5*d - 205 = -v. Suppose -4*i + 0*i = -d. Let n(m) = -m**3 + 4*m**2 + m + 5. Let l be n(4). Are i and l equal?
False
Let d be 856/36 + (-4)/(-18). Let r be (d/20)/((-6)/(-15)). Let m be (5/r)/(1/3). Which is greater: m or 6?
6
Let g = -1/4402 - -189291/22010. Which is smaller: 9 or g?
g
Let p = 66 + 7. Let z = p - 63. Is z smaller than 0.04?
False
Let g = 100 - 100. Which is greater: g or 67?
67
Let w be 1/((6/12)/(1 - 0)). Suppose q + 14 = -x - 11, w*x + q = -50. Which is bigger: -24 or x?
-24
Let k = -7321 - -7303.095. Let m = k + 0.785. Let u = m - -17. Which is bigger: u or 0?
0
Let a(p) = -22*p**2 + 7*p**2 - 21 - 9 + p - 2*p - p**3. Let g be a(-15). Is -2 > g?
True
Let u = -330 + 7588/23. Which is bigger: u or -0.2?
u
Let c be (8/5)/(7/(-35)). Let x(m) = m**3 - 7*m**2 - 9*m + 1. Let t be x(8). Let p = -16 - t. Which is greater: p or c?
c
Let s be (-36)/54 - (-25)/(-3). Let m be ((-86)/(-10))/(3/s*-3). Which is greater: m or 8?
m
Let q = -148 - -127. Which is bigger: q or -234/11?
q
Let f be (-657)/11*(-14)/(-21). Let k = f - -7391/187. Which is smaller: 1 or k?
k
Let i be (1/(-5))/(7/(-210)). Is i >= 87/13?
False
Suppose -5*h + 35 = 4*s, 4*h - 5*s + 9 - 37 = 0. Suppose m = 2*f + 2*f - 171, m + 45 = f. Let i = f + -34. Which is smaller: h or i?
h
Suppose 2*i + 4*y = 38, -3*y - 33 = -5*i + 36. Let p be 0*3/i*1. Is 1 at least as big as p?
True
Let u = -6 + -7. Let l = u - -10. Which is greater: 3/5 or l?
3/5
Let i be 156 + (1/(-3) - 16/6). Is i <= 154?
True
Suppose 3*h + 2*a - 74 = h, -29 = -h + a. Is h greater than 32?
True
Suppose u + 9 = 2*i + 7, 2*u = 5*i - 4. Let f(j) = 5*j + 44. Let a be f(i). Is a greater than 45?
False
Let v = -15 + -4. Let p = -1426 + 1407. Are p and v non-equal?
False
Let l be (-5 + 1)*(2 + -5 + -1). Which is greater: l or 10?
l
Let n = -274 - -269. Is -35/9 equal to n?
False
Let x = -84 - -83. Suppose -6 = z + 2*z. Let g be (1/16*-2)/z. Which is smaller: g or x?
x
Let a = -66 - -39.36. Let z = -0.64 - a. Is -0.1 greater than z?
False
Let w be -44*(-3 - ((-273)/90 + 0)). Let b = w - -4/3. Which is greater: b or 0?
0
Let v = -4/471 - -155/12089. Is v less than or equal to -0.1?
False
Let m = 1700 + -1699. Let k be 1 + -2 + (-3)/(-5). Which is greater: m or k?
m
Let b = -5 + 3. Let d be ((-12)/(-130))/(b/(-5)). Let u(q) = -q**3 - 7*q**2 + 9*q + 9. Let i be u(-8). Which is greater: i or d?
i
Suppose 35 + 73 = 12*z. Is 126/13 greater than z?
True
Let p = 17 - 15. Suppose -x = 3, -4*n - p*x = 62 - 20. Is -17/2 equal to n?
False
Let q = -5.17 - 1.73. Let i = -7 - q. Which is bigger: -1 or i?
i
Let b be (0/1 - 1)*(-1)/(-1). Are -14/37 and b equal?
False
Suppose -v - 4*m - 38 = 0, v - 4*m + 22 = -0. Let d = 29 - 58. Which is bigger: v or d?
d
Let j = 69 - 70. Let m = -0.57 - -21.57. Which is smaller: j or m?
j
Suppose 3*q - 5*w - 12 = -37, -2*q = -2*w + 10. Let c = -0.02 - -0.42. Which is bigger: q or c?
c
Let q be (-4)/(-4) + 159/7. Let x = -24 + q. Let o be (3 - (-22)/(-6)) + (-2)/6. Which is smaller: x or o?
o
Suppose 1356*k - 1352*k + 724 = 0. Is k equal to -185?
False
Let j = 558 - 568. Suppose -5*i - 21 = 24. Is j <= i?
True
Let w be 5472/17 - (25/5 - 3). Suppose -4*a + z = -167 + 1451, 0 = -4*z + 16. Let d = a + w. Are d and -1 nonequal?
True
Let l be (-1)/2*(2 + -2). Let u = -16711 - -84233/5. Let w = -135 + u. Which is smaller: l or w?
l
Suppose -26*m - 4*m - 30 = 0. Which is smaller: m or 1/19?
m
Let o = 0.2 + -0.3. Let i = 8.16 + -6. Let c = i + -0.16. Is c greater than o?
True
Suppose 0 = -3*q + 100 + 14. Let p = 40 - q. Suppose p - 3 = -j. Is -1/9 less than or equal to j?
True
Let g = 406 - 399. Let f(v) = v**3 - 6*v**2 + 2*v - 8. Let s be f(6). Is g >= s?
True
Let y = 401 + -18848/47. Which is bigger: y or -1?
y
Let j = 1768/5 + -355. Is j bigger than -1/2?
False
Let z(i) = i**2 - 11*i + 10. Let l be z(10). Suppose 3*s - 6*s - 6 = l. Let h be (-1)/(-3)*4/2. Is h bigger than s?
True
Let b = -242 - -240. Suppose 16 = -c - 3*c. Let r be -2 - b - (c + 4). Is 6/11 less than or equal to r?
False
Let d(v) = -v - 3. Let x be d(-4). Let i be x/(7/(-24)) - -3. Let y be (6/24)/(2/8). Is i at most as big as y?
True
Let s(u) = -u**2 + 15*u - 1. Let f be s(15). Which is smaller: -13/14 or f?
f
Suppose 0 = -w - 3*u - 12, -4*w - 12 = 6*u - 3*u. Is 1/641 smaller than w?
False
Suppose 0 = 4*d - v + 172, -d - 61*v - 43 = -59*v. Is d smaller than -6?
True
Let c be (-35)/(-30) + 4009/(-3426). Is c at most -1?
False
Let j be 12/(-1172)*(-3)/9. Which is smaller: 0 or j?
0
Let j be (11/(-2))/(5/2). Let x(t) = -t**3 + 7*t**2 - 5*t - 8. Let p be x(6). Let a be -10 - -7 - 0/p. Which is greater: j or a?
j
Let b = -23 - -9. Let k = 30.1 - 18.1. Let h = k + b. Which is bigger: 0.3 or h?
0.3
Let l be 8 - (-4 - 28878/(-2406)). Is l less than -1?
False
Let y = 254 + -182. Which is smaller: y or 74?
y
Suppose -65*o + 57*o + 56 = 0. Suppose 2