d be (-12 + 3880/330)*423/6. Which is smaller: -17 or d?
d
Let f = 532 - 732. Is -201 at least as big as f?
False
Let d = 56.5 + -52.6. Which is greater: d or -5?
d
Let u be 300/8*4/20*-12. Is -92 smaller than u?
True
Let r be ((-21)/(-10))/(474/(-395)). Is -0.2 smaller than r?
False
Let u(c) = 4*c - 15. Let r be u(9). Let q be ((-13)/(-3) - (-1 - -4)) + -1. Is r less than or equal to q?
False
Let j(p) be the second derivative of p**5/20 - p**4 - 5*p**3/3 - 11*p**2/2 - 23*p. Let t be j(13). Is 29 > t?
True
Let i be 20/(-15)*(-6 - 198). Which is bigger: 273 or i?
273
Let q = -447 + 447.007. Is q equal to -1?
False
Suppose -12394824 = 5*j - 2134954. Let z = j - -3260587154/1589. Let l = z + -2/227. Is l at most as big as -1?
False
Let q(h) = 2*h - 5. Let f be q(5). Suppose 0 = -m - 0*m + f. Suppose -t = -m*x, 0 = 4*t - t - x. Are -2/11 and t equal?
False
Suppose -2*q + 13 = n, 2*q + 17 = 3*n + 2*n. Suppose -23*s + 18 = -17*s. Suppose 0 = h - f - s*f - 11, -4*h + q*f + 8 = 0. Which is bigger: 2/3 or h?
2/3
Let w = -280.78 - -291. Let f = w - 10.1. Is f < -0.2?
False
Let c be (-2)/(-6) - (-9)/(-27). Suppose 2*u + 16 = -c*u + 4*y, -3*y = -12. Let n be 6/27 - 2/(-18). Is u bigger than n?
False
Let x = 18 + -16. Suppose o - 2 = -f, x*o = o + 5. Which is bigger: 2 or f?
2
Let g = 331 + -327. Which is smaller: -64 or g?
-64
Let t be 39 + (1/(-3) - 6/9). Suppose -3 = 5*b - t. Is 3 at least b?
False
Let d be -3 + (-174)/96 + 5. Let z be (1 + -1)/(16/8). Which is greater: z or d?
d
Suppose -8*a + 440 = -0*a. Let q = a - 1046/19. Suppose -2*k = -k. Is q equal to k?
False
Let i = -39 - -71. Let w = 32 - i. Is w >= 0?
True
Suppose 13 = 3*b + 1. Suppose -1 - 17 = -f - 5*l, 5*l = 20. Let y be b/(-68)*(f - -6). Is y bigger than -1?
True
Let p = 880 - 1771/2. Which is smaller: p or -4?
p
Suppose u - 3*g - 20 = -0*u, 0 = 3*u - g - 44. Let a be 38/28 + (-21)/u. Let f = -52 - -53. Is a >= f?
False
Let g = 92 - 100. Let x be 30/5 - (g + 1 - -3). Which is smaller: 26/3 or x?
26/3
Suppose -4*k = 10 - 14. Suppose 1 + k = -j. Which is greater: -4/7 or j?
-4/7
Let b = 267/29 + -110863/12035. Is 0 != b?
True
Let f(g) = -g**3 - g**2 + g - 2. Suppose -30 = 4*p - 6. Let t be 13/p + (-3)/(-18). Let m be f(t). Which is smaller: -11 or m?
-11
Let r = 270962/11 + -24592. Is r greater than 42?
False
Let g = -2545 - -1073. Is -1471 less than or equal to g?
False
Suppose -7 + 28 = -3*i. Let r be (-3 + -2)/(3/6). Let y = r - i. Does y = -4?
False
Let r(t) = 3*t**2 - 6*t. Let v be r(4). Let q be (9/(-84))/(1/v). Let m = -40/21 - q. Which is smaller: -2/3 or m?
-2/3
Suppose 4*r = 3*r - 55. Does -54 = r?
False
Let r = -47.96 + 41.1. Let h = 7 + r. Let l = -0.04 + h. Is l at least -6/13?
True
Let w be (1287*-1)/(2/(-2)). Let y be 2/3 + (-988)/w. Let p = 100/99 - y. Which is smaller: p or 2?
p
Let u = -183 - -184. Do -2/4065 and u have different values?
True
Let x = 0.79 - 0.62. Let s = 0.4 + -0.4. Which is smaller: x or s?
s
Let o = 3845357/568 - 6770. Is o at most as big as -1?
False
Suppose 5*y = 52 - 252. Which is smaller: y or -37?
y
Let v be 2 - (-3 - (3 + -2)*-6). Do v and 0.75 have different values?
True
Let f = 8 - 7. Let p(t) = -t**2 + 3*t - 1. Let g be p(f). Let n = -1.45 - -1.05. Which is greater: n or g?
g
Suppose 3*j + 14 = -i, 0*j + 22 = -4*j + 2*i. Let o be j + 50 - 0/3. Is o greater than 45?
False
Let p = -6 - -4. Suppose 0 = 217*m - 468 + 14 - 414. Which is greater: m or p?
m
Suppose -8*n = 5*m - 4*n + 27, -n - 12 = 2*m. Let v be 1*(-5 - -3)*-4. Suppose -4*t = -5*t - v. Is m greater than or equal to t?
True
Let w be (24/120)/(1/(-215)). Is w greater than -46?
True
Suppose -2*v + 2*z + 24 = 0, 4*v + 0*z = -3*z + 76. Let u be (3028/v)/((-7)/4). Let k = 108 + u. Is k > -1?
True
Let n = 2/109 + -343/872. Suppose s = 2*a - 3*a - 3, 2*a + 4 = 0. Is n >= s?
True
Let t = -0.383 - -0.073. Let o = t - -0.14. Does -1 = o?
False
Let t(a) = a**2 - 20*a + 75. Let s be t(15). Is s less than or equal to -6?
False
Let m = -114 + 113. Is m less than or equal to -1/988?
True
Let b be 20/8*1*2. Let y = -179 + 179. Which is greater: b or y?
b
Let t(p) = p**3 + 6*p**2 + p + 7. Let z be 0 + (1 - -1) + -7. Let d(j) = -j - 11. Let g be d(z). Let w be t(g). Is 1/5 != w?
True
Let l = -37/5 + 293/45. Which is bigger: 2/5 or l?
2/5
Let q = -14 + 14.3. Let b = 0.4 - 0.7. Let r = q + b. Which is smaller: -3/2 or r?
-3/2
Let n = 119 + -117. Let r be (-4)/14 - 23/(-7). Is n less than r?
True
Let c = 82 + -145. Let l = 64 + c. Which is greater: l or 0.099?
l
Let i = -89 + 149. Suppose -4*b - i = -20. Let t be ((-9)/15)/((-2)/b). Which is smaller: -2 or t?
t
Let v = -0.13 - 0.77. Let n = 251 - 249. Which is bigger: n or v?
n
Let a = 9.54 - 3.74. Is 0 >= a?
False
Suppose 3 = -2*q + 5*f + 12, 0 = f + 1. Suppose -5*b + 0*b + 28 = -q*u, -u = 2*b - 13. Let o = -8 + b. Does o = -5/2?
False
Let m = -7.017 + 1.017. Let p = 4 + -7. Let j be p/(18/(-4)) + -1. Is j < m?
False
Let s = 301 + -124. Which is smaller: 711/4 or s?
s
Suppose -72*d + 79*d + 518 = 0. Is d greater than -76?
True
Suppose -3*j + 11 = 2. Let f be 6*((-30)/(-9) - j). Let a = -4 + f. Which is greater: a or -3/4?
-3/4
Suppose -7*a + 22*a = -2265. Which is bigger: a or -149?
-149
Let b be (-1 + 15/(-2))*28/(-10). Which is bigger: 23 or b?
b
Suppose -2*d - 10 = -4*r, -5*d - 3 = -4*r - 8. Let x be (-22)/10 + 1/d. Let k = 1921/8 - 241. Is x bigger than k?
False
Let w be 0/((-66)/6 + 9). Is 277 at most w?
False
Let m = -218 + 217.375. Is 1/4 greater than m?
True
Let x = 24 + -33. Let d be 1 + (-3)/(-2 + -1). Let h be (d - 1)/((-2)/14). Is x bigger than h?
False
Let p = -49.7 - -48. Let c = p + 3.7. Which is smaller: c or 2/17?
2/17
Suppose 0 = -17*n + 15 - 32. Which is smaller: n or 14?
n
Let k be 20/(-15)*-1*77/(-2). Let p = k + 52. Do -2/31 and p have the same value?
False
Let p = -15/22 - -497/858. Let x = 86 + -85. Which is bigger: p or x?
x
Let y be (15/(-12) + 4)*16/(-14). Is y != -3?
True
Let o = 0.7 - 8.7. Let a = o - -8.06. Let p = a - 0.86. Is p greater than -1?
True
Suppose -3*i - 6 = -0. Let m = 5 + -4. Let u be 0 - m*1/2. Is u greater than or equal to i?
True
Suppose c + 16 = 3*l - c, -4 = -2*l + 3*c. Suppose -l*h = 2*h - 100. Which is smaller: 9 or h?
9
Let c = 1708 - 15242/9. Is 14 at least as big as c?
False
Suppose -14*q = -4*q - 2680. Does q = -1?
False
Suppose -5*j + 533 = -142. Suppose -6*r + j = -15*r. Let x = -46 - -30. Are r and x equal?
False
Suppose -u = -26*u + 525. Which is smaller: u or 9?
9
Let p = 1005 - 1004. Which is smaller: 15/7 or p?
p
Let c = -41 + 39.9. Let a = -0.4 + 1.3. Let k = a - c. Is 0.3 bigger than k?
False
Let s be 6*6/(-45)*170/(-4). Let t = s + -60. Which is greater: t or -27?
t
Let o = -78 - -79.5. Let k = o + -1.53. Are -0.3 and k unequal?
True
Suppose 5*l + 2 = 27. Let d = 10 - l. Is d bigger than -1?
True
Let d be (18/(-405))/(2/(-10)). Is d equal to -0.4?
False
Let z be (-2)/(-28) + (-1)/(-2). Let u be (-17)/(-8) + (-2)/16. Suppose v = 3*y + 1, -u*v - v = -y - 3. Is z bigger than y?
True
Let i = -4 - -7. Let b(m) be the first derivative of m**3/3 - m**2/2 + 2*m - 13. Let f be b(i). Is f at least as big as 7?
True
Let u = 8 + -8. Let q = -5 - -4.98. Let c = -0.18 + q. Which is smaller: c or u?
c
Let o(q) = -q**3 - 10*q**2 - 10*q - 8. Suppose -10*k - 63 = -3*k. Let g be o(k). Which is smaller: g or 1/35?
1/35
Let u = 543 + -1652/3. Let c = 7 + u. Let h = -3 - -4. Which is smaller: c or h?
c
Let g(r) = -r**2 + 55. Let p be g(-7). Suppose 3*z = 3*x + p, 5*z - 4 = z + 2*x. Which is greater: 3 or z?
3
Let y be (45/20 - 2)/1. Are y and 21 non-equal?
True
Suppose -4*x + 127 = -49. Let l be 15/(-3)*(x/24 - 0). Is -9 <= l?
False
Let i = 193 + -1349/7. Suppose 4*b - 4 = -20. Let a be 5 - 7/((-7)/b). Is a at least i?
True
Let t = -0.5 - 46.5. Let x = 57.8 + t. Let n = x + -11. Is n >= 0.2?
False
Suppose -4*n - 22 = -m, -5*m - 2*n + 20 = -4*n. Let r be m/(-7)*(177/(-99) - -2). Which is greater: -1 or r?
r
Suppose 29*y - 109 = 1225. Is y bigger than 37?
True
Let u = 9.9 - 12. Let c = 0.8 - u. Let q = 2.8 - c. Are -2 and q unequal?
True
Let d = 1/2 + -1. Suppose 170*q + 115 = -5 - 50. Which is smaller: d or q?
q
Let i = -878/3 + 296. Let m be (92/(-28) + 3)*(-3)/3. Which is smaller: i or m?
m
Suppose 2*p + 173