 0*f = 35. Which is bigger: n or f?
f
Let a = 13 - 13.3. Is a bigger than -1?
True
Let v = 6.067 + -0.067. Is 1/4 at least v?
False
Let t be (-1 - 33) + 6 + -1. Which is bigger: t or 2?
2
Let i = -0.01 + 3.01. Let z = -4 + i. Let f = 2/9 - 4/99. Is z > f?
False
Let c be (-7 + 6/3)/1. Which is bigger: -6 or c?
c
Suppose 0 = -5*m - 5, 0 = 5*y + m - 7 - 7. Suppose j + 30 = 6*j. Let d be 3/j + (-14)/(-4). Do d and y have different values?
True
Let v be -2 - (2 + (3 - -1)). Suppose -3 = -t - 4*j, 0 = -2*t - 3*j + 2*j + 20. Let l = t + v. Which is smaller: l or 4?
l
Let l be (16 + 0)/(-2) - -3. Let x = 11 + l. Suppose 4*d = 2*s - 2, 5*s - d + x*d + 10 = 0. Which is smaller: -2 or s?
-2
Let q = 1/47 - 81/1598. Which is greater: 0 or q?
0
Let s = -3 - -2.9. Which is greater: s or -2/21?
-2/21
Let x = 0.1 - 0.9. Let k = 61 + -54.2. Let j = k + x. Which is smaller: -0.1 or j?
-0.1
Let v = 2.17 - 0.17. Is v at least as big as -0.5?
True
Suppose 0 = -2*n + 5*b + 21, -n - 4*b = b + 12. Suppose -12 = -4*t - 5*a, 2*t = 3*a + n + 3. Suppose 5*k + 12 = 4*h, -4*h + 9 = -h + 5*k. Is t <= h?
True
Let x = 97 + -139. Let n be x/(-10) - (-3 + 7). Which is greater: n or 0?
n
Let b = 4 + -1. Suppose -b*d - 8 = -2. Let f = d - -9/4. Is 0 at most as big as f?
True
Let t(d) = 7*d + 10*d - 16*d + 12. Let s be t(-13). Which is bigger: s or -8?
s
Let m be ((-99)/44)/((-3)/32). Suppose i = 5*i + m. Which is bigger: -0.2 or i?
-0.2
Let a = 171/440 + 1/88. Which is bigger: -0.1 or a?
a
Let z = -1 + 0. Let q be 6/(-21) + (-1942)/(-35). Let m = q + -55. Is z greater than or equal to m?
False
Let i = 73 + -117. Let g = -177/4 - i. Which is smaller: 0 or g?
g
Let l(f) = f - 10. Let z be l(7). Let p be -3 - (-18)/(3 - 2). Let h be 3*(p/9 + -2). Which is bigger: z or h?
h
Let z = -0.2 - -7.2. Let j = -12 + 17. Let w = j - z. Which is greater: w or 0?
0
Let f = 107 - 105. Which is smaller: f or 2/3?
2/3
Let i be (1/(-132))/(3/(-166)). Let k = -4/11 + i. Which is greater: -1 or k?
k
Suppose 2 - 10 = -2*b. Suppose 6*a - b*a = -6. Let n be 0*(-2 + (-9)/a). Which is smaller: n or 3/5?
n
Let i = -4.893 - 0.107. Which is greater: i or -12?
i
Let t(l) = -4*l + 56. Let a be t(0). Is 56 > a?
False
Let y(z) = z**3 - z**2 - 2*z + 3. Let g be y(2). Let d = g + -3. Which is smaller: 3/11 or d?
d
Suppose -5*z + 2*z = -15. Suppose 3*i - 4*m - 26 = -6, z*i + m - 18 = 0. Let p be i/(-6) + (-4)/(-6). Which is smaller: p or -2/13?
-2/13
Let r be (11/44)/(1/52). Let d = -10 + r. Which is smaller: 8/5 or d?
8/5
Let x be -2 + 1 + (-2)/(-4). Let q = -0.01 - -0.07. Let b = q + -0.06. Which is smaller: x or b?
x
Let y = 12 - 13. Let b be (0 - -7)*18/(-4). Let p = -32 - b. Which is greater: y or p?
p
Let r be (10/(-4))/((-1)/2). Let q be 5*((-16)/(-10))/4. Suppose -3*m + 10 = -q. Does m = r?
False
Let j(z) = z + 7. Let q be j(-6). Which is greater: 5/7 or q?
q
Let s = 301/156 + -25/12. Suppose -4*l - 10 = 2*g, -5*g + 3*g = 2*l + 8. Is s bigger than l?
True
Let i(r) = -r + 5. Let a be i(9). Let j(c) = c**3 + 3*c**2 - 4*c + 4. Let u be j(a). Which is bigger: 1 or u?
u
Let l = -1 + 0.9. Which is bigger: l or -2/25?
-2/25
Let k = 3 - 5. Let i = 0.4 + -0.5. Are i and k nonequal?
True
Let d = -7 + -8. Let w = 10 + d. Which is smaller: 2 or w?
w
Let y = -0.42 + 0.32. Which is smaller: y or -4/9?
-4/9
Let h = -7.05 - -7. Let c = -1.95 + h. Let j = 0.1 + -0.2. Which is smaller: j or c?
c
Let t = 48/61 - 8195/10492. Which is greater: -1 or t?
t
Let j = 15 + -9. Suppose -j = -i - 0*i. Are i and 6 unequal?
False
Let f(n) = n**3 - 4*n**2 - 4*n - 3. Let l be f(5). Suppose -7 = 5*d - l. Does 2/73 = d?
False
Let i be -1 + 3 + -1*348/173. Which is greater: 0 or i?
0
Let y be ((-12)/30)/(1/5). Let k = y + 2. Which is greater: k or -3/7?
k
Let w be 4/18 + (-2)/9. Let i be 4/(-6) - 144/(-135). Which is smaller: i or w?
w
Let z = -15762/69685 + 40/181. Let o = z - -62/77. Is o less than or equal to 1?
True
Let z(a) = -a**3 - 5*a**2 - 3*a + 4. Let u be z(-4). Let k = -4 + 2. Let q be 2*3/(-12)*k. Which is bigger: u or q?
q
Suppose -x = -1, k - x - 4*x = -3. Suppose -k = -2*b + 6. Suppose -2*l = c - 2, -c - b*c = l - 10. Which is smaller: 1 or c?
1
Let t = 75.05 - 75. Is t greater than or equal to 2/15?
False
Suppose 5 = -s, 0*j - 78 = j - 2*s. Let a = 48853/5 - 9859. Let m = j - a. Does m = 1?
False
Let s be (-1474)/121 - 6/(-33). Which is greater: s or -15?
s
Let j = 23/60 - 2/15. Are j and 3/7 non-equal?
True
Let z be (-5 - 0) + (-3)/(-3). Let i be (-14)/z + 1/(-2). Let v = -3 + i. Is -1/4 at most v?
True
Suppose -v - 33 = -4*a - 98, -85 = 4*a - 5*v. Let x(w) = -5*w**2 - 2*w + 1. Let y be x(-2). Does y = a?
True
Let c = 15.96 - -0.04. Let j = 8 - c. Which is smaller: j or 2?
j
Let w(v) = v**2 - v + 1. Let z be w(0). Let c(k) = -k**2 + 3*k + 3. Let r be c(-2). Let y be ((-8)/(-42))/(r/(-21)). Is z at most as big as y?
False
Let q = 0 - -2/3. Suppose 4*z = -0*z. Is q smaller than z?
False
Suppose 3*w - 3*j - 27 = -78, 5*w - 3*j + 95 = 0. Which is bigger: -19 or w?
-19
Suppose -5*i = 5*w + 40, 5*i = w + 4*w + 10. Let y = -12 + 8. Which is bigger: y or i?
i
Let m(c) = -c**3 - 4*c**2 - 4*c - 7. Let t be m(-3). Which is smaller: t or -10/3?
t
Let f be (1/(-2))/(2/(-4)). Let l be (129/42 - 3)*-6. Which is bigger: l or f?
f
Let f(t) be the second derivative of -t**4/12 - 4*t**3/3 - t. Let o be f(-8). Is 3/5 less than o?
False
Let x = 135.6 - 137. Is x at most -1/4?
True
Let w be (-3 - 28/(-4)) + 1. Let a be 12/(-14)*(3 + -31). Suppose -h - h = -f + 3, -h + w*f - a = 0. Which is bigger: h or 2/7?
h
Suppose 5*o = 4*q + 2 - 32, 0 = -2*o - 4. Suppose -4*u - 2*b + 4 = 0, 0 = -5*b - 26 + 6. Is q not equal to u?
True
Let y = 2/907 + -1824/4535. Let z(q) = -q**2 - 5*q - 3. Let d be z(-4). Let t be 1 + (d + 0)*-1. Is t <= y?
False
Suppose 2*q = 9 + 1, 0 = 3*k - 5*q + 31. Let d be -1 + k + (-9)/(-3). Is -6/5 <= d?
True
Let a be (20/18)/((-220)/205). Let d = a - -12/11. Which is smaller: -1 or d?
-1
Let z = -3 - -3. Let y = z - -3. Suppose c = -y*c. Which is greater: -1/3 or c?
c
Let y(x) = -x + 7. Let n be y(3). Suppose n*f - 2 = -10. Which is greater: -1 or f?
-1
Let t = -3385/176043 - 1/1743. Which is smaller: 0 or t?
t
Let b be (-4)/10 + 27/5. Suppose 3*v + 2*v + b = 0. Does v = -1/7?
False
Suppose 4*h = 4*x - 3*x + 3, -4*h = 2*x + 6. Is h equal to -1/19?
False
Let u = -12 - -3. Let j = 8 + u. Suppose -5*r - 30 = 4*l + l, -l = 4. Which is smaller: r or j?
r
Let g(b) = -5*b**2 - 1. Let o be g(-1). Let l(x) = -x**2 - 7*x - 3. Let a be l(o). Let d(k) = 2*k - 4. Let r be d(3). Which is greater: a or r?
a
Suppose 0 = -0*w + w - 4142. Let v = w + -198823/48. Let a = -3/16 + v. Which is smaller: a or 0?
a
Let l = -148 - -89. Is l greater than -58?
False
Suppose 7*m = 4*m. Let i be ((-383)/(-2))/((-9)/8). Let f = 170 + i. Is f smaller than m?
True
Let n = 1087/7 - 155. Which is bigger: -75 or n?
n
Let q = -10657/1656 - 5/552. Let l = q - -52/9. Which is greater: -1 or l?
l
Let d(v) = 7*v**3 + v**2 + v + 1. Let q be d(-1). Suppose 5*c - 3*r + 27 = -22, -r + 43 = -5*c. Is q <= c?
False
Suppose 2*l - 16 = -4*p, -8 = -4*l - 3*p + 9. Suppose 0 = 3*x - l*v - 2 + 19, v - 13 = 3*x. Which is greater: x or 3?
3
Let o = -11/21 - -8/21. Suppose c = -0*c + 1. Is c not equal to o?
True
Suppose 4*i + 0 - 24 = 0. Suppose i*d - 3*d - 66 = 0. Is d > 21?
True
Let x be 2/(-4) + (-14)/(-4). Suppose a = -2*l - 9, -x*a - 15 = -3*l + 5*l. Is -6 at most as big as a?
True
Suppose -2*j - j + 3 = 0. Let n(f) = -f**3 - 7*f**2 - 6*f - 4. Let o be n(-6). Let i be (j/(-3))/((-1)/o). Do i and 0 have the same value?
False
Let o be (-9)/21 + 221/238. Let h = -3 - -3.3. Which is bigger: o or h?
o
Suppose 0 = 2*l + 51 + 13. Let b be l/12 - (-2)/3. Are -12/11 and b unequal?
True
Let y = 121 - 118. Which is smaller: 1 or y?
1
Let w be 6/4 - (0 - 23/(-10)). Is 0.24 greater than w?
True
Let f = 0.21 + -0.51. Which is smaller: 2 or f?
f
Let i be (-12 - -15)*4/(-6). Is i at most 0.2?
True
Let r = 0.7 + 1.3. Let j be (-4)/6 - (-70)/15. Suppose 0 = 4*p + j. Is p > r?
False
Let x = 5 + -4. Let h = x + -0.6. Let p = -0.5 + h. Which is bigger: p or 1/5?
1/5
Suppose -4*u + 1 = -3. Is 34 less than or equal to u?
False
Suppose 0 = -0*v + 2*v + 4. Let s be 0/(v*(-1)/(-2)). Which is smaller: -1 or 