ller: r or z?
z
Let n be 1/2 - -1 - 1. Let s = -839 + 837. Which is smaller: n or s?
s
Suppose 4 = -3*d + 1. Is d smaller than -10/7?
False
Let j be 3 + -1 - 34/4. Is -8 > j?
False
Let i be (7 - 8/(-6)) + 8/(-6). Is i < 7?
False
Let l be 7/21 + 16/6. Let z be (-4)/l - (-2)/6. Is 1/8 less than z?
False
Let b = -0.72 - -0.02. Let l = b - -5.7. Let o = l + -4.8. Is -2/3 at most o?
True
Let c be (-1)/(-4) + 2/(48/(-222)). Which is greater: c or 1/4?
1/4
Let j(s) = 7*s - 2. Let r be j(1). Suppose d - r*n + 1 + 4 = 0, -3 = 2*d - 3*n. Which is smaller: d or -1/6?
-1/6
Let k be (3/945)/(-2 + 1). Let m = k - 734/315. Do m and -3 have different values?
True
Suppose 9*o = 4*o + 5. Let r be 0 + o + 14/(-10). Does -0.08 = r?
False
Let j = -4 - -8. Suppose -4*k - 8 = 0, j*k + 8 = -3*i - 3. Is i greater than -3/5?
False
Let h be 30/(-72)*(-2)/(-15). Which is smaller: h or -1?
-1
Suppose -3*i - 18 = -9*i. Let c = -20 + 18. Is i bigger than c?
True
Let a = 3.95 - 4. Let l = a - -1.05. Do -2 and l have the same value?
False
Let g = 31 - 32. Is g <= -4?
False
Suppose -12 - 3 = 5*f. Suppose -2*l - 3 = 5. Let a = l - f. Which is greater: -2 or a?
a
Let b(n) = -n + 4. Let h(c) = c**3 + 7*c**2 + c + 10. Let s be h(-7). Let r be b(s). Let u be (6/4)/(10/4). Do r and u have the same value?
False
Suppose 5*p - 4 = 1. Which is bigger: -1/4 or p?
p
Let i(x) be the second derivative of -x**3/6 - 5*x**2/2 + 6*x. Let j be i(-9). Suppose 0 = d - w - 3, -3*d + d + 5*w + 6 = 0. Which is bigger: d or j?
j
Let p = -4 + 6. Let v(t) = 12*t**3 + t + 1. Let i be v(-1). Let h be (i/(-15))/(4/10). Is p greater than h?
False
Suppose 3*y = -2*y + 25. Suppose -3 = -y*f + 2. Let v be (-1*(0 + f))/7. Which is bigger: v or 1?
1
Let y = -32 + 26.3. Let h = 5 + y. Let m = 0 - 0. Is h != m?
True
Let z = 40.98 + -41. Is z at least as big as 2/3?
False
Let o = 7742171/89076 - -3/14846. Let f = o + -87. Is f <= -1?
False
Let q be 12/(-4)*-2 + 3. Which is bigger: q or 10?
10
Suppose -4*w - 4*i + 32 = 0, -6*i + 32 = 4*w - 3*i. Let o be w/36 + 5/(-9). Is 0 not equal to o?
True
Let d = -49 - -48.5. Which is bigger: d or -0.05?
-0.05
Let r = -2/15 + 4/5. Let h be ((-441)/108)/(2/6). Let j = h - -433/36. Is j != r?
True
Let p(v) = 8*v - 32. Let z be p(4). Is 4/17 at most as big as z?
False
Suppose 3*m - 8 + 2 = 0. Suppose -4*w = m*g, 3*w + 3*g = 6*g. Which is smaller: w or 2/15?
w
Let v(g) = 6*g + 2. Let o be v(1). Let f = o - 19. Which is bigger: -10 or f?
-10
Let u = -12 + 17. Suppose u*m - 14 + 64 = 0. Let v be m/((0 - -2) + 0). Which is greater: -4 or v?
-4
Let g be 3/(-2)*15/(-9). Let l be 32/18 - (-2)/9. Let x = g - l. Which is bigger: -1 or x?
x
Let q = -8 + 11. Let t be (q/(-24))/((-1)/2). Is t less than 1?
True
Let i be (-1*2)/(5 + -3). Let a = -2247 - -26987/12. Let p = 9/4 - a. Which is smaller: i or p?
i
Let i = 0.11 - 0.1. Let y = i + 3.99. Which is smaller: y or 0?
0
Let z(k) = k**2 + 8*k + 4. Let y be z(-3). Suppose -4*f - 25 - 14 = -c, 4*f + 5*c = -69. Is f != y?
False
Suppose -1 + 1 = -f. Which is smaller: 1/46 or f?
f
Let y = -103 + 53. Let h be (-1 - 1) + y/(-40). Let o be ((-4)/6)/(-2*1). Are h and o non-equal?
True
Suppose v + 0 + 11 = 2*a, a - 7 = 2*v. Which is smaller: a or 21/5?
21/5
Let l(p) = -p**3 + 4*p**2 + p - 3. Suppose -j = 2*j - 12. Let o be l(j). Which is bigger: 2/27 or o?
o
Suppose 4*p = -3*s - 12, 4*s + p - 15 = 6*p. Is -1/29 bigger than s?
False
Let x = -71.02 - -72. Let y = 20.98 - 21. Let s = x - y. Does s = 2/7?
False
Let h(q) = 11*q**2 - 1. Let j be h(1). Let v be -1 + 2/(j/3). Which is bigger: 0 or v?
0
Suppose -4*g = 9 + 3. Let m(a) = a**2 + 2*a - 2. Let h be m(g). Are h and 5 non-equal?
True
Suppose -11 = 2*a + 1. Is a less than or equal to -6?
True
Suppose -3*d + 0*w + 4*w + 12 = 0, -d = 5*w + 15. Suppose -4*f + 4 + 0 = d. Is 2/3 at most as big as f?
True
Let b = -33 + 147. Let p be -4 + 1 - b/(-42). Which is smaller: p or 1?
p
Let b = -1 - -1. Let q be 1/(-2)*b/(-2). Suppose -12*o = -10*o. Do o and q have different values?
False
Let f be 0*(6/4)/3. Let l = 59 + -110. Let c be -2 - (l/12 + 2). Is f greater than c?
False
Let r be (-1 + 1)/(1 - 4). Which is greater: -4 or r?
r
Let g = 9 - 4. Suppose 3*n = 5*d - 2*d + 3, -2*d + 1 = -g*n. Which is greater: n or -2/5?
-2/5
Suppose h = 2*h - 2. Suppose h*g + 0*g + 2*o + 2 = 0, g = -5*o - 1. Let u = -4 - -2. Which is bigger: u or g?
g
Let t be (2/5)/(2/50). Let v be (t/7)/(14/4). Let l = v - 6/49. Is l at most as big as 2?
True
Suppose 0 = -4*q + 2 - 6. Which is bigger: 25 or q?
25
Let s(l) = -l**2. Let u be s(-1). Suppose -4*y = -d - 17, -28 = -5*y - 8. Let m be 2 - (6/5 - d). Which is bigger: u or m?
m
Let q be -1*(-1)/2*2. Let i be 3/(-6)*0 + 2. Is i less than or equal to q?
False
Suppose -5*o = -3*v + 136, 46 = -2*o - 0*o - 3*v. Is -26 equal to o?
True
Let q = -9.14 + 0.14. Let t = q - -9.1. Which is smaller: t or 2?
t
Suppose -h - 2*h = -3*b, -4*h + 2 = -2*b. Is b < 5?
True
Let i = 0 + -6. Which is smaller: -5 or i?
i
Let h be 8/(-20) - (-962)/2430. Let w = -733/972 - h. Let p(i) = i**2 + 4*i + 3. Let m be p(-3). Which is greater: w or m?
m
Let w be -16 - -10 - (-22 - 0). Which is smaller: w or 15?
15
Suppose 0 = j + 4*j - 120. Let w be (2 - 0) + j/(-20). Let l = -10 + 10. Is w at most l?
False
Let z be 4/14 + 64/(-28). Let r = z - -3. Let b be 4/(-16) - (-2)/8. Is b at most r?
True
Let v = -8.1 - -8. Let s(l) be the third derivative of l**6/120 - l**5/20 - l**4/8 - 5*l**3/6 + l**2. Let g be s(4). Which is greater: g or v?
v
Suppose 0*s = 2*s - 8, -3*s + 18 = u. Let h be 10/u*(-4)/30. Suppose -7 = -3*k + 2*d, 0 = 3*k - 3*d - 2*d - 13. Which is greater: h or k?
k
Let i(f) = 3*f**2 - 2*f - 2. Let o be i(2). Let p = -4 + o. Suppose -c = p*c. Is -1 less than c?
True
Let y = -3.06 + 3. Which is bigger: 1 or y?
1
Suppose -2*i + 3*i = 6. Suppose i*p = p - 5. Which is smaller: p or -2/3?
p
Suppose 0*t - 5*w = 2*t + 22, 3*t + 14 = 2*w. Let s be ((-2)/(-2))/(9/t). Which is bigger: -1 or s?
s
Suppose -5*m + 4*k - 39 = -0*k, 3*m = -3*k - 18. Is m less than or equal to -2?
True
Let o be (-293)/(-25)*(-3)/(-63). Let i be (-1)/3*(-2)/(-50). Let k = i - o. Which is smaller: k or -1?
-1
Let r = 5/23 + 136/115. Let i = 72 - 70. Which is smaller: i or r?
r
Let t = 20.4 + 0.6. Which is smaller: 1 or t?
1
Let s(x) = -x**3 + 6*x**2 - 6*x. Let u be s(5). Let a = u - -6. Is -1 smaller than a?
True
Let z be (2 - 4)*(-2 - 0). Let c be (0 + 2)/(z + 1). Which is greater: 0.02 or c?
c
Let t(f) = -3*f - 2. Let l be 6 - (-1)/((-2)/4). Let x(c) = -2*c - 3. Let s(h) = l*x(h) - 3*t(h). Let p be s(7). Which is smaller: 2/7 or p?
2/7
Let k = -7 - -11. Let m(q) = -q**3 + 5*q**2 - 3*q - 4. Let j be m(k). Is -4/3 > j?
False
Suppose -1 = -2*x + 5. Let z be x*1*(-9)/27. Is z at most -1?
True
Let n = 1 + 2. Let v(z) = -2*z + 1. Let a be v(-1). Suppose s - 12 = -a*s. Is n at least s?
True
Let o = 1 + -4. Suppose 2*w - 45 = -49. Which is bigger: o or w?
w
Let f be 9/(-1416)*2*-4. Let v = f + -216/767. Which is bigger: v or 1?
1
Suppose -70 = -4*r + 150. Is 56 bigger than r?
True
Let d = -0.056 + 0.086. Which is smaller: -1/2 or d?
-1/2
Suppose 0 = r - 2 - 0. Which is greater: r or 0?
r
Suppose 5*p + 3 = -m, 2*p = -p + m - 5. Let l be (-4)/6 - 60/(-81). Is p < l?
True
Let d = 0.1 + 0. Let x = -0.02 - -0.22. Which is bigger: d or x?
x
Let x be 1/(0 + 3) + 138/(-9). Which is greater: -13 or x?
-13
Suppose -20 = 4*i - 2*n, -n + 19 = -i + 3*n. Let p be i*(2 + (-1 - 4)). Which is smaller: 8 or p?
8
Let z(l) = l**3 - 3*l**2 + 2. Let r be z(2). Is -2 > r?
False
Let k = 61 + -60. Which is greater: k or 132?
132
Let z = 0.823 - 0.043. Let f = -0.12 - z. Let v = 1 + f. Is -1/12 <= v?
True
Let h(v) = 5*v + 5. Let o be h(4). Suppose -o = 3*c - c + 5*s, -4*c = s + 23. Which is smaller: c or -4?
c
Let f = -56 + 57. Is f bigger than 1?
False
Suppose 4*a + 88 = -4*k, -a - a - 67 = 3*k. Let z = -23 - k. Let d be 0/1 + 2/12. Which is bigger: z or d?
d
Let n be -1 - ((-68)/(-24) - 4). Which is bigger: n or -1?
n
Let u be (-4365)/7 - (-18)/(-42). Let h be 1*-2 - u/325. Which is smaller: -2/7 or h?
-2/7
Let z = 22 - 21. Which is smaller: z or -5/14?
-5/14
Suppose 53*o + 872 = 45*o. Which is smaller: o or -108?
o
Suppose 5*a = -0*i + 2*i + 29, -2*a + 14 = -2*i. Let y = -