se h + 17 = 4*k, 0 = -5*k + 16 - 1. Let w(f) be the third derivative of -f**4/12 - 11*f**3/6 - f**2. Let n be w(h). Are 1/3 and n equal?
False
Let y be (3 - 5 - -212)/2. Let j = -734/7 + y. Which is smaller: j or -1?
-1
Let l = 21 + -19.5. Let t = l - 0.5. Do t and 0.02 have different values?
True
Let r = -3 - -6. Let u be (1 - 45/6) + r. Suppose -2*l = 4*s - 22, -s - 1 = -6. Which is smaller: u or l?
u
Let u be -2*3 - (-2)/1. Let n = 3384 - 3392. Is n at least u?
False
Let z(d) = -d**2 - 5*d - 4. Let s be z(-4). Let j = 1/407 - -1619/3663. Which is greater: s or j?
j
Let w = 1844 - 1926. Which is greater: -75 or w?
-75
Let o = 966 - 966.1. Which is smaller: o or -690?
-690
Suppose 4*h + 21 = h. Let s be 3/(-9) - (-87)/(-9). Let f be 52/s - 2/(-10). Which is bigger: h or f?
f
Let x = -0.3 - -0.1. Let t = -1768 - -1790. Is t at most as big as x?
False
Suppose 5*l + 3*q - 471 = 0, -5*q + 80 = l - 1. Which is smaller: 0 or l?
0
Let o = 4 - -1. Let s = -51.9 - -50. Let x = s + 0.9. Is x bigger than o?
False
Suppose -360 = -85*o + 87*o. Let v be 1/(o/183) + 1. Is v > 0.1?
False
Suppose q + 4*b + 449 = -2*q, -b = -2*q - 281. Let u = 669 + -812. Is u >= q?
True
Let o be (6 - 5) + (-5)/((-6765)/(-1359)). Is o smaller than 0?
True
Let m = -285 - -289. Which is smaller: m or 27/5?
m
Let u = -10 + 18. Let p(x) = 3*x + 10. Let f be p(-2). Suppose -5*k = -31 - f. Is u at least k?
True
Let s(v) = -v**3 + 15*v**2 - 14*v - 1. Let u be s(14). Let c be (u/6)/((-12)/(-416)). Let q = 554/99 + c. Which is smaller: q or 2?
q
Let a = -306810826/29 - -10577927. Let u = 1757 + a. Which is bigger: u or -0.1?
u
Suppose 4*w - 129 = 195. Suppose 5*k = 3*m + 95, -k - 3*m + w = 2*k. Suppose -k + 8 = 2*v. Is v smaller than -7?
False
Let i(q) = 3*q + 24. Let d = -101 + 61. Let h = d + 32. Let y be i(h). Which is smaller: y or 2?
y
Suppose -5*w + 4 = s, -3*w + 3*s - 12 = 2*w. Suppose w = -5*n + 2*r - 147, 0*n - r - 86 = 3*n. Are n and 0 equal?
False
Let r = 8 + 0. Suppose 5*s - 8 = 3*t, 3*t + 2*s + r = 7*t. Suppose -2*n + 0*b = -b + 6, 3*n = t*b - 19. Which is smaller: n or -3/10?
n
Suppose 0*x + 6 = -2*x, -2*t + 13 = -5*x. Let r be (t*16/154)/(-2). Which is bigger: -1 or r?
r
Let m = 34.0654 - 0.0654. Does 9 = m?
False
Let n = 0.6 + -0.5. Which is smaller: 4/33 or n?
n
Let w = 83/46 + -30/23. Is 36 smaller than w?
False
Let r be (-24)/((-17)/((-272)/72)). Is r > -4?
False
Let n = -11 + 3. Let b = n - -7.9. Let g(k) = k**2 + 9*k - 23. Let z be g(-11). Which is bigger: b or z?
b
Let b = -727 + 21085/29. Let z be (-2)/5 + 4/10. Which is smaller: b or z?
z
Let p be 12/16 - (-27)/12. Suppose 3*q - 8 = q. Suppose b + 14 = -p*x, -3*x = q*b + 2*x + 28. Are -2 and b unequal?
False
Let y be (19/(-266))/((-1)/4). Which is smaller: y or -9?
-9
Suppose 4*k = -i - 13, 4*i + 2*k = 2*i - 8. Let u = -22 + i. Which is smaller: u or -24?
-24
Let i be ((-2)/(-2) + -1)*1. Suppose -5*j + 15 = -2*m, 3*j - 2*m + i*m = 13. Let r be 10/4*24/630. Is r != j?
True
Let k(z) = 2*z**2 + 19*z + 13. Let f be k(-9). Suppose -4*g = -7*g + 9. Are f and g non-equal?
True
Let k = 2448 + -2110. Which is bigger: 1016/3 or k?
1016/3
Let v = 85 + -77.4. Let l = -0.6 + v. Let f = l - 3. Is f greater than or equal to 0.3?
True
Let f be (68/(-5))/((-8)/20). Let b = 36 - f. Are b and 11/5 unequal?
True
Suppose w - 5*x = -5, 3*x + 12 = 5*w + 125. Let l = -23 - w. Are 1/7 and l equal?
False
Let t = -8 + 11. Let u(g) = 17*g**2 - 37*g + 32. Let y(x) = -4*x**2 + 9*x - 8. Let d(j) = 2*u(j) + 9*y(j). Let b be d(t). Which is bigger: -1/3 or b?
-1/3
Let q(x) = 7*x + 47. Let n be q(-4). Suppose 2*a = -11 + 1, 4*a = -b - n. Let y be -9*10/86 + 1. Is y equal to b?
False
Let d = -0.0202 - -23.1202. Let u = -35 - -12. Let n = d + u. Is n > -14?
True
Let d = 964 - 2894/3. Is d greater than or equal to -31/2?
True
Let i(z) = -z - 51. Let h be i(-15). Let t be h/33*((-1)/3 + 1). Are -1 and t unequal?
True
Let i = 0.13 + 0.27. Let a = i - 0.5. Which is smaller: -1/2 or a?
-1/2
Let c(v) = -v**3 - 9*v**2 + 9*v - 10. Let l(y) = -y**2 - 9*y - 4. Let a be l(-9). Let f be -7 - (4 + 4/a). Let n be c(f). Which is bigger: -3/20 or n?
n
Suppose 241 - 17 = 4*y. Suppose -51*t + 2407 = -500. Is y at least as big as t?
False
Let y = 146 - 139. Let u = 5 + 1. Is u > y?
False
Let b = 25 + -80. Let m = 54.76 + b. Which is bigger: m or -1/3?
m
Suppose 3*z - 12 = -3. Suppose -3*x - 28 = 2*l + 3*l, 2*l = z*x - 7. Let q = 70 - 72. Is q < x?
True
Let x be (6/(-693))/(2 + (-12332)/6168). Let l = 150/11 + x. Is l at most as big as 1?
True
Let r be (0 - 1)/((-5)/85). Let k(f) = -f**3 + 9*f**2 + 11*f - 10. Let b be k(10). Suppose 5*x - 145 + 55 = b. Which is greater: x or r?
x
Let f = -259.7 - -260. Do f and 3/17 have different values?
True
Let l(i) = i**2 - 4*i - 37. Let y be l(9). Let q be 36/((-6)/(-2)) + -3. Do q and y have the same value?
False
Let g = 66404 - 2190701/33. Let l = -192/11 + g. Is 2 smaller than l?
False
Suppose 2*r - 5 = 3*r + 4*h, r + 5*h = -7. Suppose m + 0*f + 4 = -2*f, -r*f - 6 = -m. Which is bigger: m or 2/49?
2/49
Let a be 10/(-42) - 2/(-6). Let x(u) = -u**2 + 0 + 1 + 1 - u. Let z be x(1). Which is greater: a or z?
a
Let h be (36*-1)/6*(-6)/(-18). Let a = 55273/94 + -588. Let t = a - 949/846. Which is smaller: t or h?
h
Suppose 0 = 5*c + 3*c - 24. Suppose 5*t + 20 = 0, n - 6 = c*t + 6. Which is smaller: 10/9 or n?
n
Let v = -2427 + 2480. Are 14 and v unequal?
True
Let q = -4/2521 + -889885/17647. Is q at most as big as -50?
True
Let u = 1 + -4. Let m = -0.23 + 0.48. Let s = 1.75 + m. Which is smaller: u or s?
u
Suppose -8 = 10*z - 14*z. Suppose -5*y + 2*o + 38 = 0, o + 28 = 4*y - 0*o. Let q = y - z. Which is greater: 3 or q?
q
Let f = -1.1 + 1.08. Let g = -2.98 + f. Let u = 2.9 + g. Is u less than 2/13?
True
Let b = 3704944499/665 + -5571344. Let l = b - -3/95. Let h(w) = w**3 + 11*w**2 + 10*w + 1. Let q be h(-10). Is q <= l?
True
Let f(h) = -h**2 + 4*h + 20. Let t be f(5). Which is bigger: t or 156/11?
t
Let n = -749.4 - -754. Is 5 != n?
True
Suppose -4*u + 4 = 8. Is -3/13 greater than u?
True
Suppose 4*o - 4958 = -33*o. Which is bigger: o or 127?
o
Let r be (-74084)/2*63/(-5068). Let o = 6/181 + r. Let g = o - 100385/218. Which is bigger: 1 or g?
1
Let j(n) = n**2 + 6*n - 21. Let c be j(-9). Suppose -9 = 3*s - c. Which is smaller: -6/47 or s?
s
Let h = -17 + 5. Let k(y) = -2*y**3 + 6*y**2 + 3*y + 4. Let c be k(5). Let d = 407/5 + c. Is d >= h?
True
Let j be -2 - 9*2/(-3). Suppose 4*c - j*o + 2 = c, 0 = -3*c + o + 4. Let g be c/(-10) + (-90)/(-75). Is g at most -3/10?
False
Suppose -47*q + 52*q - 135 = 0. Suppose 2*p = 4*c + 20 - 2, 2*p + q = -5*c. Is -6 equal to p?
False
Suppose -w - 5*i + 11 = w, -2*i + 14 = 4*w. Suppose -x + 14 = -4*o, 2*x + 1 + 11 = -2*o. Let d be 18/45 + (o/10 - -2). Are w and d equal?
False
Suppose 27*w - 1441 = 3554. Which is greater: 184 or w?
w
Suppose 37 = -2*f - 23. Let u = f - -33. Which is smaller: 16 or u?
u
Let g be 10*2/50 + 22316/35. Does 640 = g?
False
Let c = 14439/385 - 3/770. Let a = c - 187/5. Suppose 6*u - 2*u = 0. Which is smaller: u or a?
u
Suppose 25 = c - 29. Let s = c + -63. Which is greater: -7 or s?
-7
Let u be (-31)/(-93)*(1 + -1). Suppose -o + 0*o - y + 7 = 0, 5*y + 20 = u. Which is bigger: o or 1?
o
Let l be 1/(-3) - (-1)/3. Let y be ((-80)/416)/((-1)/2)*6/5. Which is smaller: y or l?
l
Suppose -3*h - 15 = 0, h = 2*u + 5*h + 18. Is -20/47 greater than u?
False
Let b(z) = z**2 - 3*z + 1. Let y(d) = d - 1. Let f(v) = b(v) + 3*y(v). Let a be f(2). Let o = 25 - 21. Is o bigger than a?
True
Let x = 529 - 538. Which is bigger: -8 or x?
-8
Let c(k) = k**3 + 6*k**2 + 20. Let w be c(0). Which is greater: w or -8?
w
Let c(b) = 6*b**2 - 83*b - 13. Let k be c(14). Which is greater: k or 3/41?
k
Let j = 79 - 89. Suppose 3*r + 27 = 3. Let a = -1 + r. Which is smaller: a or j?
j
Let d = 8.15 - -0.15. Let v = d - 13.3. Is v greater than -1.4?
False
Suppose c + 19*c = -340. Which is bigger: -177/10 or c?
c
Let k(t) = t**3 - 2*t**2 + 3*t - 1. Let i be k(2). Suppose -i = 2*v - 2*b + 5, -v + 2*b - 10 = 0. Suppose v*f = 3*f. Is 2/9 less than f?
False
Let w be 41/5 + 4/(-20). Suppose -5*s + 12 + w = 0. Suppose y = -2*o - 17, -s*o + 0*y = -5*y + 27. Which is smaller: -7 or o?
o
Let c be (8/66)/(14/(-3)). S