ller: -0.05 or z?
z
Let d = -686 + 708. Is d greater than 40?
False
Let y = 1006 - 1006. Which is smaller: 1/291 or y?
y
Let h be 3/9*6/(-4). Let k(t) = t**3 - 21*t**2 + 21*t + 43. Let g be k(19). Let m = g - -2797/10. Is m at most h?
False
Let y be (-144)/(-28)*28/68. Which is bigger: 2 or y?
y
Let b be 14/(-8) - 5/20. Let a be -2 + 2/(0 - b). Let m be (22/11)/(1 - a). Is -4/5 greater than m?
False
Let s(g) = -g**3 - 9*g**2 - 8*g + 4. Let p be s(-9). Suppose 5*n - n + 62 = 3*f, 5*n - 3*f + p = 0. Let t = 114 + -129. Is n at most t?
False
Let j = -237 - -238. Is j greater than or equal to 1/17?
True
Let m(q) = q**3 - 6*q - 3. Let x be m(0). Which is greater: -88/23 or x?
x
Let q = 34.2 - 35.2. Which is bigger: -1/57 or q?
-1/57
Let m be (-1)/(-2) + (-220)/8 + -4. Let r = m + 32. Let k(c) = -c**3 - 3*c**2 - 3*c - 2. Let j be k(-2). Do r and j have different values?
True
Let r be (-114)/78 + (1 - 0). Let l = -257 - -255. Are r and l nonequal?
True
Let i = -668 + 22715/34. Let t(o) = -o**3 - 17*o**2 + o + 17. Let d be t(-17). Which is bigger: d or i?
i
Let y = 136 + -136.1. Are 61/3 and y unequal?
True
Let h = -4386 + 39514/9. Which is greater: 2 or h?
h
Let d(z) = -z**2 - 5*z + 19. Let b be d(-8). Let n(g) = -g**3 - 5*g**2 + 4*g + 4. Let h be n(b). Let u = h + 15. Are -2/35 and u equal?
False
Let y = -168 - -60313/359. Which is smaller: y or -1?
-1
Let k = 6866/3 - 2256. Which is smaller: 33 or k?
k
Let w be -9*(-6)/(-342)*10. Which is smaller: -2 or w?
-2
Let l be (-15)/6*(-96)/20. Suppose -2*r = 5*q - l, 4*q + 0*q + 5*r = 13. Which is greater: 1 or q?
q
Let i = 136 - 135. Is 26/23 < i?
False
Let b(j) = j**2 - j - 2. Let h be b(0). Suppose -5*o + 5*k - 66 + 16 = 0, -4*k = -3*o - 34. Let n be (-1)/o + 790/(-420). Is h at least n?
False
Let n = 52 - 109. Let k = -57 - n. Which is smaller: k or -2/37?
-2/37
Let b = -35112/13 + 2690. Is -10 less than b?
False
Let b(o) = 3*o - 3 + 2 + 6 + 0. Let l = -68 + 65. Let s be b(l). Which is smaller: -3 or s?
s
Let m = -7.7 + -43.3. Let y = 39 + m. Is -6 <= y?
False
Let p = 508 + -508.02. Which is bigger: p or 8/7?
8/7
Let q = 10.1 + -10.2. Which is bigger: 96 or q?
96
Let k be 135/(-81)*(5/(-8) - -1). Let s = -3/8 - k. Let q be 1/(-2)*(22 + -4). Which is smaller: q or s?
q
Let m = -7 - -6.8. Let q = m + 1.2. Is q bigger than -6?
True
Let z be (14/4)/(2/4). Let p be 3/(z/(-2) + 2). Suppose 36*g - 40 = 46*g. Is p greater than or equal to g?
True
Let x be 14/28 - ((-666)/4 - -3). Is 164 less than or equal to x?
True
Let w = 1696/15751 + -2/829. Is 12/5 less than or equal to w?
False
Let o = 48 - -1. Suppose o + 56 = 3*b. Suppose 15*r - 10*r = -b. Do -8 and r have different values?
True
Let z(f) = -f**3 + 4*f**2 - 2*f + 1. Let h be z(3). Suppose -b = -h*b. Let t be 196/(-44) - 20/((-8)/2). Which is smaller: t or b?
b
Let t = -6356/11 + 578. Which is smaller: -3/4 or t?
-3/4
Let a(w) = w**2 - 6*w - 6. Let u be a(7). Suppose 0 = -3*n + 5*b + 51, -4*n + 4*b = -7*n + 24. Let z be 4/n + (-2)/(-2). Do u and z have different values?
True
Let f(p) = 31*p**3 + p**2 + p - 2. Let i(y) = -31*y**3 - y**2 - y + 1. Let n(j) = 2*f(j) + 3*i(j). Let m be n(-1). Which is bigger: 28 or m?
m
Let m = -2.12 - 0.48. Let r = m + 2.7. Is r not equal to -1/39?
True
Let s = 4311/28204 - 7/44. Is 0 less than or equal to s?
False
Let p = -82 - 297. Is p less than -379?
False
Let z = -992062/5707 + 2260/13. Which is greater: 1 or z?
1
Let a be (-12)/(-9) + 2/(-6). Let y = -2 - 1. Let b = 2 + y. Which is greater: a or b?
a
Let g = -1854 - -1851. Let r be 7 + 3*2/3. Is g bigger than r?
False
Let d = 459.03 + -456. Let y = d + -0.03. Let t = -9.4 - -10.4. Is t at least y?
False
Let g(h) = h**3 + 7*h**2 + 2*h + 12. Let n be g(-7). Suppose 2*p + 2*p - 12 = 0. Let w be (-18)/(-12)*n/p. Which is smaller: w or -2/15?
w
Let y = 0.09 + -2.29. Let r = y + 2. Let i = -1529 + 1536. Which is smaller: r or i?
r
Let s = -75 - -65. Which is greater: -126/13 or s?
-126/13
Suppose 3*c - 124 = -5*f, 5*f - 4*c - 128 = -25. Is f less than 3?
False
Suppose 0 = n + 4*w - 378, 721 = 2*n - 4*w - 95. Which is greater: 397 or n?
n
Suppose -2*d = -3*c - 2, 2*c = -6*d + 2*d + 20. Let l = 1 + 1. Suppose 2*z = -l*z. Is z greater than or equal to c?
False
Suppose 33 = 8*o - 63. Suppose -4*u = -o*u - 16. Is u < -2?
False
Suppose 0 = -b - b. Let u = 155 + -152. Which is bigger: b or u?
u
Suppose 5*y = -w - 2, 2*y - 1 + 5 = 0. Let t be (-6)/(-1) + -3 + 1 + -1. Suppose 3*g = t*x - 9, g + w = 3. Do -4 and x have different values?
True
Let a be 1/(3/1 + 0)*6. Suppose -5*d + 3*h = a*h - 260, -2*d - 5*h = -131. Do d and 53 have different values?
False
Suppose -3*a - 2*d + 0*d = -324, 0 = -4*a + 2*d + 446. Suppose 68 = -3*r + a. Suppose -68 = -5*c + 3*f - 0*f, -2*f = 2. Which is smaller: c or r?
c
Suppose -56 = -2*i + 10*i. Let z(c) be the second derivative of c**3/6 + 3*c. Let k be z(-7). Is k < i?
False
Suppose -m = -3 + 1. Suppose 5*q - 9 = -s + 4*s, m*s = 2*q - 2. Suppose 2*r = -q + 5. Is -0.1 bigger than r?
False
Suppose 5 - 17 = -3*q. Suppose q*g + 2*f = 10, -2*f - 35 = -5*g + 3*f. Let u be 0 + -1 - (1 - 7). Which is greater: g or u?
u
Let r(k) = -11*k - 3. Let t(w) = 20*w + 5. Let x(z) = -7*r(z) - 4*t(z). Suppose -3*u = -8*u. Let g be x(u). Which is bigger: 5/14 or g?
g
Let k = -370 + 378. Is 67/9 less than k?
True
Let x be 1/(652/(-172) - -4) + -4. Let s = -4 - -4. Which is smaller: x or s?
s
Let h(s) = s**2 + 46*s + 108. Let n be h(-31). Which is smaller: n or -358?
-358
Let t be (-3868)/48*2272/(-23538). Let f = 2/3923 - t. Is f at least as big as -8?
True
Let o be ((-4)/(-6))/(1*(-6)/981). Let g = 8 - o. Is 117 <= g?
True
Let j be 25/(-20)*(-5 + 9). Let q(z) = -z**3 - 6*z**2 - 5*z - 1. Let w be q(j). Which is greater: 8 or w?
8
Let x be 8 - (3 + (-3 - -2)). Let c be ((-80)/24)/(2/(-3)). Is c at most x?
True
Let u(r) = r**2 - 5*r - 4. Let f be u(6). Suppose -144 = -n + 7*n. Let k be (-30)/n*(-7)/(-5). Does f = k?
False
Suppose 0 = -3*l + 64*t - 69*t + 28, l - t + 4 = 0. Is l less than 2/1229?
False
Let c = 82 + -80.7. Is c less than 7.5?
True
Let c be (-13830)/(-14) + (-6)/(-42). Which is smaller: c or 989?
c
Let i = 680/3619 + -2/329. Is i at most as big as -2/69?
False
Let x = 150 - 149.972. Let p = x + -7.028. Is p less than or equal to -1?
True
Suppose -2*z + 18 = 2*o, -z - 27 - 12 = -3*o. Let g be (4/o)/((-2)/(-36)). Which is smaller: -7 or g?
-7
Let b = 357 + -358. Let g be 2 + (-7)/4 + -1. Which is smaller: b or g?
b
Let n = -731 - -786. Is n equal to 58?
False
Let p be 196/(-156)*9 + 10. Does -2 = p?
False
Suppose -21*w = -16*w + 15. Let j be (-2)/(-3)*w - (-176)/90. Let t = 1 - 1. Which is smaller: j or t?
j
Let b be 75/(-6)*(-27 - -37). Which is smaller: b or -123?
b
Let i(o) = 7*o**3 + 4*o + 2. Let k be i(2). Which is smaller: k or 65?
65
Let p = 1.95 - 1.916. Let x = -4 + 3. Is x >= p?
False
Let x(g) = 3*g - 4*g + g**3 - 8*g**2 + 3*g + 6*g**2 - 1. Let w be x(1). Is w bigger than 3/16?
False
Let r = 0.16 - -9.14. Let x = -9 + r. Let p = -4 + 5. Which is smaller: x or p?
x
Suppose -32 - 14 = 2*y - 4*v, 4*v - 72 = 4*y. Which is greater: y or 7?
7
Let f = -142.81 + 136.1. Is 0.1 bigger than f?
True
Let k = -0.314 - -0.304. Are 12 and k non-equal?
True
Let r(d) be the first derivative of d**3/3 + 19*d**2/2 + 29*d + 8. Let n be r(-17). Is n smaller than -6?
False
Let x = 106 - 108. Is x bigger than 1.3?
False
Suppose -5*k - 533 = -2*t + 29, -4*k + 2*t - 448 = 0. Let d be (1 + 123/k)/(3/20). Which is bigger: d or -2?
d
Let h be (-1 - -1) + (-290)/(-12). Let a = h - 23. Let v = 41/30 - a. Which is bigger: v or -1/4?
v
Let m(g) = g + 1. Let k(h) = h**3 + 10*h**2 - 1. Let s be k(-10). Let r be m(s). Let v = 294/5 - 2083/35. Are r and v unequal?
True
Let i = -0.3 + 9.3. Let f = i - 18. Let b = 11 + f. Which is smaller: -2 or b?
-2
Suppose 0 = 3*h - 4*h + 518. Let a = h + -726. Let y = 1870/9 + a. Which is bigger: 1 or y?
1
Let w(j) = 4*j**2 + 4*j + 4. Let s be w(-3). Let b(z) = 5*z - 58. Let r be b(17). Which is smaller: r or s?
r
Let m = 18.03 + -16.8. Let s = m - 1.16. Which is greater: s or -2?
s
Let v = -0.454 - -2.454. Which is bigger: v or -0.078?
v
Let c = 69.7 - 80.5. Is -3 less than or equal to c?
False
Suppose 2*f - 12 = -j + 2, 3*j - 42 = 4*f. Let v = 419 