less than or equal to 12?
False
Let a = -284 + 31. Which is bigger: a or -249?
-249
Let l = 0 + 3. Suppose -2*y - 104 = 3*n - 4*y, l*n + 129 = -3*y. Which is smaller: n or -39?
-39
Let i(c) = 11*c**2 - c + 2. Let y be i(1). Let h be ((-24)/y)/(2/(-9)). Suppose 4*l + 6 = -3*z + 2*l, -3*z - h = l. Is -2 <= z?
False
Let s(u) = -u**3 + 11*u**2 + 12*u + 3. Let t be s(12). Suppose -t*v = -4*v + 16. Suppose v = -5*k + 7*k. Does k = 7?
False
Let w = 38.2 + -39.2. Which is bigger: -2/89 or w?
-2/89
Let h be (-3)/2 + 7*2. Let w(x) = 2*x**2 + x + 2. Let d be w(2). Which is smaller: d or h?
d
Let x(f) = f**2 + 4*f + 7. Let y be x(-2). Suppose 0 = m - y*i + 2 - 15, 4*m + 2*i = -4. Suppose -11 = 5*s - m. Which is smaller: s or -3?
-3
Let n be ((-10)/(-15))/((-7)/21). Let y be (2 + (2 - n))*(-2)/(-12). Which is smaller: y or 1/145?
1/145
Let m(v) = -11*v + 15. Let q be m(0). Let t(y) = y**3 - 16*y**2 + 12*y + 12. Let z be t(q). Which is smaller: z or -32?
z
Let q(n) = -3*n**3 - n**2. Let u be q(-1). Suppose -u*x + 0 = -34. Is 17 > x?
False
Let h(j) = 2*j - 34. Let r = 3 - -14. Let z be h(r). Which is bigger: z or -4/41?
z
Let c(j) be the second derivative of 0 - 3/2*j**3 - 1/12*j**4 - 2*j - j**2. Let z be c(-8). Do 7 and z have different values?
True
Let s = 29 + -146. Let b = 111 + s. Do b and -0.09 have different values?
True
Let d = 14 - 14. Suppose d = q + q + 14. Let o be (q/(-1))/((-22)/(-44)). Which is smaller: o or 15?
o
Suppose i + x + 4 = -11, i - x + 5 = 0. Let m be (((-8)/10)/2)/((-1)/i). Is m at most as big as 0?
True
Let j = -1676 + 1687. Which is bigger: -3 or j?
j
Let k = 4 + -4.2. Let c = -116.1 - -121. Let j = c + 0.1. Is j less than or equal to k?
False
Suppose -12*m - 14*m = 11414. Which is smaller: m or -436?
m
Suppose 12*n = 7*n + 225. Which is greater: 47 or n?
47
Let i(k) = -20*k**3 + 1. Let t be i(1). Which is bigger: t or -8?
-8
Suppose 0 = t - x - 6, -x - x - 17 = -3*t. Suppose -3*g + t*o = 1 - 26, 5*g - 21 = -2*o. Suppose 1 = g*d - 4. Is -3 less than d?
True
Let w(v) = 18*v + 9. Let m be w(12). Let u be (-285)/m + 1/(-3). Suppose -5*a - 6 = 2*s, a = 4*s - 0*a + 12. Is u at most s?
False
Let v = 30 + -24. Let z be -1 + (v - 2) + 0. Let k be z/((-21)/2 + 0). Is -6 bigger than k?
False
Let g = -1716 - -1715. Is g at most -34/55?
True
Suppose 5*d = -3*m + 72, 3*d + 3*m = 30 + 18. Suppose -3*u - 23 = 4*i, -4*i = -4*u - d - 0. Let a = -7 + 3. Which is bigger: u or a?
a
Suppose 3*y = -170 + 173. Is y at most as big as -2/1661?
False
Let r be (-1)/(-36) - 3/12. Let o = -3594 + 3551. Is o != r?
True
Let n be (-22)/(-44)*(0 - 3/(-420)). Which is smaller: n or -1?
-1
Let h be 20*3/4*(-22)/(-308). Which is smaller: h or 1?
1
Let g be (10/8 + (-2)/8)*2. Suppose 5*t + x = 132, g*x = -t - t + 56. Which is smaller: 27 or t?
t
Suppose -2*a - 6 = 2*z, 5*a + 25 = 5*z - 0*z. Which is bigger: -4/125 or z?
z
Let l = 263 + -244. Does l = 11?
False
Let w = 24 - 19. Suppose -l - w*g + 1 = 0, 0 = g - 3*g - 8. Is 20 less than or equal to l?
True
Let d = -163 + 160. Is d > -3?
False
Let r = -1.97 + 1.855. Let p = -0.015 - r. Let x = -0.83 - -0.8. Which is smaller: p or x?
x
Let t(q) = 3*q**2 + 4*q. Let a be t(-3). Let z = a - 18. Let j be 2*(-3)/(-6)*z. Is j < -2?
True
Suppose -2*d + 5*m = -17 - 41, -4*m = -4*d + 140. Let j = d + -28. Let s(p) = -10*p**3 - p**2 - 5*p - 3. Let q be s(-1). Is q greater than j?
False
Suppose f - 9 = 4*f. Let r be (-7)/f - 16/(-24). Is r smaller than 3?
False
Let f = 0.01 + 22.99. Let t = -19 + f. Let m(x) = -x**2 + 6*x + 8. Let z be m(7). Which is bigger: t or z?
t
Suppose -5*h - f - 1 = 22, 0 = 4*f + 12. Is 0.1 at least h?
True
Let l be (-2)/(16/(-7)) + -1. Let a(c) = c**3 - 2*c. Let t be a(-2). Let s be (t - 10/(-2))/1. Is s greater than or equal to l?
True
Suppose 0 = 3*i - i + 10. Which is smaller: i or -18?
-18
Suppose 18*u - 14*u + 264 = t, 2*u - 4 = 0. Suppose t*x = 277*x - 20. Is 0.1 at least as big as x?
False
Let h be 147/33 - -3*(-2)/(-6). Is 6 at most h?
False
Let u be -2*698*((-28)/(-16) + -2). Are 349 and u equal?
True
Let l be 20*-6*(-6)/8. Let o be (l/(-4))/((-3)/4). Suppose -3 - o = 3*v. Which is greater: v or -10?
-10
Let q be ((-6)/(-8))/1*-40. Let y be q/9*(-18)/10. Let i be ((-14)/(-609))/(4/y). Is 0 at most i?
True
Let t = 41/2 - 231/10. Let d(x) = -x**3 - 6*x**2 + x + 2. Let l be d(-6). Is t not equal to l?
True
Let l be 1/4 + 51/(-172). Let b be -2 - (-3201)/36 - (-8)/24. Let v = b - 87. Which is smaller: l or v?
l
Let x(h) = -h**2 - 9*h - 1. Let n be x(-9). Let l = -0.6 - 7.4. Let t = l + 11. Is n less than t?
True
Let o = -7 + 3. Let k be (-1 + 2)*o*4. Let s = -37 + 22. Which is greater: s or k?
s
Suppose 2146*v = 2148*v - 2. Which is greater: v or -1/71?
v
Let c = -1.385 + -14.615. Which is smaller: c or -1/3?
c
Suppose 3*m = 2*m + 4*g + 4, -m = 5*g + 5. Let c(d) = -d**3 + 3*d**2 - 6*d + 6. Let b be c(2). Is b greater than m?
False
Let a(m) = m**2 + m + 7. Let k be a(-3). Let d = 19 - k. Is d at least 26/5?
True
Suppose -4 = 5*a + 1. Let w = -1870 + 158948/85. Is w >= a?
True
Let o = 0.4691 - -0.0309. Which is smaller: 0 or o?
0
Suppose -4*u = -m + 8, -2*m - 5*u - 122 + 112 = 0. Which is bigger: m or -2/1163?
m
Let k = -3.39 - 23.81. Let q = k - -29. Let g = -0.9 + -0.1. Is g greater than q?
False
Let h(w) = w - 4. Suppose 6*n - 8*n - 24 = 0. Let m = -8 - n. Let q be h(m). Is q < 1?
True
Let c(g) = -g + 1. Let r be c(1). Let y = 3/125 + 147/125. Does y = r?
False
Suppose -3*o + 65 = -2*y - 155, -360 = -5*o + 5*y. Does 77 = o?
False
Let z = 20.253 + -0.253. Which is smaller: z or 0.4?
0.4
Let p = 1834.75 + -1834. Is p < -2/5?
False
Let x = -26/47 + 151/188. Let j = 3 - 0. Let z = 2 - j. Which is greater: z or x?
x
Let g be 2 - (1680/93 + -2). Let r = -14 - g. Suppose -2*w - 3*i = -7*i, 0 = -w - 3*i. Which is smaller: w or r?
w
Let d be 142/36 - 4 - (-6)/27. Which is greater: -3.7 or d?
d
Let p be ((-30)/9)/((-2)/(-6)). Let m = -13 - -18. Suppose -20 = 5*o, -o + 19 + 22 = -m*i. Is p bigger than i?
False
Let j(z) be the second derivative of 3*z**3/2 - 11*z**2/2 - 23*z. Let s be j(4). Is s less than or equal to 26?
True
Let m be (1 - 5)*78/24. Let b = -13 - m. Suppose -2*s + 12 + 24 = -4*y, 4*s - 8 = b. Is y less than or equal to -2?
True
Let d = -27 - -26.79. Let b = -12.21 - d. Which is greater: 2/7 or b?
2/7
Let f(h) be the third derivative of -1/12*h**5 + 7/6*h**3 + 0 + 1/24*h**4 + 5*h**2 - 1/120*h**6 + 0*h. Let l be f(-5). Is 12/11 >= l?
False
Let h = -5 + 10. Suppose s - h = -3*w + 6, -2*s + 10 = 0. Suppose w - 4 = -2*u. Which is greater: 2 or u?
2
Let s(t) = -t + 20. Let c be s(17). Let q(o) = -o + 4. Let y be q(0). Suppose c = h + y. Is h at most as big as -1?
True
Let b be (-102)/(-15) + 1/5. Let s = 15 - -6. Let c = s + -22. Which is smaller: b or c?
c
Suppose 5*h - 10*j = -6*j + 1167, -2*h + 471 = -3*j. Which is smaller: h or -2?
-2
Let s(o) = 4*o**2 - 170*o + 30. Let z be s(42). Is z < -54?
False
Let o = 9 - 173/19. Does -1 = o?
False
Let y be (-80 + 78)*((-654)/(-4))/(-3). Are y and 108 unequal?
True
Let w be 10/(-408)*(-3 + -1). Which is bigger: 1 or w?
1
Let l = -470 - -3757/8. Is l smaller than 16?
True
Suppose 7*v - 51 + 16 = 0. Suppose 15 = v*o + 10*o. Let u = 1.3 - 0.3. Are o and u non-equal?
False
Suppose b - 30 = -0. Let w = -45 + b. Let s be (-55)/52 - w/20. Are 0 and s non-equal?
True
Suppose -5*w = 4 - 14. Let z be 2 - 2 - (w + -6). Suppose -3 = -c - i, -c - z*i + i = -9. Which is bigger: -1/45 or c?
c
Let u = -1.698 - -2.358. Is u less than or equal to -2?
False
Let f = -50 + 53. Let m(x) = -x**3 + 2*x**2 + 4*x. Let r be m(f). Which is bigger: 1 or r?
r
Let o = 12 + -6. Let l = -9.3 + 9. Let c = -0.2 - l. Is o <= c?
False
Let u = 0.0603 + -36.9603. Let y = 40 + u. Which is bigger: y or 0?
y
Let w = 7 - 7. Suppose 0 = 4*z - w*z - 28. Suppose 4*f - z = 1. Which is smaller: f or 3/2?
3/2
Let b(h) = h + 10. Let i = 24 + -32. Let u be b(i). Let s = 1 - 1. Is s >= u?
False
Let z be (2312/(-10))/(9 - 7). Let j = 116 + z. Which is smaller: 1 or j?
j
Let g be -98 + 98 + (-1)/(-266)*-1. Suppose -9*u = -6*u. Is g equal to u?
False
Let p be 6/(-10) - (18 + -17). Suppose 6*o - 2*o = 0, -3*b - 2*o - 3 = 0. Does b = p?
False
Let n(j) = -j - 7. Let i be (0 - 5/2)*2. Let y be n(i). Let p be (