hich is smaller: -188 or j?
-188
Let f = 727.1 - 727. Do f and -254 have different values?
True
Let b = -17.96 + 18. Let l = b - -2.96. Let i = -1.9 + l. Are i and 1 non-equal?
True
Let y be ((-4)/(-26))/((-4)/14). Let j = 215 - 217. Do y and j have different values?
True
Let n = 0.132 + 62.368. Let i = n - 63. Is i greater than or equal to 2/9?
False
Suppose 2*g + 3*y + 7 = 0, -g + 107*y = 104*y - 10. Is -1/2653 > g?
False
Let x(t) be the first derivative of t**2 + 9*t + 138. Let d be (2*(-5)/2)/1. Let k be x(d). Which is greater: k or 2?
2
Let v = 2/7459 - -5989/5482365. Is v > -1?
True
Suppose 0 = 5*b + 1193 - 7503. Is 1262 < b?
False
Let b(r) = -r**3 + 3*r**2 - r - 1. Let m = 10 + -8. Let c be b(m). Let s be 0/((3 - 3) + c). Which is bigger: s or 3/25?
3/25
Let z(b) = 14*b**3 + b**2 - 3*b + 2. Let s be z(1). Let m be (-3)/(-7) + 575/s - -2. Are 44 and m non-equal?
True
Let v be 10/20 - (-78)/4. Let p be ((-32)/v)/((-6)/45). Which is greater: p or 11?
p
Let y = 43 + -71. Which is smaller: -0.1 or y?
y
Let c be 15/(270/12) + 2589/(-9). Do -286 and c have the same value?
False
Let z be (13 - 1)*((-3)/3 + -1). Let m = z - -20. Are m and -1 unequal?
True
Suppose 21 = 6*v + v. Suppose -2*t - 38 = -4*t - 4*c, v*c = 6. Which is bigger: 12 or t?
t
Let l = 1 - -1. Let n = -6.1 + 12. Let s = -6 + n. Is s > l?
False
Let g be 65/(-260) - (-34)/(-24). Let y be -3 + (2 + -1 - 1). Which is greater: y or g?
g
Let i = 1.91 - 1.71. Is -79 at most i?
True
Let h be 1 + -1 - 0/(-1). Suppose h = -4*q + 5*q + 2*x - 10, -q + 2*x = -2. Let k be 3/((-12)/(-31)) + -3. Is q bigger than k?
True
Let k(i) = i**3 + 4*i**2 + 3*i - 1. Let r be k(-3). Let c be (-4 - 50/(-15))*-12. Let o be 2/c*(-1 + 21/13). Is o > r?
True
Let p = 0.42 - -0.13. Let y = -1.44 + p. Let q = 0.11 - y. Which is bigger: -23 or q?
q
Let p = 216 + -215. Suppose -5*m + 4 + 11 = 0. Suppose 3 = m*f - 3. Is p >= f?
False
Let k(m) = m**3 + 8*m**2 + 4*m - 16. Suppose x - 5*c + 34 = -x, 37 = -3*x + 4*c. Let i be k(x). Is 5 equal to i?
True
Let u(k) = 20*k - 37. Let l = -11 + -6. Let b(r) = -7*r + 12. Let a(h) = l*b(h) - 6*u(h). Let s be a(0). Is s bigger than 17?
True
Let t be 4*((-115)/(-35) + -3). Which is bigger: 0 or t?
t
Let y = -443 - -209. Which is bigger: y or -235?
y
Let u = -13481/63 - -214. Which is bigger: 0 or u?
u
Let m = -9 - -8.9. Let b = -8 - 16. Let g = -15 - b. Which is greater: m or g?
g
Suppose 65*q - 34*q = 25854. Are 833 and q equal?
False
Let q = 21/16 + -73/80. Let j = -0.07 + -1.33. Let g = -1.9 - j. Which is greater: g or q?
q
Let k = -22973 + 24879761/1083. Does k = 0?
False
Let b be (-20 - 2)*-1*(-15)/(-10). Let f = -31 + b. Which is smaller: f or -26?
-26
Let k = 12.69 + -12.59. Let n be (-2 - 91/(-46))*-1. Is k less than or equal to n?
False
Let l = 1005432/157 + -6404. Which is bigger: l or -1?
l
Let j be ((-368)/6)/(-2)*39/26. Is j at least 183/4?
True
Let v be 2888/4314 - 70/105. Is v != -1?
True
Let c = 6.5 - 10.8. Let g = 4.4 + c. Is g < 0.05?
False
Suppose 0*i + 57 = 3*i. Let l = i - 13. Let u be (-21)/6 - l/(-4). Is u not equal to -3?
True
Let c = -65.37 - -65.3. Let r be 1 - (3 + (-27)/12). Is c at most r?
True
Suppose -6 = -0*t - t. Suppose 6*a - a = -30. Let i be t/(-10)*4/a. Is -1 at most as big as i?
True
Let c = -238.1 + 218. Let u = -2.1 - c. Which is smaller: -0.5 or u?
-0.5
Let g = 3/4087 - -48849/265655. Which is greater: g or -1?
g
Let w be (-1)/((76/20 - 3)*1160/48). Let y(f) = -f**2 - 6*f - 6. Let i be y(-5). Which is smaller: w or i?
i
Let z(s) = 5*s**2 + 84*s - 18. Let q be z(-17). Let v(t) = -t**3 - 6*t**2 - 3*t + 5. Let n be v(-5). Let k be (-4)/6 - (n - -6). Is k bigger than q?
False
Let v = 43/3 - 725/51. Suppose 5*h - n - 21 = 0, -5*n = 2*h + 2*h - 40. Let l(b) = -2*b + 11. Let u be l(h). Is v at most u?
True
Let f = -772 - -775.9. Which is greater: 0 or f?
f
Let z be (-4)/(-6)*(-33)/22. Suppose -5*n = -26 + 116. Let d be (-4)/51*n/(-6). Which is smaller: d or z?
z
Suppose -34*z + 8*z - 130 = 0. Is z > -5?
False
Suppose 4*x + 165 = 169. Do x and -1/7 have the same value?
False
Let c be ((-1)/(-4))/(1/2999). Let x = c + -746. Let g be -1 + (4 - (2 - 3)). Is x at least as big as g?
False
Let t = -0.043 - -0.143. Let b = 1.81 - -0.29. Let s = b - t. Which is greater: -1 or s?
s
Let n = -58 - -59. Let z be ((-8)/(-90))/((-6)/(-15)). Which is bigger: z or n?
n
Let c(u) = u**3 + u**2 + 6*u - 14. Let h be c(0). Which is smaller: h or -174/13?
h
Let d = 113 + -118.3. Let x = 5.2 + d. Which is smaller: x or 23?
x
Let t = 63 + -64.2. Let x = 2.9 - t. Is x less than 0.1?
False
Suppose -13*z - 1419 + 1185 = 0. Let v = 0 + 0.1. Is z >= v?
False
Let l be (-4)/(-166)*(-8)/(-16). Let t = l - 253/332. Let v be (-160)/72 - (-2)/9. Is t at least as big as v?
True
Let o = -9/1160 - 1/58. Is 4/11 >= o?
True
Suppose 1921*i + 10 = 1931*i. Is i greater than -16?
True
Let s be 3 - 1 - (-12 + 14). Is -1/86 less than or equal to s?
True
Let x = 0.07 - 0.01. Suppose -2*a + 10 = -2*r, -4*a + 1 = 5*r + 17. Let f be 2 + (r - 5/(-2)). Is x at least f?
False
Let p = -8095/8 + 1013. Is 2 at least as big as p?
True
Let n = -41 + 25. Let y = -13.3 - n. Let l = 0 + 1. Which is bigger: l or y?
y
Let t = 17.85 + -0.77. Let x = -16.78 + -0.22. Let i = t + x. Which is smaller: i or -1?
-1
Let b(j) be the third derivative of 1/120*j**6 + 0 - j**2 - 1/60*j**5 - 1/24*j**4 - 1/6*j**3 + 0*j. Let w be b(2). Which is bigger: w or -3/14?
w
Let d = -102.202 - -0.202. Let v = d - -110. Let t = -3.1 - -3. Which is smaller: v or t?
t
Let w(l) be the third derivative of 5*l**4/24 - 2*l**3/3 - 8*l**2. Let m(c) = c - 1. Let r(f) = -11*m(f) + 2*w(f). Let x be r(5). Is x at least -1/2?
False
Suppose 1 - 5 = -2*k. Let l be 35/15 + (-4)/(-6). Suppose l*s = 7*s - 4. Are s and k nonequal?
True
Let x be (0 + -948 + 1)*-1. Let q = -10425/11 + x. Is q equal to -1?
False
Let v = 130 - 60. Let k be (-5)/v + (-9)/(-21)*-1. Do 37 and k have the same value?
False
Suppose -11 = -2*w + 15. Let p be (8 + 6)/((72/15)/4). Is p at most w?
True
Suppose 0 = -6*i + 18*i - 720. Let b be (-1)/(6/10) - i/(-90). Is b >= 5?
False
Suppose 19 = 5*p - 6. Let y = 77 - -15. Suppose -h = -p*h - y. Which is smaller: -24 or h?
-24
Let r = 0.168 - 0.268. Let v = 1.9 + -3.5. Let u = v + 20.6. Which is bigger: u or r?
u
Let k(c) = -c**2 + 4*c + 10. Let q be k(7). Let o = 27 - 28. Let t be -16 - -2 - (0 + o)*3. Is t at least as big as q?
True
Let f be (-5)/30 - 10/12. Let v be (17/(-68))/((-31)/4). Which is smaller: f or v?
f
Let i be (-685)/55 - -13 - 5290/(-22). Which is smaller: i or 239?
239
Let n = -4 + 8. Suppose o + n*p = 0, 3*p = -p. Suppose 0 = -8*c + 12*c + 10*c. Are o and c nonequal?
False
Let g = 66/43 - 1251/731. Let h(x) = x**3 + 6*x**2 + 6*x + 4. Let p be h(-5). Is p <= g?
True
Let t(l) = l**2 - 10. Let r be t(0). Let o(a) = a**3 + 9*a**2 - 12*a - 10. Let x be o(r). Let n(s) = 2*s - 24. Let g be n(x). Which is smaller: g or -2?
g
Let r(f) = f**3 + 3*f**2 - 2*f - 1. Let a be r(-3). Suppose -a*n - 2*i = 0, -5*i = -n + 17 + 10. Let w = 24 + -25. Which is greater: w or n?
n
Let g = -51 - -95. Let i be (-7)/(-9) - g/(-198). Which is smaller: i or -2/67?
-2/67
Let g(l) = 2*l + 21. Suppose 2*n = -2*n + 2*j - 36, -18 = n + 4*j. Let h be g(n). Are 1/32 and h nonequal?
True
Let k = -1102 - -1102. Let x = -30960669/268990 + -8/26899. Let i = x - -115. Is k equal to i?
False
Let w be (-35)/(-30) + 40720/(-96). Which is smaller: -422 or w?
w
Let x = 649 - 665. Suppose f - 5*k + 32 = -2*f, -5*f + 2*k = 66. Which is smaller: f or x?
x
Let d = -8 - -4. Let h(f) = -2*f - 4. Let m be h(d). Suppose m = -4*q - 0*q. Is q at most -2/3?
True
Let z = 0.977 - -40.923. Let k = z - 42. Which is bigger: k or 5?
5
Let m be (0 + 1)*6 - 3. Suppose 1 = -5*j - 4*t, t + 1 = -2*j + m. Suppose -j*r = -7*r - 108. Which is smaller: r or -26?
r
Let h(f) = -f**3 - f**2 + 3*f + 6. Let t be h(-3). Suppose t*r = 19*r + 48. Which is bigger: -14 or r?
r
Let h = -329 + 340.26. Let v = h - 11. Let d = v - 0.16. Which is bigger: 2/5 or d?
2/5
Let a = 158/7 + -9645/427. Is 1 bigger than a?
True
Let y be -25*(2/(-6))/((-1)/6). Is -2 greater than y?
True
Let u(c) = -3*c + 1. Suppose 0 = -3*m + 5*f - 8, -2*m = -m - 4*f + 5. Let i be u(m). Let s be ((-10)/15)/(i/6). Which is b