 big as x?
True
Let t be (-6)/(-7)*56/16. Let l be ((-95)/30 + 3)*(t - 2). Let c = -2 + 1. Are l and c equal?
False
Let k be (1509992/(-10))/(-38 + -12). Let u = k - 3020. Is 0 > u?
True
Let b be 4/(-38) - (-9 + (-1287)/(-171)). Does b = 1?
False
Let l = -0.0614 + 0.0314. Which is smaller: -0.28 or l?
-0.28
Let u = 66 + -28. Let k = 36 - u. Which is smaller: 5/7 or k?
k
Let p = -1715.3 - -1715. Which is smaller: p or -7/34?
p
Suppose 49 = -9*x + 229. Which is smaller: 19 or x?
19
Let u = 363 + -314. Which is smaller: 50 or u?
u
Suppose -3*d - 732 = 4*f, 0 = 2*f - f - 3. Which is bigger: d or -246?
-246
Let n = -251 - 631. Let l be ((-2)/6)/(154/n). Which is greater: 1 or l?
l
Let q = -0.096 + 0.145. Let r = -2.541 - q. Let h = r - -2.5. Which is smaller: h or -0.1?
-0.1
Suppose -4*b - 3 = 1. Let s be (-5 - b)*2/(-2). Suppose 3*n + v - 13 - 3 = 0, -4*v - 1 = -n. Is n <= s?
False
Let p be 6/44*((-6)/(-9) - 0). Which is greater: p or -2.7?
p
Let h be 3*3*24/72. Let b = 1 + 4. Suppose -b*g = 5 - 20. Is h at least as big as g?
True
Let n = -0.051 - 10.449. Let k = n + 10. Is -1 less than k?
True
Let p be 1008/(-39) - 2/13. Let j be (-4)/(-22) + p/22. Do -2/5 and j have the same value?
False
Let v be 4/(-6) - 7/(-15). Let l = 1.26 + 1.74. Is v > l?
False
Suppose 0 = 3*c + 4*r - 13, 7*c - 3 = 2*c - 2*r. Which is smaller: c or 2/77?
c
Let a = 2/493 + 455/9367. Suppose -4*f - 24 = g, -4*f - 34 + 10 = -4*g. Let h = -7 - f. Which is bigger: h or a?
a
Suppose 6*i = 2*a + i - 21, 5*a - 4*i = 10. Let m be -4 + (10*a - 0). Let t be -4 - ((-93)/m)/(-1). Which is smaller: t or -1/3?
-1/3
Let z be ((-32)/22 + 2)*(-1)/123. Is z > -1?
True
Let h = -1.12 - 1.2. Let f = -0.32 - h. Is f equal to 1?
False
Let z(i) = -54*i**3 + 18*i + 55*i**3 - 24*i**2 + 6*i - 25. Let m be z(23). Which is bigger: -3 or m?
m
Let u = 58 - 57. Let f be u + 4 + 52/(-10). Are -11 and f nonequal?
True
Let s = -173/18 + 1/9. Let w = -27 - -17. Is w smaller than s?
True
Let b be (-2 - (-22)/7)*(-1)/4. Which is bigger: -4/7 or b?
b
Let u = 1.2 - 1.34. Let w = -15.14 - u. Let t = w - -15.2. Which is bigger: -1 or t?
t
Let q(z) = -3*z**2 - 36*z + 1. Let i be q(-12). Is i bigger than 29?
False
Let k = -0.1186 - -0.0186. Is 2.24 <= k?
False
Suppose -6*w + 14*w = -192. Let s(n) = -9*n - 3. Let k be s(-3). Let i be ((-9)/2)/(k/128). Is i > w?
False
Let j = 8.7 - 5.1. Let i = 3.3 - j. Which is smaller: i or 4/9?
i
Let j = 144 + -142. Let k = -1/568 + -1115/11928. Let m = 13/84 - k. Is j <= m?
False
Let w = 130 + -652/5. Let y = -96727 - -3385148/35. Let d = -41/5 - y. Which is bigger: w or d?
d
Let f = -1169 - -1193. Which is greater: f or 18?
f
Let f(b) = -b**2 - 7*b + 11. Let a be f(-8). Suppose -2*s - 3*s = 0, 5*c = a*s. Suppose -4*y + 16 = 5*j - 3*j, y + 5*j + 14 = c. Is y greater than 6?
False
Let w = 51 + -76. Let q = -26 - w. Let h be (2 - 1) + 34/(-10). Which is smaller: q or h?
h
Let o(j) = 6*j + 9. Let c be o(-6). Let f = -28 - c. Let l = -26/185 - -3/74. Is l < f?
False
Let c = -13/24 - -1/24. Let b = 1.98 + 25.02. Is c >= b?
False
Let f = -7 + 21. Let x = -299.1 + 285. Let p = x + f. Is -8 less than p?
True
Let v(t) = -t**3 - 8*t**2 - 6*t + 8. Let w be v(-7). Suppose o - 40 = -4*u, -o = -2*o + 5*u + 31. Suppose z + o = 32. Which is bigger: w or z?
w
Let n = 134 - 133.98. Which is bigger: -1 or n?
n
Let a be 1205/300 - ((-8)/(-2) - 0). Are -1 and a equal?
False
Let m = 145/8 + -133/8. Let h be (-2)/(-5) + (-8)/(-5). Let a(b) = -b**2 + 2*b + 1. Let o be a(h). Which is bigger: m or o?
m
Let m = 74.08 - 74. Let z = -13.8 - -14. Are m and z equal?
False
Let x = 10 + -14. Let m be (-9)/(-3) + -19 + x. Let b be m/(-3*(3 - 2)). Which is bigger: b or 7?
7
Suppose 4*u + 19 + 1 = 0. Let p = u - -5. Suppose z = 4*h - 4, 2*h + p*h - 2 = -2*z. Is 2 != z?
True
Suppose 6*g = 48 + 6. Suppose -10*a + g*a = -8. Let b be 24/(-40) - a/(-5). Is -1 < b?
True
Suppose 17 = -a + 4*q, 8*a + 37 = 3*a + 4*q. Let t be 28/105 - 2/a. Let f = -0.167 - -0.167. Is f less than t?
True
Suppose 485*u - 7 = 492*u. Let k be (-3)/73*(-2)/(-3). Which is bigger: k or u?
k
Let v be 0 - -2 - (7 + -8). Let f be 6/9 - 23/v. Is f at most -2/5?
True
Let i be (-13 - 71)*(-1)/(-50). Is i at most as big as -3?
False
Let d be 5*12/20 - (-1 + -1). Suppose d*u - 20 = 10. Is 7 smaller than u?
False
Let g = 701 - 704. Are 162/7 and g unequal?
True
Let o = -2 - 0. Let j be ((-42)/(-8))/(2/4*-6). Is j at most as big as o?
False
Let k be 14 + 45/10*24/(-18). Which is greater: k or 9?
9
Suppose -85*g + 15*g = 0. Is g bigger than -4/1131?
True
Suppose -5*n = -2*n - 6. Let k = -14 - -19. Suppose k*y + w = 2*w + 9, -4*y - 5*w = 16. Which is greater: n or y?
n
Suppose q + b = -4, -q = -2*b - 2*b + 4. Let v be (-5)/(-13)*q/10. Let g(o) = -2*o - 29. Let u be g(-14). Which is greater: v or u?
v
Let y = -7.362 + -1.638. Are y and 45 unequal?
True
Let b(g) = -g**3 + 3*g**2 - g + 4. Let l(s) = -s - 12. Let u be l(-12). Let q be (10/5 - u) + 1. Let x be b(q). Is x bigger than 1/24?
True
Let c be (50/20)/(15/(-6)). Which is greater: c or -2/491?
-2/491
Let b = -14607452217/124 + 117801335. Let m = -699 - b. Is 1 not equal to m?
True
Let q = -52.3177 - -0.1177. Which is greater: q or 2?
2
Let p = 85123/8 - 8932579/840. Let y = p + -44/7. Which is smaller: y or -1?
-1
Let a(u) be the first derivative of -3*u**2/2 + 40*u + 27. Let h be a(14). Let k = -2 - -2. Which is bigger: h or k?
k
Let d(p) = 7*p + 207. Let m be d(-31). Is m equal to -10?
True
Let a(x) = x**3 + x**2 - x. Let p be a(0). Let k be 10/25 - p/(-3). Let c = -37/30 + k. Which is smaller: c or -1?
-1
Suppose -5*z + 4*v + 14 = 0, -z - 2*v - 3*v - 3 = 0. Suppose -s = -z*t - t - 4, -3*s = -t - 12. Are t and 2/9 non-equal?
True
Let p = -1132 + 1081. Are p and -57 nonequal?
True
Let o = 1026/325 + -40/13. Let f = 0 - -2. Which is smaller: o or f?
o
Let n = -131801/87 - -1515. Which is greater: n or 1?
1
Let n(l) be the first derivative of -l**4/12 - l**2/2 + 2. Let c(m) be the second derivative of n(m). Let h be c(0). Which is bigger: h or 1?
1
Let l = 13172 - 224014/17. Let f = l - -547/68. Suppose 5*a - 16 = a. Which is greater: f or a?
a
Let q(p) = p**2 + 10. Let l be q(4). Which is greater: l or 30?
30
Suppose r - 39 = -d, 0 = -2*r + 6*r + 5*d - 157. Let s = r + -52. Which is bigger: s or -16?
s
Suppose -17*w - 535 + 325 = 13*w. Let p(f) be the second derivative of -f**5/20 + f**4/2 - 7*f**2/2 - f. Let b be p(6). Is b < w?
False
Suppose -p = -7*q + 4*q + 12, 0 = 2*p + q + 52. Which is bigger: p or -3?
-3
Let y = -0.053 + 7.853. Let r = -8 + y. Let q = r + 0.3. Is q at most 0?
False
Let y = 2413/212 - 45/4. Is 1 at least y?
True
Let s = 0 - 1. Let v(z) = z**3 - 5*z**2 + 2*z + 7. Let p be v(4). Let l be -4*(-1 + p)/4. Which is smaller: l or s?
s
Let s = -73.943 - 0.057. Let p = -72.5 - s. Is p at most -2/3?
False
Suppose -2*v = 1 - 7. Let l be 10103/(-43) + (0 - v). Let b = 238 + l. Which is smaller: b or 0?
0
Suppose -5*f + 5*o = 45, 2*f + 5*o - 2 = -20. Let h(y) = 2*y**2 + 21*y + 16. Let k be h(f). Is k at most -12?
False
Suppose -32 = 18*l - 50. Which is greater: l or 0?
l
Suppose 8 = -2*b - w, -4*b + 5*b + 1 = w. Let a be b/18*3*4. Do a and -3 have the same value?
False
Let t = -51 - -31. Let p = t - -30. Let z be 9 + -5 - (-44)/(-12). Which is bigger: p or z?
p
Let w be (-5 - (-1 - 1))/((-13)/(-26)). Let k(s) = 2*s**2 - 2*s - 2. Let z be k(2). Suppose 5*l - z*f + 7 + 22 = 0, -3*f = 5*l + 44. Which is smaller: l or w?
l
Let o = -0.68 + -30.32. Let x = -8 - o. Let v = 21 - x. Is v less than 0.09?
True
Let q = -1244 + 1184. Is q >= -62?
True
Suppose 2*b + v = -14, -3*b + 10 = -5*b + v. Let i be b/4*(-2)/(-1). Which is bigger: -11/4 or i?
-11/4
Suppose -2*p - 4*y = -6*y + 146, -227 = 3*p + y. Let k = 68 + p. Is k at least -17/3?
False
Let p = 1 - -1. Suppose 0 = 2*s - p*l + 6, -4*l + 12 = 5*s - 0. Let h = -846/11 - -77. Is h bigger than s?
True
Let s = -0.043 - -0.024. Let f = 0.281 - s. Do f and -2/17 have the same value?
False
Let v be (-32)/(-2) - (5 - 2). Let t be (-10)/(-25) + v/(-45). Let r(h) = h + 1. Let q be r(-2). Which is bigger: q or t?
t
Let k be (-2)/4 + 1386/36. Which is smaller: 73/2 or k?
73/2
Let i(c) = -c**2 - 6*c + 8. Let y be i(-7). Let t be ((-6)/(-15))/(y/5). Suppose -6 = 4*