
Let x = -0.42 + 63.42. Let n = -62 + x. Which is smaller: 1/10 or n?
1/10
Suppose 0 = -2*a + 2*d - 3812, 0 = -2*a - d - 2273 - 1524. Which is smaller: a or -1900?
a
Let u = -0.1 + 0.1. Let p = u + 0. Let o = 349 - 1397/4. Which is greater: o or p?
p
Suppose 2*t - 3 = j, 2*t + 9 = -4*j + j. Suppose 2*w = 5*g - 88, t = 5*g + 4*w - 38 - 26. Is 16 > g?
False
Let a = -2537/45 - -484/9. Which is bigger: a or 0?
0
Let d = 0.9 - 0.7. Let o = -0.06 - -0.16. Let f = o + -0.4. Which is smaller: d or f?
f
Suppose 2*v + 287 = 4*z + 39, -313 = -5*z + v. Is z > 62?
True
Let a = 44/35 + -556/665. Which is greater: 0 or a?
a
Let r = 26 - 24. Suppose 0 = 5*p - 33 - r. Let s = -4 + 4. Is p bigger than s?
True
Let a = 2 - -8. Let z = a - 9.9. Let y be ((-2)/1)/6*4. Which is smaller: z or y?
y
Let s = 6.21 + -7. Let a = s - 0.21. Are a and -4 equal?
False
Let n be (-8 + -4)/12*0/(-1). Is n > 2/701?
False
Let t be 0/(0/2 + -2). Let z(m) = 3*m - 12. Let p be z(4). Is p greater than t?
False
Let f = -26 + 24. Suppose 0 = -a - 0*a. Suppose b = -a - 5. Which is bigger: b or f?
f
Suppose 0 = 4*d - 2*d - 4. Suppose 0 = z + 9 - 1. Let a(i) = i**2 + 9*i + 8. Let g be a(z). Is g > d?
False
Let d = -62 + 63. Which is smaller: 18/199 or d?
18/199
Suppose -4*a + 648 = 3*o - o, -o = -4*a + 636. Let l = 158 - a. Do -3 and l have the same value?
False
Suppose k - 13 = 5*r, 5*k + 0*r - 65 = 3*r. Is k <= 13?
True
Let k be (54/7)/(((-10)/(-105))/(-2)). Does k = -162?
True
Let v = -346/7 + 223/14. Suppose -4*n = w + 31, 4*n + 9 + 127 = -4*w. Which is bigger: v or w?
v
Let n(k) = -k**3 - 7*k**2 - 6*k + 3. Let o be n(-6). Suppose -4*d - o - 37 = 0. Let u = 12 + d. Are 3 and u nonequal?
True
Let m = -103681/128 - -810. Is m < -1?
False
Suppose 2*y + 0 - 12 = 0. Suppose 2*g + 13 = -5*s, 2*g - 2*s - 2 - y = 0. Let u be 1/(g + (-8)/7). Are u and -8 nonequal?
True
Suppose -4 = 40*c + 36. Are 5/137 and c equal?
False
Let i = 78 + -66. Let c be (-2)/i*8/12*-6. Let k = 1 - -1. Which is bigger: k or c?
k
Suppose -a + 3*c = 10, -c = a - 6*a + 20. Suppose 0*k = 4*k + a*u - 110, 0 = -2*k - 3*u + 56. Do k and 25 have the same value?
True
Let y = 0.008 - 6.208. Let g = 4.9 - -1.1. Let n = y + g. Is n bigger than 0.04?
False
Let p = 47.7 + -63.7. Suppose 2*f + 3*t - 6 = -3*f, -3*f + 3 = 2*t. Which is smaller: f or p?
p
Let m be (-952)/(-28) - 1*-2. Let b be 4/(m/501) + (-1)/(-3). Which is greater: b or 111/2?
b
Suppose -t - 4*b = b - 10, 0 = -b + 2. Suppose t = -2*f - 0*f. Let s = 4177 - 16705/4. Is f at least s?
False
Let x = -138 - -137. Which is greater: x or -5/47?
-5/47
Suppose -132*w = -156*w - 456. Are -11 and w non-equal?
True
Suppose 0 = -2*u - u + 9. Let m be u/(-9)*(-2 - 1). Suppose 4*c - m = 5*c. Is c < -2?
False
Suppose -45 - 89 = -2*i + 3*n, 5*i - 301 = -n. Suppose -i + 63 = 2*s. Does 1/95 = s?
False
Suppose 5013 = -295*d + 292*d. Which is smaller: -1672 or d?
-1672
Suppose 49 - 10 = 3*u. Suppose 4 = n, -4*n - 13 = -2*t + u. Which is bigger: t or 20?
t
Let l = -484 - -498. Which is smaller: l or -13?
-13
Let g be ((-230)/23)/((-2)/(-1)). Is 8 not equal to g?
True
Let p be (-1)/(10/6)*-5. Suppose 4*x + p*l = -l + 8, l - 2 = -2*x. Which is smaller: x or 3/8?
x
Let m = 1452/7 - 207. Which is smaller: 0.028 or m?
0.028
Let a(x) be the second derivative of x**4/12 - 9*x**2 - 6*x. Let b be a(0). Let y = -21 - b. Is y at most as big as 0?
True
Let w = -16 + 22. Let a be 4 + 4 + -7 - w. Let t be -1 - a - (13 + -1). Is -8 > t?
False
Let d(m) = m**2 + 3 + 21*m + 7 - 10*m. Let n be d(-9). Let j = 19 + n. Which is greater: j or 10?
j
Suppose 13 = 5*m - 12. Suppose 0 = -0*l + m*l. Suppose l = 7*s + 2 - 16. Which is bigger: 9/10 or s?
s
Let m = -2/6747 + 519529/33735. Which is greater: m or 14?
m
Let v be 16264/3256 + -9 + 4. Which is smaller: 0 or v?
v
Let o be 0 - (-80)/(-14) - (-12)/(-42). Let i be o/15*-5*3/(-6). Is i != -2/33?
True
Let f = -0.09 + 0.49. Let t = 0 + f. Let z = 0.7 - t. Which is greater: z or -0.1?
z
Let u(p) = 3*p**2 + 15*p + 61. Let s be u(0). Is s at most 62?
True
Suppose 10 = -2*j, 0 = -3*h + 5*j - 7 + 80. Let f = 685/9 + -1091/18. Which is bigger: f or h?
h
Let f be -1 - (4 + -6 + 1). Which is smaller: f or 3/11?
f
Suppose -4 + 6 = -m. Let j be m - -1 - (6 - 10). Let c = 9 - j. Is 6 at most as big as c?
True
Suppose 0 = -9*k + 24 + 354. Let w = -41 + k. Do w and 4/5 have the same value?
False
Suppose 0 = 2*l - 4, 4*b + l - 4 = -3*l. Let j = -573 - -4006/7. Is b bigger than j?
False
Let n(d) = -d**3 + 2*d**2 + 3*d - 4. Let p be n(3). Let y be 2*(-4)/p + 0. Suppose -4*l - 2*i = -32, 3*i - y*i = -5*l + 34. Is 4 < l?
True
Let a be (70/(-25))/((-2)/80). Let u = 469 + -356. Which is smaller: a or u?
a
Suppose -4301 = 23*r - 12*r. Which is bigger: r or -392?
r
Let n be (65/(-2))/(6*(-7)/(-84)). Which is greater: -3 or n?
-3
Let c = -74 + 73. Let s be (-14 + 16)*c/(4/30). Do -15 and s have the same value?
True
Let f = -86 - -83.7. Let m = 6.3 + f. Is -0.1 not equal to m?
True
Let j(b) = -b**2 + 6*b - 2. Let l be j(4). Let w(n) = -3*n + 19. Let r(x) = x**2 - 13*x + 6. Let z be r(13). Let p be w(z). Is p at most l?
True
Suppose 4*k + 4*y + 56 = 0, -2*k - 2*y = -5*y + 28. Let q(t) = -t**3 - 15*t**2 - 13*t + 17. Let x be q(k). Suppose g - 2*w = -x, 2*w - 17 - 1 = 4*g. Is -5 < g?
False
Let n(h) = 2*h - 1. Suppose 3*a - 12 = -0*a. Suppose 5*j - j - a = 0. Let w be n(j). Which is bigger: w or -1/3?
w
Suppose 0 = -5*i - 2*b + 16, 1 - 7 = 3*b. Let f be (i/(-6))/((-2)/(-3)). Let m = -1049/4 - -261. Which is bigger: m or f?
f
Let l = 47.03 - 48. Let f = -20.03 + l. Is f > -0.1?
False
Let o be (-12)/(-4) + (-56)/19. Let q(v) = v**3 + 8*v**2 - 10*v - 6. Let x be q(-9). Suppose 3*j + 15 = x*h, -j + 3*j = -2*h + 6. Which is greater: o or j?
o
Let g be -20*((-10)/(-12))/5. Let o be ((-4)/(-10))/((-1)/(-5)). Suppose 3*j + 5*h + 32 = 0, o*j = -h - 10 - 2. Is j equal to g?
False
Let y be 9/114*(-4)/(-3). Let c be (-2)/10 + 132/10. Let x = c + -12. Which is smaller: y or x?
y
Let m = 10 + -5. Suppose 3*q = -m*a - 40, 4*a = 6*a + 4*q + 2. Is -12 greater than a?
False
Let l = 590 - 992. Let y = l + 269. Let w = y + 539/4. Is 3 at least w?
True
Let v be (-4)/22 - 12768/(-1254). Which is smaller: -3 or v?
-3
Let d = 0 - -0.4. Let o = 0.2 - d. Let y = 133/5 - 134/5. Is o < y?
False
Let t(a) = 4*a + 7. Let i be t(-5). Let z(d) = d**2 + 34*d - 398. Let l be z(9). Which is smaller: i or l?
i
Let v = -135.1 - -135. Is v bigger than -4.5?
True
Let a(d) be the second derivative of -d**5/4 - d**4/6 + d**3/6 - d**2/2 - 8*d. Let k be a(-2). Is k bigger than 29?
False
Suppose 0 = -j - 5, 0 = -5*f + 2*j - 7*j. Let u(q) = q. Let a be u(f). Suppose -g - 2*g - 46 = h, -3*h - 78 = a*g. Is g at least -15?
True
Let h = 4/449507 + 2520835180/8540633. Let g = -295 + h. Which is smaller: g or -1?
-1
Let o = -4 - -6. Let r = 27 - 23.2. Let x = r - 1.8. Is x less than o?
False
Let b = 739/7 + -106. Let t = -101 - -101.1. Is b < t?
True
Let z = -34.2 + 31. Let a = z - -1.9. Let u = -1.5 - a. Is -0.07 greater than u?
True
Suppose -5*x - 79*s = -74*s - 390, -5*s - 149 = -2*x. Let v = 0.09 + -1.09. Which is smaller: x or v?
v
Let v = -32 - -55. Let x = 23.3 - v. Let t = 0.24 - 0.24. Which is smaller: x or t?
t
Let w = -19 + 22. Let b be w - ((-10)/(-4) + 1). Let x(v) = v**2 + 3*v + 1. Let y be x(-2). Is b > y?
True
Let n = 51 - 60. Which is greater: 1 or n?
1
Suppose 2 = -l + n, n - 1 = -0. Let h be 1/7 + 51/(-21). Let g = 57/28 + h. Are g and l equal?
False
Let n = -525.1545 + 525. Let q = 7.0445 + n. Let k = q - 7. Which is greater: k or -0.1?
-0.1
Let v be ((6/(-1))/(-3))/((-3)/9). Let o = v - -14. Do 6 and o have different values?
True
Let c = 12.16 - 11.2. Are 1 and c equal?
False
Let d = -0.1656 - -0.1376. Is d less than or equal to 0.04?
True
Let j be ((-84)/378)/((-16)/66) - -2. Which is bigger: 2 or j?
j
Let i be (205/(-82))/(26/(-16) - -1). Suppose -5*c = -m + 8, -4*c + 5*m = 4*m + 6. Which is greater: c or i?
i
Let s be (0 - (0 - 0)) + -1. Let t(p) = p**3 + 4*p**2 - 3*p. Let b be t(-4). Suppose -7*l - 16 = b. Is l >= s?
False
Let s(w) be the first derivative of -w**2/2 + 4*w + 5. Let v be s(3). Let h be (v/2)/((-4)/(-12)). Are h and 1 non-equal?
True
Suppose 2*j + 3*w = -3*j - 55, 5*w + 49 = -3*j. Let i be (564/(-60)