al?
True
Let w be 1 - ((-27)/(-84))/(4/144). Are w and -10 equal?
False
Let g = 240 - 270. Let y = -76 - -45. Is g bigger than y?
True
Let y = 0.2 - 0.3. Suppose 0 = 2*i - 0*i - 36. Let m(f) = -f + 20. Let p be m(i). Which is greater: y or p?
p
Suppose -10*q + 7511 = 1481. Which is bigger: 604 or q?
604
Suppose 5*a + 112 = -3*a. Let n(x) = -2*x**2 - 29*x - 4. Let f be n(a). Which is bigger: f or -5?
f
Let i = -11 - -14. Let w be (-168)/(-49) + i/(-7). Let b be (w/6)/(1/18). Is 15/2 at most b?
True
Let s = 99.175 + 1146.845. Let k = s + -1269. Let f = -23 - k. Is -0.2 greater than f?
False
Let k = 213 + -226. Is -1/3 equal to k?
False
Suppose 55*u + 40 = 59*u. Is u <= 19?
True
Let p be -4 + (1 - (81/(-17) - -2)). Are p and 1 non-equal?
True
Let z be (-9)/45 + 34/70. Let p be (55/(-22))/((-2)/4)*-1. Which is bigger: p or z?
z
Suppose 12 = -2*y - 20. Let r be ((-18)/3)/(y - 3). Is 1 less than r?
False
Suppose 3*p + 2*p = 0. Let k = -41 - -43.1. Let n = 5.1 - k. Is p > n?
False
Let k be (-7)/14 - (1 + 17/6). Suppose 18 = -3*s + 6. Does s = k?
False
Let p = -55 + 55. Let c(o) = o**2 + 3*o - 14. Let g be c(p). Is -13 at least g?
True
Let v = -1119 - -1118. Which is greater: v or -1/225?
-1/225
Let w(v) = 27*v - 243. Let h be w(9). Let y be -2 - -2 - (-7179)/34278. Let z = 1/394 - y. Which is greater: h or z?
h
Suppose -z + 20 = 4*g, 3*z - 2*g - 100 = -2*z. Let m = z + -23. Is -7/3 at least as big as m?
True
Let m = -20 - -27. Let r(u) = u**3 - 7*u**2 + u - 1. Let v be r(m). Suppose v = a - 0*a. Is 6 at least as big as a?
True
Let w = -105/8 + 3247/248. Is w < 1?
True
Let o = 22.9 - 24.9. Suppose -4*z = -0*z - 40. Suppose 3*d + 2*f - 8 = 0, -3*d - 4*f = -0*d - z. Which is greater: o or d?
d
Let y = -127/492 + 1/123. Let a = -39 - -22. Let n = 20 + a. Is n not equal to y?
True
Let c(f) = -5*f - 36. Let b be c(-6). Let j = b + -13. Which is smaller: -2/7 or j?
j
Let w = -0.069 - 7.131. Let l = 1.8 - w. Is l equal to 1?
False
Let i = 32 + -33. Let w be 0*(i/(-2))/((-18)/12). Which is greater: w or -4/77?
w
Suppose 0 = -6*t + 12. Let a be 24/16 - (-35)/t. Is a at least 20?
False
Suppose -5*b + 8*b + 48 = 0. Which is smaller: b or -49/3?
-49/3
Let f = -1827 - -1828. Let g = 73 - 45. Is g smaller than f?
False
Let v be 2/4*(-8 + (-324)/(-38)). Which is bigger: 1 or v?
1
Let q = -2/569 - 47221/1707. Which is smaller: q or -27?
q
Let f = 447 - 446.7. Which is smaller: f or -65?
-65
Let y be ((-2)/4 - 0) + 75/10. Does y = -2.3?
False
Suppose 5*y - 40 = -55. Let a = -5 + 1. Which is smaller: y or a?
a
Let i = 234508811/1845 + -635644/5. Let k = 214/9 + i. Which is smaller: 1 or k?
k
Let i = 20.2 + -24. Let z = 39 - 43.1. Let c = z - i. Is c > 5?
False
Let v = 3699991/707112 + -5/12627. Let b = v + -51/8. Which is bigger: -1 or b?
-1
Suppose -1 = -n - r - 2, 5*n + 2*r + 8 = 0. Let p = 1/18 - 53/90. Which is greater: n or p?
p
Let q(x) = x**3 - 18*x**2 - 43*x + 18. Let n be q(20). Let k = -42 - n. Which is bigger: 5/8 or k?
5/8
Let b = -5.4 + 5.4. Let d = 22 + -43/2. Which is smaller: b or d?
b
Let m = -501 - -504. Is -90/11 smaller than m?
True
Suppose x + 27 = i + 34, 3*x - 13 = 5*i. Which is smaller: x or -14?
-14
Suppose -2483*u + 108 = -2480*u. Is 69/2 > u?
False
Let o(z) = -z**2 + z - 1. Let y(d) = -d**2 - 4*d + 4. Let i(x) = 3*o(x) + y(x). Suppose 0 = -3*g + 2*c - 4 + 3, -2*c + 3 = -g. Let j be i(g). Is j at most -2?
True
Let h be (-2)/(-5) + -6*(-6220)/75. Let j be (-3 + 0)/21 + h/(-42). Is -4 at most as big as j?
False
Let s = -1754 + 14089/8. Is 8 less than s?
False
Let g be (6/(-3))/((-1)/1). Suppose -g*y = -3 - 1. Let i = y - -1. Is -1 <= i?
True
Suppose -5*s = 5*n + 45, 5*s + 51 = -4*n + 4*s. Is n at least 0?
False
Let v = -259/192 - -1/64. Let l(b) = b**2 + 4*b + 1. Let f be l(-3). Is v > f?
True
Let i(k) = 18*k - 55. Let w be i(2). Which is smaller: -81/4 or w?
-81/4
Let m = 403376836/27 - 14938055. Let x = m - 1827. Let s = -323/297 + x. Which is bigger: -1 or s?
s
Let x(f) = -19*f**2 - f + 3. Let c be x(-2). Is -70 <= c?
False
Let d = 159 + -130. Let u = -35 - -57. Let c = d - u. Which is greater: c or -1?
c
Suppose -15 = 5*g + q, 3*g + 1 = -2*q - 1. Let z(t) = -7*t - 44. Let v be z(-7). Let x(n) = -5*n + 20. Let y be x(v). Is y bigger than g?
False
Let o be (-17)/(-34) - 9/2. Let x be (-136)/1785 + o/(-30). Is x less than 0?
False
Let r = 0.6 - -0.4. Let u = r - 1.05. Let b = -0.7 - -0.7. Is u at least as big as b?
False
Let g = -2.39 - -1.39. Is 5/11 equal to g?
False
Suppose 2*s = -0*s + 18. Suppose 18 = 3*n - s. Which is greater: n or 8?
n
Let n(c) = 2*c**2 - 4*c + 2. Suppose -4*r + 7 = -1. Let p be n(r). Let y be p/16*(-2)/1. Which is smaller: -0.1 or y?
y
Let d(a) = a**3 + 2*a**2 + 1. Let q be d(-2). Which is smaller: 14 or q?
q
Let z = -9 - -13. Suppose -g - g = z. Let x be g/5 + (-180)/50. Is 2 at least x?
True
Let d = 0.219 + -136.219. Let n = -151.8 - d. Let w = 16 + n. Which is greater: w or -0.3?
w
Let p be (15 + -12)*6/2. Is 83/11 < p?
True
Suppose 35 = 10*m - 3*m. Suppose y + m = -26. Does -31 = y?
True
Let b(q) = 2*q + 1. Let c be b(19). Let w be ((-52)/c)/((-2)/(-9)). Are w and -7 equal?
False
Suppose 5*x + 33 + 27 = 0. Let w = x + 6. Is -9 greater than w?
False
Let m = -1 - 46. Let a = 26 + -26. Which is smaller: a or m?
m
Let r = 362 + -1378. Are -1016 and r non-equal?
False
Let x = 13.8 - 14.8. Is x greater than 83?
False
Let p = -0.041 + -0.059. Which is greater: 192 or p?
192
Let n be 45/12 - (-18)/(-24). Let m be 56/(-12) + 5 - (-2)/n. Are 0 and m nonequal?
True
Let z = 43 + -22. Let k be (5/16)/(z/(-18) - -1). Does -1 = k?
False
Let p(r) be the second derivative of r**4/6 - 5*r**3/6 + 3*r**2 - 4*r. Let w be p(4). Let k be w/(-10) - (2 + -4). Are 0 and k unequal?
True
Let u be (-18)/(-2)*(-2)/(-6). Suppose -3*g + g = -3*i + 2, 2 = 4*g - u*i. Suppose -v + g*v = -12. Which is greater: v or -11?
-11
Let a be -5 + (-2)/((-44)/114). Is a != 21?
True
Let v = 186 + -184.6. Let x = 0.18 + -0.18. Which is greater: v or x?
v
Let q be (14 + -30)*2/12. Is -3 less than or equal to q?
True
Let t = -959/3210 + -65/642. Let q = -6.06 - -6. Let f = -0.24 + q. Which is smaller: f or t?
t
Let w be (-65)/(-3)*3 - 1. Suppose 6*t + w = 8*t. Let x be -1 - (-4 + 92/t). Is x less than -1?
False
Suppose 2*c + 5*j = 3*c - 23, 2*c + 4*j + 24 = 0. Let d = -67 - -92. Let r = -29 + d. Which is greater: c or r?
c
Suppose -6*y - 34 = 188. Let x be 38/(2/(-4)*2). Which is smaller: y or x?
x
Let r = 48.77 - 48.8. Is r > 19?
False
Suppose -9*q + 902 = -754. Which is smaller: 185 or q?
q
Suppose 2*t - 3*u = -7*u - 22, -3*u - 20 = 5*t. Suppose 0 = 4*z - 2*i - 60, -z = -4*z + i + 43. Let f = 10 - z. Is f greater than t?
False
Let k = -283.62 - -284. Let y = -83.39 - -83. Let l = k + y. Is 0 != l?
True
Suppose -2*u - n + 5 = 0, -4*u - 5*n + 4 = -9. Let z = 8 + u. Let r(b) = -2*b + 12. Let l be r(z). Are -9 and l non-equal?
True
Suppose 2*a = 4*d - 2*a - 168, -d + 4*a + 27 = 0. Are 47 and d equal?
True
Let k = 671 + -7383/11. Which is smaller: 2 or k?
k
Let b = 0.1057 - 0.1257. Which is bigger: -3/16 or b?
b
Suppose 3*g - 32*w + 30*w = 820, w - 1384 = -5*g. Are g and 274 unequal?
True
Let d be (33/44)/((-2)/104). Let k be 1 - ((-51)/d - 0). Which is smaller: k or 1?
k
Let z be ((-1365)/(-460) - 6) + 3. Which is bigger: z or 0?
0
Let r = 472 - 469. Which is greater: -7/4 or r?
r
Suppose -o = -2 - 8. Let g be (-60)/o*1/(-166). Let p = 65/498 + g. Is p smaller than 0?
False
Let d be (3 - 4) + -10 - -4. Let n = d - -1. Which is smaller: n or -4?
n
Suppose 2*p - 658 = 4*b - 3*p, 0 = -3*b + 4*p - 494. Is b at most as big as -162?
True
Let q = 18457 + -18456.98. Let p = -596/7 - -85. Which is smaller: q or p?
p
Let d be -6 + 4*(-35)/(-28). Is d <= -16?
False
Let m = -0.227 + 0.227. Is m >= -1?
True
Let t(x) = x**2 + 25*x + 85. Let z be t(-21). Is z at least -6/125?
True
Suppose -14 = -y - 1. Suppose y = 3*v - 5. Let p(d) = d - 6. Let f be p(v). Which is bigger: -6/11 or f?
f
Let i = -835741/9 + 92995. Let y = 136 - i. Let g = 1 + -1. Which is greater: y or g?
y
Let l(b) = -b + 2. Let z be l(6). Let v be 7/4 - 1/z. Suppose 3*c - v*c - 6 = 0. Is c less than 5?
False
Let a be (-3)/4*1380/(-54). Let g = a + -1477/78. Is 1 at most g?
False
Let s = -1205 - -1204.673. Whic