et q = l + -3.3. Which is greater: -3/5 or q?
q
Let n(m) = 47*m + 2. Let v be n(1). Let s = v - 149/3. Which is bigger: s or 15?
15
Let j = 8 - 13. Suppose -11*r = 21 + 45. Is r greater than j?
False
Let v be (2772/16)/11 - 3/(-12). Which is smaller: 15 or v?
15
Let j(c) = 4*c**2 - 46*c - 735. Let r be j(-9). Let a be 0 + 1 - (-9)/13. Which is smaller: a or r?
a
Let k = -1128 + 1140. Let u = -5 + 16. Is u not equal to k?
True
Let x(r) = -r**2 + 6*r - 6. Let w be x(5). Let a(u) = 94*u + 1976. Let t be a(-21). Which is smaller: t or w?
w
Let s = 1412 - 1343. Which is smaller: 80 or s?
s
Let s = -2/238937 + -153158551/7884921. Let p be (-29)/(-9)*(-54 - -48). Let x = p - s. Is x not equal to -1?
True
Let w(n) = n**3 - 2*n**2 - 2. Let o be w(3). Suppose o*p = 2*p. Let v = 61 + -61.17. Which is smaller: v or p?
v
Let s = -2.731 + -11.339. Let l = 14 + s. Let w be (-3)/(-6) + (-9)/30. Is w at most as big as l?
False
Let z = 19.2 - 19.2. Is z smaller than -0.043?
False
Let b be -3 + -1 + (-1250)/(-178) + -3. Which is greater: 1 or b?
1
Let q be 6 + -1 + -2 + 5. Let x(f) = -6*f**2 + f + f**3 - 8 - 16*f + 1. Let i be x(q). Which is smaller: -2/41 or i?
-2/41
Suppose 4*h = j + 287, 7*j - 4*j + 852 = 3*h. Is -283 >= j?
True
Let z(w) = -4*w**2 + 4*w + 1. Let y be z(2). Which is greater: 0.059 or y?
0.059
Let f = 28 + -17. Suppose 0 = 3*o - f - 4. Suppose o*x + 4 = 3*x. Does x = -0.3?
False
Let i be 11/(-44) + (-10)/(-8). Are 2/1145 and i unequal?
True
Let l = -15 - 15. Let x = l + 21. Let y = x - -8. Which is smaller: y or 7?
y
Let u be (-306 + -2)*(-21)/630. Do u and 9 have different values?
True
Suppose -2*d + 437 = -103. Which is greater: d or 271?
271
Let p(a) = -a**2 - 41*a + 9. Let v be p(-42). Does -31 = v?
False
Let s = 64/105 + 2/35. Is 0.135 bigger than s?
False
Let t = 0.26 - 0.86. Let c = 1.6 + t. Which is greater: c or -0.14?
c
Suppose 0 = -2*c - 2, 2*n - 15 - 6 = -3*c. Let f = 12 - n. Suppose 2*y + 1 + 1 = f. Which is smaller: 0 or y?
y
Suppose 0 = 5*c - 2*l + 17, 0 = 4*c + 3*l - 5 + 14. Which is bigger: -32/13 or c?
-32/13
Suppose -8*q + 5 = -3*q. Which is smaller: q or 1/452?
1/452
Suppose 0 = y + y + 5*b, -4*y = -b. Does -2 = y?
False
Let l = 0.81 - 0.766. Let w = l + -0.024. Which is bigger: 0.1 or w?
0.1
Let k = -333.2 + 333. Is k equal to 68?
False
Let b(o) = 3*o + 24. Let z be b(-16). Let c = z + 47. Is 23 at most as big as c?
True
Let v(n) be the first derivative of -n**2/2 + 16*n + 17. Let p be v(6). Is p bigger than 0.1?
True
Suppose 29 = 4*b - 11. Let n(g) = g**3 - 23*g**2 + 24*g - 42. Let l be n(22). Suppose 0*t = -l*t + b. Which is smaller: 3 or t?
3
Suppose 10*d - 1608 = -498. Is 111 >= d?
True
Let i be (-1 - 8*-1)*-1. Let t be (60/(-9) + 7)*1. Is i > t?
False
Suppose 6 = w + 3. Let o = 4 - w. Let s = -2710 - -35228/13. Do o and s have different values?
True
Let r = 970 + -6788/7. Is -9/2 > r?
False
Let y = 52 - 45. Which is greater: y or -12?
y
Suppose 2*i - 18 = -2*y, -4*y - 48 = 3*i - 5*i. Which is greater: 7 or i?
i
Let x(m) = -m + 3. Let f be x(-4). Suppose -5*b + 2 = f. Which is greater: b or -5/3?
b
Let a = 183/20 - 985/108. Which is smaller: 0 or a?
0
Let p(j) = j**3 - 2*j - 1. Let m be p(-1). Suppose 3*u - 4*u - 3 = m. Let o be (-3)/u*(-8)/(-2). Is 1 < o?
True
Suppose -f + 3*d = 6*d - 5, d = 5*f + 39. Is f at most -22/3?
False
Let k be (0 + 1)*(-1 + 1). Let w be (0 + 5)/(k + -1). Which is smaller: w or 0.4?
w
Suppose 0 = 4*t + 3*f + 56 + 28, 0 = -2*t + f - 32. Let u be 6/4*(-16)/t. Let z = 162 + -162. Which is smaller: z or u?
z
Let w be (3/(45/35) + -3)/814. Is 1 greater than or equal to w?
True
Let p = 19 - -21. Let w = -1038 - p. Let b be 119/w + (-2)/(-11). Which is greater: b or 0?
b
Let k = 11 + -14. Let x be (12 + -6)/(k - -1). Let o be (-29)/12 + (-1 - x). Which is greater: 0 or o?
0
Suppose m + 228 = 5*h - 3*m, 80 = 2*h + 4*m. Let c be 15/(-30) + 2/h. Let w(a) = a + 3. Let y be w(-4). Which is smaller: c or y?
y
Let z(q) = -5 + q - 1 - 5 + 3. Let l be z(7). Let i be l/3*(-2 + 3). Which is smaller: i or -2/17?
i
Suppose 4*b + 2*m - 12 = 4, b + 3*m = 4. Suppose -3*h + 53 = -0*h + 5*t, 0 = 3*h + b*t - 49. Is h != 12?
True
Let s(o) = o**2 + 4*o. Let z be s(-4). Let f be z + 303/302 - 1. Let i = f - 5137/906. Is -6 at least i?
False
Suppose j + 0 - 6 = 4*h, 2*j - 4*h = 8. Suppose -4*d = 5*q - 10, 10*q + 2 = 11*q - 4*d. Suppose b = 0, -5*b - 34 = j*r - q. Are r and -18 nonequal?
True
Let a(w) be the first derivative of 8*w - 10 - w**2 - 1/4*w**4 - 5/3*w**3. Let c be a(-4). Is c smaller than 3/7?
True
Suppose q + 0*y = 5*y + 40, 0 = q + 4*y - 76. Let h = q - 42. Let j be (4 + 0)*(-9)/h. Which is smaller: j or -1?
j
Let p be ((-2)/(-5) + 60/(-275))*-35. Let m = -75/11 - p. Which is greater: m or -1?
m
Let w = -15 + -28. Let s = -9 - w. Is 35 equal to s?
False
Let i(l) = -3*l + 22. Let v be i(-9). Let f = v + -96. Which is bigger: -45 or f?
-45
Let k = 14.12 + -15.039. Let x = -0.081 + k. Let d = -150 - -1649/11. Which is smaller: x or d?
x
Let n be (-6)/21 + (-30)/(-7). Suppose 0 = -4*v + 3*l - 62, 2*l - l = 4*v + 66. Let h = v - -22. Is h less than or equal to n?
False
Let r be 56/24*6/28. Is 26 less than r?
False
Let k = 300 + -806. Does -504 = k?
False
Suppose -4*t + 14 = p, 2*t + 13 = -4*p + 41. Let z(m) = -181*m - 179. Let f be z(-1). Which is greater: f or p?
p
Let h = 22 + -34. Let n be 58*1*54/h. Let k = n + 4699/18. Which is bigger: k or 1?
1
Suppose t - 44 = -4*g, -2*t = 5*g - 2*g - 63. Which is smaller: 23 or t?
23
Let l be 12 + 4 + -5 + 1. Suppose -2*n + 2*o = -l, 5 + 11 = 4*o. Suppose -2*w + 7*w = -n. Which is smaller: w or 10?
w
Let w = -5 - 16. Let f = w + 19. Is -2.8 greater than f?
False
Let c = -4 + 5. Let f be (-26 + c)*3/(30/(-4)). Which is smaller: 11 or f?
f
Suppose -3*s + 879 = 3*a, -a + 4*a = -5*s + 1469. Is 1175/4 less than s?
True
Let i = -31091/5334 + -4/889. Let h = 6482/3 - 2157. Let g = h + i. Is -2 bigger than g?
True
Let p = -7.6 - -3.1. Let i = -4.3 - p. Let t = 3.04 - 3. Which is smaller: i or t?
t
Let l(p) = -p**3 - 6*p**2 - 8*p - 13. Let f be l(-5). Suppose 60 = -6*v + 4*v - 4*q, f*v - 3*q + 32 = 0. Which is bigger: v or -24?
v
Let y = -135 - -131. Which is bigger: y or -3?
-3
Let t = -2898 + 1222. Let o be 24/228 - t/(-38). Which is smaller: -45 or o?
-45
Suppose 24 = 4*h - 2*h. Suppose -4*g + h = 2*g. Let t(s) = s + 9. Let u be t(-6). Which is smaller: g or u?
g
Suppose -4*w + 46*d - 45*d + 2268 = 0, 5*d - 2268 = -4*w. Is w != 569?
True
Let n(i) = -i**2 - 7*i + 13. Let r be n(-7). Suppose 3*y - 5*y - 26 = -2*q, 5*q + 2*y - 65 = 0. Is r != q?
False
Let r(x) be the first derivative of 4*x**3/3 - 2*x + 1. Let m be r(2). Let z be (3/m)/(9/(-12)). Which is bigger: 8 or z?
8
Let c = 0.041 + -3.041. Let w = c - -3.1. Suppose 1 = -2*v + g, 1 = 5*v - 4*g + 5. Is v != w?
True
Let y be (-18)/(-12)*4/(-6). Suppose -5*f = -2*z - 77, -3*z - 2*z = -4*f + 65. Suppose -t = 4*t - f. Is t < y?
False
Let g = -5 + 29. Let n be (65/(-39))/(2/g*2). Which is bigger: -12 or n?
n
Let q be 5/(5/4*2). Suppose -2*u - 3*u + 80 = 0. Let o be (5/(-4))/((-12)/u). Which is bigger: o or q?
q
Let y = -439 + 425. Which is greater: y or -25?
y
Let t = -33 + -1. Let a = t - -38. Which is bigger: 34/9 or a?
a
Let f be (-8)/6 + 2/6. Let u = 21/41 - 171/574. Which is smaller: u or f?
f
Suppose -91 = -4*h - s, 2*h = -17*s + 21*s + 68. Which is smaller: 49/2 or h?
h
Let k = -0.496 + 0.566. Suppose -3*i - 2 + 17 = 0. Let c = i - 6. Which is greater: c or k?
k
Let g be (17 - 14)*224/1062. Let w = g - -2/59. Is 0.27 less than w?
True
Let u = -6 + 13. Suppose 0 = 5*z + 2*z - u. Which is greater: z or 0.16?
z
Let t be (-4)/730*70/56. Which is bigger: t or 1?
1
Let t = 3.1 + -47.1. Let n = 41 + t. Is n != -6?
True
Let d = 3791 + -3913.16. Let k = d + 134.9. Let g = -0.26 - k. Which is smaller: g or 0?
g
Let m = -0.1 + 0.2. Let i = 7645 + -466346/61. Is i smaller than m?
True
Let p be 1/(1/3*1). Suppose 2*f = 3*f + 3. Let r = p + f. Is r <= -3/19?
False
Suppose -b - 5*m = 74, 4*b = -2*m - 2 - 258. Is b smaller than -68?
False
Let f be (-10)/(3780/(-1074)) + -3. Is -1 less than or equal to f?
True
Let y be (-22)/77*21/(-6). Which is greater: y or -4/77?
y
Let u = -262 - -268. Which is bigger: u or -50?
u
Let l = -8 - -8. Let z