k equal?
False
Suppose 4*o - 339 = -3*x, 4*x = o - 84 + 4. Let v be 15/25 + 18*o/(-520). Which is smaller: v or -1?
v
Let t = 3 - -406. Is 409 at least as big as t?
True
Let n = -0.3 + 0.3. Let y = -0.0664 - 31.8336. Let m = 32 + y. Which is bigger: m or n?
m
Suppose -3*c + 2*i - 3*i - 8 = 0, -2*i = c + 1. Let a be -2*c/(-54)*2. Let t = 1 - 0. Which is greater: a or t?
t
Let b = -15.9 + 15. Let y = b - -2.9. Let p = 0.746 - 0.146. Is p bigger than y?
False
Suppose 15 = 85*i + 15. Let u = -368/99 + 36/11. Is i bigger than u?
True
Suppose -37 - 107 = -4*x. Let v be 1449/x - 1/4. Let r be (-6)/v + 10/25. Is r bigger than -1?
True
Suppose 48 = -5*j - 152. Do -2 and j have the same value?
False
Let n = -2 - 3. Let w = n + 4.78. Let x = 0.02 + w. Which is greater: 2/7 or x?
2/7
Let z be 4/34 - 5211/32589. Is z greater than 0?
False
Let g = -17.688 - 1.312. Is g bigger than -7?
False
Let b(o) be the third derivative of o**4/24 - o**3/6 - 3*o**2. Let d be b(-1). Is -3 at most as big as d?
True
Let t = -0.1 - -0.08. Let m = t + -0.18. Which is greater: m or 29?
29
Let y(w) = -5*w + 43. Let m(l) = 6*l - 44. Let h(p) = 4*m(p) + 5*y(p). Let d be h(0). Is 39 at least as big as d?
True
Let f = 3.281 - 2.281. Let p = 0.01 + -0.13. Is f equal to p?
False
Suppose 0 = 4*z - q - 3*q + 48, 5*z + 50 = -5*q. Let t = z + 9. Is t smaller than -2?
False
Let y(t) be the first derivative of -t**4/4 - 8*t**3/3 - 9*t**2/2 - 10*t + 6. Let s be y(-7). Suppose 0 = s*z - 2*z + 6. Is -1 at most z?
False
Let t be (-3)/4*360/(-675). Which is greater: -22/9 or t?
t
Let d = 278 - 265. Is d less than 38/3?
False
Let p = -0.1 - -0.3. Let l = 0.5 - p. Let z = 16.2 - 16. Is l less than or equal to z?
False
Let j = 46 + 56. Let f = j - 4999/49. Is f greater than 0?
False
Let s = 752 - 342911/456. Let t = 941/13224 - s. Which is bigger: 0.2 or t?
0.2
Suppose -2*k - 13 = -5*l, -3 = -k + l - 2. Suppose -5*i + 3*i = -k. Suppose -q + 4 = i*q. Which is greater: 0 or q?
q
Let x = 6 - 4. Let r = 8 - 1. Let m = r + -5. Is m at most as big as x?
True
Let g(x) = x - 8. Suppose 2*k + 0*j - 5 = -j, -4*k + 2*j = -14. Let q(m) = m**2 - 2*m + 3. Let d be q(k). Let b be g(d). Are b and -4/7 non-equal?
True
Suppose 3*y = 4*r + 15, -4*y + r + 4 + 3 = 0. Which is smaller: y or -602?
-602
Suppose -5*r + 4*q = -70, 11 + 31 = 3*r - 3*q. Suppose 12 = r*s - 11*s. Which is greater: 14/5 or s?
s
Let h = 1.9 + -2.1. Is h at least 10/7?
False
Let s = 4 + 1. Suppose s*b = 3*b - 56. Let v(l) = l**3 - 15*l**2 + 3*l + 272. Let g be v(13). Which is bigger: b or g?
g
Suppose 2*j + 1 = -1. Let y(r) = 3*r**2 + r - 1. Let c be y(j). Which is greater: 18/11 or c?
18/11
Let l = 1.998 + -0.388. Let o = l - 0.61. Is o at least -8/5?
True
Let l be -4 + 7 + 2*1. Suppose -l*f + g - 75 = 0, 2*g = -f + 4*g - 15. Let r be ((-66)/f + -4)*-1. Is -0.06 >= r?
True
Let z = 26.33 - 3.43. Let y = 203 - 180. Let r = z - y. Is r greater than -0.5?
True
Let f(n) = 2*n**2 + 41*n - 68. Let h be f(-22). Suppose 0 = -2*q - 2*i, 0*q - i = -5*q. Suppose -4*v + c - 4*c - 14 = q, 5*v = 3*c - 4. Is h < v?
False
Suppose -5*h = 4*j + 418 + 316, -2*h - 296 = 4*j. Which is smaller: -145 or h?
h
Suppose 9 = 3*o - 4*o. Let a = 89 + o. Is 80 less than a?
False
Suppose 2*y - 3*o = 1137, -3*y + 1709 = -9*o + 8*o. Is 571 equal to y?
False
Let q = 21/20 - 113/100. Is -38 at most as big as q?
True
Suppose 126 = -5*f + u + 2*u, 0 = 4*f - 4*u + 104. Let b be f/16 - (-2)/(-4) - 94. Is b not equal to -96?
False
Suppose 7*w + 80 = 23*w. Let t = 0.06 - 0.36. Let j = -0.3 - t. Is j at most w?
True
Let u = -3342 + 3343. Let l = -10/67 - -1996/14271. Let r = 79/852 + l. Does u = r?
False
Let l = 315 + -519. Suppose 4*a = -2*i + 12, 4 = 4*a - 2*a. Let k be ((-4)/l)/((-1)/i). Are k and 0 equal?
False
Let r = -12 - -36. Let g = -118 + 146. Let c = g - r. Is -2/3 at most c?
True
Let j(u) be the first derivative of -u**4/4 - 4*u**3/3 - 3*u + 24. Let d be -1 - (2 + 1 + 0). Let k be j(d). Which is smaller: -4 or k?
-4
Let d = -32.9 + 40. Let g = -4.1 + d. Is 3 != g?
False
Let b(u) = -u**3 - 8*u**2 + 10*u - 7. Let k be b(-9). Let n = 28 - 27. Is n greater than or equal to k?
True
Let k be -1 - 3 - (-7 + 0). Suppose -k*r = 2*b + 206, 5*b - r + 553 = r. Let f = 547/5 + b. Which is bigger: -1 or f?
f
Suppose 0 = -34*s - 1361 - 11899. Is -390 greater than s?
False
Suppose -6 = 25*y - 26*y. Let g be (-1 - 0) + 5/y. Let i = 6 + 1. Is i greater than g?
True
Let z = 0.21 - 0.49. Let h = -109.1 + 109. Which is smaller: z or h?
z
Suppose -6 = 7*n - 13*n. Let y(w) = -6*w - 3. Let a be y(n). Which is smaller: -8 or a?
a
Let h = -0.0677 + -10.9323. Which is greater: h or -60?
h
Let a(v) = -v**3 - 2*v**2 - v - 1. Let w be a(-1). Let u be ((-52)/(-3))/(-195 - -5). Let o = u - 1/114. Which is greater: o or w?
o
Suppose -15 = -6*c - 3. Which is smaller: -6 or c?
-6
Let h(t) = 5*t**3 - 32 - 7*t**2 + 6*t - 6*t**3 + 35. Let r be h(-4). Is -69 bigger than r?
False
Let b = 12 - 17. Suppose 0*d - 44 = -4*d + 2*v, 0 = -4*d - 5*v + 16. Suppose 2*r + 15 = d. Which is bigger: b or r?
r
Suppose 5*p + 108 = p. Let c = p - -55/2. Let a(n) = n + 6. Let u be a(-5). Is c less than u?
True
Let x = -28 + 31. Let v be ((-10)/(-25))/((-12)/15). Which is bigger: v or x?
x
Let q(u) = u**3 - 4*u**2 + u + 2. Suppose -3*v + 4*h - 11 = -0*v, 0 = v - 5*h + 22. Let y be q(v). Suppose 0 = 6*g - g + 20. Is g less than or equal to y?
True
Let u be ((-6)/4)/((-1)/2). Suppose -x = -2*x - u. Let p = 233 - 234. Which is smaller: x or p?
x
Let j(n) = n**2 + 9*n - 3. Let l be j(-8). Is l greater than -18?
True
Suppose 3*t = 2*t + 1. Let m = 5432/15 + -362. Are m and t nonequal?
True
Let b(x) = x**2 + 3*x + 1. Let r be b(-1). Let c = -5 - r. Let k be ((-2)/c)/((-10)/480). Which is smaller: -23 or k?
k
Let c = 713164751/612 - 4661383/4. Let j = 398/9 + c. Which is smaller: j or -1?
-1
Let l = 24 - 20.9. Let q = l + -2. Let y = -1.1 + q. Which is bigger: y or -4?
y
Let j(t) = 13*t - 24. Let l(k) = -38*k + 72. Let f(d) = 17*j(d) + 6*l(d). Let o be f(6). Is -18 != o?
False
Let v(x) = -6*x**2 + 10. Let q be v(5). Let l be q/10 + -1 + 1. Is -14 != l?
False
Let x = -0.03 - -0.03. Let q = 54 - 11. Let f = 427/10 - q. Is x != f?
True
Let y = -73 + 76. Let c be y*65/15*-1*2. Is c greater than or equal to -26?
True
Let h = -4.3 - -4.51. Let f = h + 0.39. Let q = f - 1.9. Are -2/3 and q equal?
False
Let z = 514 + -521. Is z smaller than -9?
False
Let c = 3.343 + -3.3. Does -1/3 = c?
False
Let v = 0.8 - -0.2. Suppose -3*d + 5*i = 2 + 1, 4*d - 3*i = -15. Let z be ((-24)/36)/(-1*(-1)/d). Do z and v have the same value?
False
Let o = 970 + -953. Which is smaller: 0.12 or o?
0.12
Let a = 991 - 46575/47. Let r = -100/4277 - a. Which is greater: -1 or r?
r
Let v be 0 + 3 - -21027*1/(-29). Let z = 722 + v. Let u = -1 + 1. Is z <= u?
True
Let s = 5.7 - 6. Let c = -1 + s. Let j = -0.04 + 0.24. Which is smaller: j or c?
c
Let b(h) = -23*h**2 - 183*h + 8. Let t be b(-8). Is t != -8/357?
True
Let s be -2 + (3 - 2) + 1. Let v be -2*36/56*(-8)/8. Is s not equal to v?
True
Let b(l) = -4*l**3 - l**2 - 2*l + 1. Let f be b(1). Let c be -1 + 41/f - (-6 - -4). Which is smaller: c or -5?
c
Let t(l) = -3*l + 60. Let k be t(19). Suppose 5*f - 2*s + 290 = k*s, -5*f = 3*s + 290. Are f and -57 non-equal?
True
Suppose -4*z = -c + 75 - 12, -2*c = 4*z + 78. Is -3/31 at least z?
True
Let h be (-6)/(-2) - 2*2. Let q(z) = -124*z + 4 + 120*z - 2. Let f be q(h). Which is smaller: 9/2 or f?
9/2
Suppose 4*o + o + 5*z - 340 = 0, 0 = o - 4*z - 73. Suppose 11*u + o = 14*u. Is u at least 24?
False
Let p be (-11700)/1188 + (6/9)/(-2). Is -9 at most p?
False
Let u = 1267/6 + -211. Which is bigger: u or 10/9?
10/9
Let b = -47560/17 - -2799. Which is smaller: 0 or b?
0
Let v = -32/7 - -277/56. Is v at most as big as 1/3?
False
Let y = -0.66 - -0.06. Let x = -27.24 + 0.24. Let r = 28 + x. Are y and r equal?
False
Let b(u) = -u**2 - 5*u - 4. Let s be b(-4). Suppose 3*v = -s*v - 24. Which is smaller: v or -7?
v
Let c be ((-8)/(-12))/(-2) + 0 + 1. Which is smaller: -2/375 or c?
-2/375
Let m be 8/3 + (-6)/9. Suppose 119*f = 319 + 389 - 113. Does m = f?
False
Suppose -5*g = 4*m + 77, 4*m + 24 = 5*g - 3. Let j = 16 + m. Suppose 0*t - 13 = -2*n - j*t, n = 4*t - 10. Is n >= 1?
True
Let a = 2/8