+ 21*n + 16. Let v be k(-10). Let r be (-6)/18 - v/(-22). Which is smaller: r or 0?
r
Suppose -9 + 0 = -3*l. Suppose l*f = i + 7, 4*i - 3 = 4*f + 1. Suppose -i*q = -9*q - 20. Do q and -5 have the same value?
True
Suppose 2*f = 10*f. Let h be ((-4)/(-5))/(8/240). Let l be h/(-9) + 2/3. Which is greater: f or l?
f
Let z = 13 + -17. Let p be z/10 - 267/(-105). Are p and 1 equal?
False
Let c = 1343 + -2919. Let i = -127658/81 - c. Are i and 1 equal?
False
Suppose -337*a - 12 = -335*a. Is a <= 10?
True
Let l = -41 + 50.04. Let j = l - 9. Let a = 0.14 - j. Is a bigger than 9?
False
Let p(s) = -s**2 + 7*s + 8. Let x be p(8). Suppose x = -5*v + 35. Let m be (-12)/42 + (-26)/v. Is -1 != m?
True
Let v = -8 + 8. Suppose 0 = -2*p + 4*s - 3 - 5, -5*s + 15 = v. Suppose -p*r = r. Is -2 greater than r?
False
Suppose 0 = 2*w - 6 + 2. Suppose -w*y + 4 + 14 = 0. Let a be ((-6)/9)/(6/y). Which is bigger: 1/10 or a?
1/10
Let y = 696 + -317. Which is bigger: y or 378?
y
Let h be ((-4 + 4)/(-3))/2. Suppose 3*f + 5*s = 17, h = -2*f + 3*s - 14. Let l = -47/6 - -8. Which is smaller: l or f?
f
Suppose 4*v = g - 4*g - 117, -5*g = 5*v + 140. Suppose 120 = -3*f + 4*w + 21, 4*f = 2*w - 132. Is v less than f?
False
Let u(b) = 49*b - 865. Let d be u(18). Suppose 0 = 3*h - j - 49, -5*h + 6*j + 75 = j. Are d and h equal?
True
Let u = -2 - -22. Let n be u/((-4)/6*-3). Are n and 0 equal?
False
Let s(k) = -4*k + 22. Let j(p) = -5*p + 23. Let m(h) = 3*j(h) - 4*s(h). Let z be m(9). Let w = -11 - z. Which is greater: 2/11 or w?
2/11
Let d = -0.001 + -0.869. Let r = -5.97 + 6. Let f = d - r. Which is bigger: 2/7 or f?
2/7
Let v = 742 - 23000/31. Which is smaller: 0 or v?
0
Suppose 16 = -4*v - 44. Let d = -48 + 33. Is d >= v?
True
Let u = 215 - 217. Is -5/6 <= u?
False
Let t = -917 + 914. Let o be ((-38)/(-10) - 2) + -2. Is o greater than t?
True
Let i be 1638/(-20) - 2/(-5). Let r = -156 + 76. Let d = r - i. Is 1 <= d?
True
Let z = -0.07 + -3.93. Let a = -1.116 + -0.044. Let b = a + 0.16. Which is greater: z or b?
b
Let r = 0.072 - 0.015. Let c = 3.057 - r. Are c and 1/3 nonequal?
True
Let h = -1.3524 + 0.0724. Is h less than 1/3?
True
Let c(g) = g + 13. Let t be c(-9). Let u be (6/18)/(t/6). Is -2/33 less than u?
True
Let o be ((-117)/(-3))/(12/(-8)). Let c = o + 20. Suppose 10*u - 5*u + 34 = 4*b, 0 = -3*u + 3*b - 21. Do c and u have different values?
False
Let z be (4 - 0)*24/(-3888). Let y = z - 44/405. Which is greater: y or 4?
4
Suppose 398*p = 396*p - 8. Which is bigger: p or -10?
p
Let w = -4517/3 + 1505. Which is bigger: 6.6 or w?
6.6
Suppose -18*t = 165 + 51. Are t and -150/13 equal?
False
Let i(k) = 3*k + 26. Let x be i(-8). Let g = 61 + -86. Let w = g + 27. Is w at most x?
True
Let l = 9 + -5. Suppose -2*x = 0, -4*x = -l*s + 8*s - 12. Let k be (-9)/s + 1 + 3. Do k and 1/8 have the same value?
False
Suppose 0*j - 33 = -5*m - 3*j, -3*m + 5*j + 13 = 0. Do 7 and m have the same value?
False
Let z be -4*(1 - 2)*1. Let b be (-115)/(-46)*(3 + -1). Are z and b equal?
False
Suppose -14 = o + 3*a, -2*o - 3*a + 6*a = 1. Let g be 2/3*((-5)/(-9))/o. Which is smaller: g or -1?
-1
Suppose 3*k - 2*k = 0. Suppose 0*d - 32 = -4*y + 4*d, k = -y + 2*d + 12. Suppose -l + 13 = 4*l - 3*s, y*s = 4*l - 12. Which is smaller: 15/7 or l?
l
Let b = 100 + -57. Let l = b - 48. Suppose n + 0*n - k + 4 = 0, -7 = n + 2*k. Is n != l?
False
Let j = -4.9 + 23.9. Let w = -13 + j. Which is greater: w or 1?
w
Let n(b) = -b**3 + 7*b**2. Let f be n(7). Is f < -4/19?
False
Let d be 9/(1 + (-11)/((-165)/(-18))). Let i be ((-2)/(-6))/((-267)/d - 6). Which is greater: i or -26/5?
i
Suppose 0 = -9*d - 9*d + 5*d. Suppose d*b = -3*b + 99. Which is smaller: 31 or b?
31
Let b be (-123)/164 + 198/8. Does b = 22?
False
Suppose 13 = -2*l - 19. Let c = -12 - l. Are 3 and c non-equal?
True
Suppose -4*o + 16 + 45 = c, 0 = -o + c + 19. Let b be (-56)/14 + o/2. Is b equal to 5?
False
Let n = 9 + -7. Let t(a) = 43 - 43 + 2*a + a**n. Let k be t(-3). Which is bigger: 0 or k?
k
Let m be (12/(-3))/((18/58)/3). Which is greater: m or -38?
-38
Let q = -0.0045 - -21.0045. Is -2/3 smaller than q?
True
Let y = -241 - -244. Which is greater: -4 or y?
y
Let y = 190 - 188. Are y and 4 unequal?
True
Let x be (6/5)/((-24)/1840*1). Is -92 > x?
False
Let h = 161/676 - -2/169. Let k(f) = -3*f**2 - 24*f + 22. Let t(u) = 4*u**2 + 24*u - 22. Let z(r) = 5*k(r) + 4*t(r). Let b be z(23). Which is smaller: h or b?
b
Let a be (2 - 5/2)/(35/70). Is a at least as big as 4/39?
False
Let o = 161 - 155. Suppose -4*m - o = -2. Which is smaller: -3 or m?
-3
Let z = -278 + -75. Which is smaller: z or 0?
z
Let c = 0.34 + 0.06. Let n = -97.6 + 98. Let z = n - c. Is z > -16?
True
Let n be (-3)/(-4)*4 + -9. Let f be n/10 - 42/5. Let u be f/(-6) - (-2)/(-2). Which is bigger: 5 or u?
5
Let z be ((-2)/6 - (-10)/(-6))*-2. Let y be (z/2)/6 - (-22)/(-3). Suppose 0 = -0*x - 3*x - 18. Is y >= x?
False
Let d = -0.62 + 0.62. Is d greater than or equal to 3/5?
False
Let h = -68/77 + 2444/3465. Which is greater: h or 1?
1
Let x = 34 - 67. Let j be 3 + x/24*2. Let d = -3 + 2. Is d < j?
True
Let t be 13/3 - 3/9. Suppose -f + 0 = 4*y + 15, 3*y = t*f - 16. Let a be (-4)/(-8)*(-2)/3. Are a and f non-equal?
True
Let a = 2/13135 + -1027159/13135. Let b = -78 - a. Which is greater: 18 or b?
18
Let a(h) = 3*h + 1. Let j be a(-3). Let g be (-27)/(-4) - 2/j. Does g = 9?
False
Let t(a) = -3*a**2 - 79*a - 28. Let r be t(-26). Let l be r/(-10)*-7*16/(-56). Which is bigger: -32 or l?
l
Let q be ((-33)/(-2) + 1)/((-5)/(-10)). Let z = 313/9 - q. Let o be 3/2*(-3 + 1). Which is bigger: o or z?
z
Let h(o) = -4*o + 5. Let v(k) = 5*k - 5. Let b(u) = -4*h(u) - 3*v(u). Let t be b(6). Is t greater than or equal to 3?
False
Suppose -579*s = -588*s + 1647. Which is smaller: 180 or s?
180
Suppose -3*s - 96 = -5*f, -4*s - 25 = -f + 1. Which is greater: 161/9 or f?
f
Let w be 561/27 + (-12)/(-54). Let t = 37 - w. Which is bigger: 15 or t?
t
Suppose v - 4*s - 9 = 15, 3*s = 4*v - 31. Let i be (v - (-32)/(-12))/2. Is i <= -2/17?
False
Let t be (-21)/(-9) + -10 + 7. Is t at least 2117?
False
Let c(h) = 4*h. Let g be c(-1). Let q be 2*3/(-2) - g. Which is smaller: 1/14 or q?
1/14
Let t be (((-3)/18)/(1/4))/(-6). Let a(q) = q + 3. Let s be (-10)/45 - (-136)/(-36). Let n be a(s). Which is bigger: n or t?
t
Let n(r) = r**2 - 22*r + 56. Let t be n(19). Let k be -1 + t/((-256)/252). Which is greater: k or 0?
0
Let r be (3/(-4))/(0 + (-3)/2501). Let f = r + -619. Is 0 at least f?
False
Suppose -3*f - 3 = 0, -15*j + 5*f = -12*j - 260. Which is smaller: j or 84?
84
Let s(h) be the third derivative of h**6/120 + h**5/10 - 7*h**4/24 + h**3/2 - 2*h**2. Suppose 5*f + 25 = -5*a, a + 0*f = 5*f - 17. Let t be s(a). Is 4 >= t?
True
Let c = -1414 + 1415. Is 0.0153 <= c?
True
Suppose -k + 3*k + 3*l = 1, -2*l = -2*k + 6. Suppose -k = -2*o + 8. Let d be (10/(-25))/(6/o). Which is smaller: d or -1?
-1
Suppose 3*l + 3*g + g = 16, g = -2*l + 9. Suppose -u - 2*u + 16 = -l*o, 0 = -4*u + 3*o + 19. Suppose -10 = u*r + r. Which is greater: -1/2 or r?
-1/2
Let m = -0.52 - -0.72. Suppose -3*f - 2*f + 3*j = 6, -f - 4*j = -8. Let g be (-2)/4*f/(-4). Which is smaller: g or m?
g
Suppose 2 = g - 2*g. Let q be (-5)/20 + g/(-8). Suppose q = -5*k + 1 - 6. Is k bigger than -1?
False
Suppose -3*c + 5*w + 15 + 3 = 0, -c - 3*w - 8 = 0. Suppose -108 + 3 = 5*l. Let v be 3 - ((-39)/l + 1). Do v and c have the same value?
False
Let w = -5.067 - -0.067. Let m = 0.032 - 4.982. Let v = m - w. Is v >= -0.2?
True
Suppose -3 - 27 = -6*c. Suppose -5 = -2*l - k, l + 3*k - c = 10. Is 2/49 <= l?
False
Suppose 4*y - 3*m + 4 = 0, 2*y + 5*m = 9 + 15. Suppose -5*q + 56 = y*b, 72 - 2 = 5*q - 5*b. Is 4 > q?
False
Let k = -604 + 289. Let x = -311.89 - k. Let a = x + -0.11. Are 0.1 and a nonequal?
True
Let n(c) = -86*c**2 + c + 1. Let k be n(-1). Suppose 0*i + 18 = 3*i. Let h be i/(-42) - k/112. Do 0 and h have different values?
True
Let z = -2 - 4. Let k be z/21 + (-1011)/(-84). Let c = 41/4 - k. Is -3 bigger than c?
False
Let t = -5 + 11. Suppose -b = -t*b. Which is smaller: b or 2/57?
b
Suppose -o - 87 = -3*k, o + k = -3*k - 59. Let v = o - -75. Is v at least -2/183?
True
Suppose -4*x + 102 = -3*k, -4*x + 112 = x + 4*k. Let g(t) = 19*t - 624. Let p be g(34). Which is b