rue
Suppose 83*c = 79*c + 880. Is 220 at least as big as c?
True
Let a(x) = x**2 - 18*x + 87. Let t be a(7). Let l be (-12)/(2 - 3) - 2. Let r = l - t. Which is bigger: 0.2 or r?
0.2
Suppose 2*i - 3*v + 183 = 0, -3*v = -3 + 6. Which is smaller: -842/9 or i?
-842/9
Let o be (-5 - -6)/(-2) - (-95)/2. Which is smaller: o or 40?
40
Suppose -3*k + 4 = -2. Let u be (-1200)/180*((-1)/(-4) - 1) - 5. Which is smaller: u or k?
u
Suppose 2*g - 5 = -13. Let q be 4/8 - 138/g. Suppose -3*o + 8*o = q. Is o at most 7?
True
Let f(c) = -c. Let t(y) = -1. Let v(a) = -3*f(a) - 4*t(a). Let b be v(8). Are b and 28 nonequal?
False
Let m = 869 - 868.929. Which is bigger: m or 2/7?
2/7
Let i(l) = l**3 + 13*l**2 + 11*l - 13. Let n be i(-12). Let g be ((-1)/(2 - 3))/n. Which is smaller: g or 2?
g
Let v be (-7 + 8 + 0)*113/(-1). Is v not equal to -114?
True
Let i(g) = -g**3 + 5*g**2 + 5*g + 3. Let p be i(6). Suppose 8 = 4*h - 4*t, -2*h - 5*t - 17 = -0*h. Let u be -3 - h - 4/p. Which is greater: -2 or u?
u
Let f = 1 - -4. Let p be (119/196)/(9/8 - 1). Which is greater: f or p?
f
Let h(z) = -15*z - 6. Let o be h(-5). Which is smaller: o or 486/7?
o
Let v(h) be the third derivative of 0 + 1/120*h**6 + 0*h - 10*h**2 + 0*h**4 - 1/12*h**5 + 1/6*h**3. Let y be v(5). Is y at least -1/14?
True
Let z(c) be the first derivative of -5 + 16*c - c**2 + 11 - c**2. Let i be z(5). Is i smaller than -5?
False
Let p = -46.8 + 48.8. Which is smaller: -41/3 or p?
-41/3
Suppose 3*l = -2 + 14. Suppose 6*c = 2*c - 4*g - 4, l*c = 2*g + 2. Are c and -1/49 unequal?
True
Let f(q) = -q**3 - 2*q**2 + 3*q + 3. Let o(r) = r**2 - r - 1. Let y(s) = -f(s) - 3*o(s). Let z be y(1). Let p be (8 - 7) + 3*1. Is z < p?
True
Let k be -254 + (-10 + 0)/5. Let b = k - -1276/5. Is b >= 0.02?
False
Let s = -5 - -8. Suppose -2*u = -5*v - 12, -2*u + 0 = s*v + 4. Let l = -1185/221 + 99/17. Is l less than or equal to u?
True
Let r = -725 - -724. Is r greater than -6/317?
False
Let f = -595 - -622. Is 15 equal to f?
False
Let w = 37/2 - 19. Suppose 0 = -10*r + 56 + 4. Suppose 3*v + 9 = -r*v. Which is smaller: w or v?
v
Suppose -25 = -5*d, d + d = -5*z + 60. Suppose 5*a - 5*p - 30 = 0, 5*a - z = p - 0. Is -2/223 less than or equal to a?
True
Let d = -434 + 423. Do d and 11/4 have different values?
True
Let y(c) = 2*c + 3. Let n be y(-2). Let a(m) = m**3 + m**2 - 2*m - 2. Let r be a(-2). Let f be r*1*3/(-18). Is f at most as big as n?
False
Suppose -230*b + 168*b = -124. Is b at least 249?
False
Suppose 4 = 3*k + k. Suppose 3*l - 2*l = k. Let d = l + -5. Which is greater: d or -6?
d
Let d = 18462/3565 - 160/31. Are -0.4 and d unequal?
True
Let x be (836/(-820) - -1)*-5. Let u(k) = k**2 + 21*k + 19. Let s be u(-20). Which is smaller: s or x?
s
Let v be 0/((-2)/4*-4). Let b = -3295 - -715017/217. Which is smaller: b or v?
v
Let f = 17/3 - 181/33. Let z be (12 + -10)*1/(-2). Is f != z?
True
Suppose -s + 12 = -2*k - 3*s, 3*k + 5*s = -28. Let o be (-4)/(-34) - 5/68. Is k at least as big as o?
False
Let t be (45/54)/((-15)/(-42)). Let h(s) = -s**2 - 6*s + 9. Let f be h(-7). Is t != f?
True
Let k be ((-5)/(-1) - 2) + 2 - 6. Which is smaller: 5/49 or k?
k
Suppose 0 = -19*w + 9*w + 2180. Which is smaller: w or 0.1?
0.1
Let p = -22.79 + 23. Let m = 0.21 - p. Let f = -6.07 + 0.07. Is f equal to m?
False
Let x(i) = 5*i - 1 - 2*i - i. Let d be x(1). Let k = 197/2076 - 2/173. Is d < k?
False
Let i be 5/((-100)/(-5)) + (-6)/(-8). Is -3/71 greater than i?
False
Let q = -21.0558 - 0.0442. Let x = 30 + q. Let k = x - 9. Which is bigger: 5 or k?
5
Suppose 95 = -6*b - 31. Are b and -22 unequal?
True
Suppose 0 = -o - 4*o + 100. Suppose o = -3*x + 5*x. Suppose x = -3*y - 11. Do y and -7 have different values?
False
Let d = -635 - -633. Which is bigger: d or 25/7?
25/7
Let y = -1386919/239 + 5803. Which is smaller: -1 or y?
-1
Let g = 388 + -387. Which is smaller: -3/166 or g?
-3/166
Suppose -4*b = -10*b + 132. Let y be (0 + 7)/(b/4). Is 2 smaller than y?
False
Let w = -88.11 + 88.4. Which is bigger: 0 or w?
w
Let l be 2 - (-2 + (-146)/(-39)). Let h = l - 362/195. Is -0.1 >= h?
True
Let b = -2 + -23. Suppose 0 = -414*l + 415*l + 24. Which is smaller: b or l?
b
Suppose 0 = -3*a - v + 7 + 5, -v = 5*a - 22. Let l be a + -1 - 3 - -1. Which is bigger: l or 1?
l
Suppose -u - 12 = -3*k, 0*u - 3*u = 0. Let n be k/(-22) - 1350/(-165). Let t = n - 16. Which is smaller: -9 or t?
-9
Let q = 20 - 16. Suppose 5*r - x + 81 = 0, 0 = 2*r + q*x - 0*x + 28. Let f = r - -23. Which is greater: 6 or f?
f
Let y = -590 + 589. Is y greater than or equal to -6/31?
False
Let g = -0.484 - -0.448. Is g smaller than 0.4?
True
Let b be 90/12*(-6)/(-5). Let v = 14 - b. Suppose -3*o + 2 - v = 0. Is o greater than -4?
True
Suppose 0 = -5*s + 4*v + 30, 3*s - 4*s - 4*v = 18. Suppose s*r + 0 = 16. Let x be r/(1 + 1) + 3. Is x >= 7?
True
Let u be (96/(-64))/(0 + (-2)/(-32)). Which is smaller: -231/10 or u?
u
Let y be (1*2/(-4))/((-339)/(-226)). Is y less than or equal to 27.5?
True
Let u = 16 + -16.048. Let x = 7.048 + u. Let w(r) = -r + 6. Let v be w(6). Which is bigger: v or x?
x
Let w(z) = -z. Suppose 0 = f - 0*f. Let t be w(f). Suppose 2*r - 3*i + 32 - 6 = t, -5*i - 20 = 3*r. Which is smaller: -9 or r?
r
Let b = -36 - -24. Let u be (8/(-21))/(b/14). Suppose -6*w - 2 = 4. Are u and w unequal?
True
Let y = 5504959/26390 + -1/5278. Which is smaller: y or 208?
208
Let i = -244.1 - -244. Are 10 and i unequal?
True
Let p = -75 + 377/5. Suppose -4*c - 4 = -3*c + 3*k, -4*c - 8 = 4*k. Which is smaller: p or c?
c
Let i = -0.2 - 8.8. Let p = 1438 - 1438.1. Is p > i?
True
Let h(s) = 2*s**2 + 14*s + 21. Let w be h(-5). Is 12/73 > w?
False
Let p(d) = -d**3 + d - 2. Let x be p(-2). Let y be 1/(-9) - x/18. Let f = -31 + 467/15. Is f greater than or equal to y?
True
Let p = 148 - 76. Let g = p - 75. Is g greater than or equal to -7?
True
Suppose 6*f = f + 20. Suppose -2*w - 2*w + 586 = -2*b, -4*b + f*w - 1188 = 0. Let d be ((-7)/b)/((-3)/(-6)). Is d greater than or equal to 1?
False
Suppose 2*i + 38 = -16. Let d = 8497/321 - -21/107. Let c = d + i. Is -3/2 greater than or equal to c?
False
Let t = 0.0569 - 3.0569. Which is bigger: 162 or t?
162
Let c(f) = f**2 - 5*f - 4. Let q be c(6). Suppose -3*h = -h - q. Suppose 5*z = 3*k + 11, -4*z = -5*k - h - 39. Is k > -11?
False
Suppose -92*l + 15 = -87*l. Let q be ((-6)/l)/6 - 444/(-198). Is 3 < q?
False
Let a(q) = q + 10. Suppose -52 = 5*n - 3*o, -4*n + 4*o - 7 = -3*n. Let f be a(n). Which is smaller: f or -5/8?
f
Suppose -5*w + n + 2*n = -16, 5*n + 18 = 4*w. Suppose 0 = w*d + 10 - 18. Let u be (-38)/d + 6/12. Is u not equal to -10?
True
Let d be ((-36)/(-4))/3 + -1. Suppose d = -u - u. Let n = 0.4 + -0.6. Which is smaller: u or n?
u
Let h(q) = 2*q**2 + 38*q + 100. Let u be h(-16). Suppose v - 15 = 17. Suppose u = 4*p - v. Is p greater than 9?
False
Let v = -18273/5111 + 68/19. Let k = v + 802/1345. Which is bigger: k or 0.05?
k
Let n = 0.32 - 0.6. Let c = n + 5.28. Do c and -3 have different values?
True
Let p = 113/1596 - 1/28. Let g = 17/57 + p. Is -6/7 at most g?
True
Let t(d) = 2*d**2 - 6*d - 2. Let y = -4 + 8. Let p be t(y). Let q be (p/(-5))/((-1)/(-5)). Is q greater than -6?
False
Let o = 1518 + -1663. Is o not equal to -142?
True
Let y(x) = -12*x**2 + 66*x - 26. Let k be y(5). Suppose -3*h - 3 = 0, 4*q - 3*q + 2*h + 1 = 0. Let t be 2 + (-11)/(-3) - q. Which is bigger: k or t?
t
Let q(s) = 89011*s + 1. Let j be q(-1). Let k = j - -9969049/112. Let u = k + 4/7. Are u and -1 nonequal?
True
Let j(d) = -d + 16. Let h be j(11). Let w = h + -6. Is w > -1/40?
False
Let j(y) = -3*y**2 + 13*y - 4. Let c be j(-9). Let g = 2543/7 + c. Which is greater: g or -1?
g
Let r(g) be the first derivative of -g**4/4 - 2*g**3/3 + 2*g**2 - 2*g + 1. Let u be r(-4). Let o = -20 + u. Which is smaller: -7 or o?
-7
Let s(b) = -b + 1. Suppose 2 = 2*o + 6. Let t(k) = -9. Let l(u) = o*s(u) - t(u). Let q be l(-6). Is q less than -5?
False
Suppose 2*n + 2*n = 0. Let u be (1/(-9))/(n + 1). Suppose 5*j - 8 - 3 = 3*k, 4*k + 8 = 0. Is u greater than or equal to j?
False
Let m be (1 - 0) + (16 - 4). Suppose 0 = -2*r + 1 - m. Let h = 1 - 8. Are r and h non-equal?
True
Let u(j) = 8*j**2 + 8*j - 13. Let g be u(3). Let r = -81 + g. Which is smaller: r or -1/3?
-1/3
Let j be (-4624