 -t - 29 - 7 + 5*t + 0*t. Let i be r(13). Is 15 at most as big as i?
True
Let f be 2*(-5)/(15/9). Let d = 22 + -18. Suppose 3 = d*c + 31. Which is smaller: c or f?
c
Let z be (24/36)/(5/(15/(-2))). Are z and -0.043 equal?
False
Let k(v) = -3*v**3 - 2*v - 2. Let y be k(-1). Are 40/17 and y unequal?
True
Suppose -2*a + 4*x - 20 = 0, a - x + 9 - 2 = 0. Let g = -24 - a. Do g and -19 have different values?
True
Suppose 15136 = -9*c - 34*c. Is c bigger than -0.1?
False
Let s(r) be the third derivative of -r**5/15 + r**4/24 + r**3/6 - r**2 - 14*r. Let n be s(0). Is 2/497 < n?
True
Let o be 180/93 - (-4)/(-2). Let t = o + -40/341. Are t and 1 non-equal?
True
Let z be 3/(-12) - (-29)/(-12). Suppose x = 18*x - 82 + 116. Are z and x unequal?
True
Let b = -22245 + 289025/13. Is b not equal to -12?
True
Suppose -8*x + 35 = -5*w - 11*x, -26 = 4*w + 2*x. Is w at most as big as -56/11?
False
Let p = -14.3 - -26.7. Let v = p + -13.74. Let q = v - -0.14. Is -1 equal to q?
False
Suppose 0 = 7*m - 1 - 160. Let i = 317/14 - m. Which is smaller: 1 or i?
i
Let q = 8.1 + -16.2. Which is greater: 1 or q?
1
Suppose -2*j - 2*j = f + 1, 2*j + 3*f = -3. Suppose m + 2*m + 0*m = j. Which is bigger: m or -0.1?
m
Let q(d) = -d**3 - 28*d**2 - 28*d - 46. Let l be q(-27). Is -15 greater than or equal to l?
True
Let m be 0 + 2/(-16) + 5134/816. Is 7 at least m?
True
Let o(z) = -z**2 - 6*z - 6. Let d be o(-5). Suppose 19*b - 252 = -2*b. Let f be d/2*2*b. Is f smaller than -12?
False
Let u(g) = 2*g**2 - 16*g + 30. Let o be u(6). Is 0.06 greater than o?
False
Suppose 0 = -3*g - 5*o - 1579, 4 = -2*o - 0. Are g and -521 unequal?
True
Suppose -2*v + 140 = 3*v. Suppose 10 = -5*u - 5*z, -3 = 3*u - 2*z + v. Is u greater than -7?
False
Let w = -21349/25 + 4279/5. Which is bigger: 3 or w?
3
Let t(p) = p + 12. Let u be t(-12). Let a be 4/(-10) - (-2 - 39/(-15)). Is u greater than a?
True
Let j = 2.56 - -0.44. Which is smaller: j or -29/2?
-29/2
Let m = 9.75 - -0.25. Let r = 9 - m. Let x = -0.9 - r. Is x >= -0.4?
True
Let i = 342 - 261. Which is smaller: i or 82?
i
Let q(z) = -3*z - 11. Let a be q(-5). Suppose -16 = -a*k + 6*k. Which is smaller: k or -29/4?
k
Suppose -x + 11 + 2 = 2*b, -3*b + 4*x - 8 = 0. Let w be b/(-14) - (-163)/7. Suppose -3*v + 47 = -t, 4*v = 5*v - 4*t - w. Is v at least 15?
True
Let g = 310311/182 - 1705. Is 0 greater than g?
False
Let b = -2797 - -181811/65. Which is smaller: -1 or b?
-1
Let r be ((-2)/3)/((-48)/9 - -6). Which is greater: -5/44 or r?
-5/44
Let c = 1101 - 1115. Let m(y) = -y**2 + 2*y - 5. Let u be m(4). Is c at least as big as u?
False
Let z(a) = -a**2 - 4*a + 3. Let r be z(2). Let c be ((-6)/(-1 + -5))/(4/(-16)). Do c and r have different values?
True
Let z(c) = c**2 - 10*c + 11. Let i be z(9). Suppose 4*l = i*l. Suppose l = 3*g - 6*g - 9. Is -5 <= g?
True
Let h be 2/(-9) - (-2698)/(-171). Let x(l) = l + 21. Let a be x(h). Is -0.02 != a?
True
Let r = 1 + 1. Let q = 26.75 + 0.25. Let t = -18 + q. Does t = r?
False
Suppose 3*h - 15 = 18. Suppose -r + a = 4*a + h, -7 = -4*r + 5*a. Let m be -1*1/(-3)*150/(-25). Are r and m non-equal?
False
Let r = 1222 - 1600. Which is smaller: r or -379?
-379
Suppose 5*v - 34 - 46 = -5*d, -d = -4*v + 44. Is v less than 17?
True
Suppose -7*n = -24*n - 6885. Is -407 bigger than n?
False
Let l = -250 + 250. Which is greater: l or -0.25?
l
Suppose 11 = -h + s, -19 = h - s + 4*s. Let o(v) = v**2 + 15*v + 14. Let a be o(h). Is -11 at least a?
True
Let p(t) = -t**2 + 7*t - 3. Let q(s) = s**2 - 8*s + 2. Let a(k) = 2*p(k) + 3*q(k). Let x be a(8). Let h be 4/x + 5/4. Do h and -2/13 have the same value?
False
Let a = -0.1424 + -7.9366. Let c = a - -0.079. Let g = 0.2 + -0.3. Which is bigger: g or c?
g
Suppose 0 = -4*b - b - 3*w - 5, 0 = -2*w. Let h(n) = 6*n**2 + 3*n + 2. Let y be h(b). Suppose -m = 4*m - 30. Is m greater than y?
True
Suppose 16*r + 4*v + 19 = 15*r, 2*v = r - 5. Is 7 at least as big as r?
True
Let t be ((-21)/9 + 3)*-6. Suppose 0 = 10*n + 32 - 2. Is t greater than or equal to n?
False
Let i = 25 - 25. Let z be (i + 1)/(3/(-39)). Let x be (-3)/(3/(-1)) - z. Is 14 <= x?
True
Let m = -18.78 + -0.41. Let b = m + 0.19. Let p = b + 18. Is p at most -1/10?
True
Let p = -17 + 18. Let g = -79 + 79. Do g and p have different values?
True
Let y(p) = p - 2. Let l be y(2). Suppose l*z - 3*z + 13 = t, 0 = t + 2*z - 9. Let c = -11/12 + 3/4. Which is greater: c or t?
t
Let c(x) = 4*x**2. Let m be c(-1). Suppose -m*w = -w. Let g be (2 + 1 - w) + 3. Is 5 smaller than g?
True
Let g = -56523/5 - -11177. Which is bigger: -127 or g?
-127
Let y = 2731/4 + -683. Is y bigger than 668?
False
Let r = -50 + 48. Which is greater: r or -18/7?
r
Let q = 1.1 - 0.85. Let w = q - 3.05. Let k = w - -1.8. Is k at most -1?
True
Let u be 0/(1 + 1 + 0). Suppose 0 = 3*f + i + 1421, 5*f + u*i + 2340 = 4*i. Let g = 10854/23 + f. Is g > 0?
False
Suppose 273*f - 140 = 277*f. Let z be (-13 + -55)/(4/2). Which is bigger: f or z?
z
Let u(x) = x - 16. Let a be u(5). Let h(k) = -8*k - 27. Let i be h(a). Which is smaller: 60 or i?
60
Let l = 3/254 - -499/762. Let c = 3/10 + -2/15. Let j = c - l. Which is greater: j or -3?
j
Let q = 222636005/531 + -419277. Let l = q + -4/59. Which is smaller: l or 2?
l
Let n be (-360)/(-840) + ((-8)/7)/(-2). Do 5/82 and n have different values?
True
Suppose -3*a = 4*g - 606, -403 = -2*a + 9*g - 12*g. Is 206 greater than or equal to a?
True
Suppose -12 = 4*c - 0*c. Let j be 3 + (-5 + 2)/c. Suppose h + 2*z + 0 = -3, 3 = h - j*z. Which is bigger: -4 or h?
h
Let b be (-9)/(-3) - (-23 - -26). Is 2 > b?
True
Let f be (-11 + 8)/(-3)*-191. Which is smaller: -190 or f?
f
Let c be 2/(-3) - 29/87. Let z be 0 + (-4 + 43)/c. Which is greater: z or -38?
-38
Suppose 0 = 4*t - 3*a, 0*t + 5*a = 3*t. Suppose 0 = 4*j - 12, -1 = -5*i - j + 7. Let m be 2 + (i - (-183)/(-63)). Which is smaller: t or m?
t
Let k be (-6)/(-33) + 9 + (-10506)/66. Is -149 less than or equal to k?
False
Let a = -696 + 708. Let m = 0.9 + 0.1. Which is smaller: m or a?
m
Let r = 1.94 - 0.04. Let n = 6 - 4. Let i = r - n. Which is smaller: i or 7?
i
Let i = -916 - -915. Which is bigger: 0.327 or i?
0.327
Let b = 144965/111 - 1306. Which is smaller: b or 1?
b
Let t be -2 - ((0 - -1) + 0). Let i be (3 - 1) + (-3 - t). Let b = i - 2. Is 2/7 greater than or equal to b?
True
Suppose v - 7 = -5. Let o be v - (6/(-2871) + 2). Let i = o - -1169/319. Which is smaller: i or 3?
3
Let r be 16/7 - (-4)/(-14). Suppose 3*p - 7 - 2 = 0, r*p = -2*i - 10. Let t = -443 - -437. Which is bigger: i or t?
t
Let x = 6 + -3. Let z(i) = -7*i - x*i + 4*i - i - 1. Let k be z(-1). Which is smaller: 5 or k?
5
Let p be -6 + 2 + 100*1. Which is smaller: 97 or p?
p
Let d(g) = -g**3 - g**2 + 2*g. Let j be d(2). Let r be 5/(-10)*(-4)/j. Is 0.02 < r?
False
Let w(i) = -i**3 + 3*i + 2. Let k be w(-2). Suppose -5*o - 2*g + 20 = 0, k*o = 4*g + 6 + 10. Let v be (-1)/o - 10/(-8). Which is greater: -2/9 or v?
v
Let k(v) = -2*v**3 + 2*v**2 - 2*v + 13. Let h be k(2). Which is smaller: h or 38/25?
h
Suppose -20*w + 21*w = -4. Let i be (-2)/(-3)*6/w. Which is smaller: 1 or i?
i
Let v be (300/(-9975))/((-36)/(-14)). Is v less than or equal to -1?
False
Let w be (1 - (-67)/4)*4. Let v = -99 + w. Which is greater: -0.1 or v?
-0.1
Let m be 4/(-10)*-5*1. Let w be -2 + -3 + (3 - m). Are w and -2 non-equal?
True
Let z = 312 + -311. Let v = -0.04 - 2.16. Which is greater: z or v?
z
Suppose -n - 4 = -0. Let l(a) = 5*a + 8. Let s(b) = 11*b + 17. Let j(o) = -9*l(o) + 4*s(o). Let y be j(n). Are y and 2/11 equal?
False
Let s = -0.737 + 0.671. Which is smaller: -4/7 or s?
-4/7
Let a = -1177 + 1175. Are -482 and a equal?
False
Let j be (-2)/8 + (-177)/(-612). Let y be (-2)/(-4*51/(-30)). Let r = y - j. Which is smaller: 0.03 or r?
r
Suppose -3*h = t + 1612, -h + 8*t - 564 = 3*t. Let k be (-2)/11 - (-1057)/h. Are k and -2 nonequal?
True
Let u be (1 - 2) + 14/16. Let c = -862 - -854. Which is bigger: u or c?
u
Let i = -922 - -925. Let v(t) = -t**2 - 3*t + 1. Let o be v(-3). Is o bigger than i?
False
Let p = -3 - -10. Let o = p - 5. Let z = 1.22 + -2.92. Which is bigger: z or o?
o
Let l be (6867/(-357) - -19)*-35*1. Which is smaller: l or 7?
7
Let p(c) = -c**2 + 9*c - 4. Let s be p(8). Suppose -s*o - 4 = -0*o. Is 2/65 <= o?
False
Let q = 3