7 + (-13 - (-6 - 15)). Is x at most -7814/9?
True
Let g = -0.3 - -1.7. Let m = 276 + -764/3. Let p = m - 22. Which is greater: g or p?
g
Let f be (-6156)/(-408)*3*(-4)/6. Are -31 and f non-equal?
True
Let t be (-2)/9 + 152/36. Suppose -j = -2*n + t*j - 32, -4*j + 8 = 0. Let q(i) = 4049*i + 4035. Let s be q(-1). Which is smaller: s or n?
s
Let l = 108614969/372735 - -2/74547. Is l bigger than 291?
True
Suppose 0 = -n + 3*j - 310, -11*n + 12*n = -5*j - 358. Is -337 < n?
True
Let z(s) = -66*s + 2150. Let o be z(51). Is o less than or equal to -7295/6?
True
Let r = 5 + 3. Suppose r*a - a - 154 = 0. Let w = -18 + a. Which is smaller: 2 or w?
2
Let p = 9 + -5. Suppose -3*h + p*m = -26, 0 = -h - 5*m + 4*m - 3. Suppose -h*z + 5*z = -3. Is z at least as big as 1/4?
False
Let w be 32/(-18) - ((-770)/99 + 8). Which is greater: 842 or w?
842
Let b be ((-15)/6)/((-15)/6)*-89. Suppose -2 = -a, -2*x - 102 - 70 = 2*a. Let d = x - b. Which is greater: d or -1/73?
d
Let s = 31 + -10. Let d be -1 - -4 - s/9*3. Let o(h) = -h**2 + h - 5. Let t be o(d). Which is greater: t or -27?
t
Let a be (-2)/(-8) - (-12)/80. Let x = -25301 + 25139. Which is smaller: a or x?
x
Let p = 8867/2 - 4434. Suppose 4*n - 124 = 4*k, k = 5*n + 5*k - 164. Is p less than or equal to n?
True
Suppose -4*n + 18*t - 17*t - 4 = 0, -4 = 2*n - t. Is -15/524 not equal to n?
True
Let l(w) = -18*w - 38. Let h be l(12). Let a = h + 254. Is -3/17 greater than or equal to a?
False
Let p be (-3 - 99/(-27))*(-822)/4. Is -135 at most as big as p?
False
Let s = -56 + 92. Let v be 1/(1 + (-32)/s). Suppose 6*w - v*w = -87. Is w at most as big as 30?
True
Suppose 5*i - 4*r - 6013 = -0*r, -5*r = i - 1220. Suppose -100*u + i = -105*u. Which is bigger: -242 or u?
u
Let j(u) be the third derivative of -u**5/60 - 13*u**4/12 + 89*u**3/6 - u**2 - 65. Let k be j(-29). Do 23/12 and k have different values?
True
Let d = 744/73 - 1812398/177901. Are 1 and d unequal?
True
Let l = 49.5 + 0.5. Let n = 52.1 - 3.1. Let c = n - l. Does -8 = c?
False
Let m(b) = b**3 + 2*b**2 + b + 2. Let d be m(-2). Let r = 11022005/1679 + -118741/23. Let l = 1402 - r. Is d bigger than l?
False
Let j(c) = -2*c**2 - 55*c + 36. Let d be j(-28). Suppose -3*k = -2 - 13. Suppose 4*o + w = 3*w + 30, k*w = 5*o - 30. Which is smaller: o or d?
d
Let i = 176779/409280 - 30604263889/22919680. Let y = i - -9344/7. Which is bigger: y or -1?
y
Suppose -11 = -3*g - 4*v, v - 7 = -3*g + 7. Suppose 220 = 5*z - g*q, -3*z - 5*q = -102 - 54. Let m be -2*z/(-23) - (-3 + 7). Which is smaller: 0 or m?
0
Let g be 24/(-4)*(2 - 39/(-2)). Let j = -64 - g. Suppose 0 = -h - 4*h + j. Is h at least 6?
True
Suppose -3*l = a + 128, 224*l - 223*l - 2*a = -52. Is -357/8 > l?
False
Let a = -44 - -43. Let j(s) = -6*s - 2. Let f be j(a). Which is smaller: f or 18?
f
Let b = -4125 + 4901. Which is smaller: -2/9 or b?
-2/9
Suppose -10*n - 89 = -109. Let x be (-3)/3 - (-60)/38. Which is smaller: n or x?
x
Let y = -0.8946 + 0.565. Let n = 0.0704 - y. Which is smaller: n or 8.1?
n
Suppose -y = 5*n - 3, 4*n - 75 = 5*y - n. Let d(q) = 16*q + 193. Let c be d(y). Are c and 17/26 equal?
False
Let g = -0.41 - 59.09. Which is bigger: 0.2 or g?
0.2
Suppose -2*h - 1765 = -7*h. Let b = 1022847 + -1022495. Which is smaller: h or b?
b
Let i be 1*4 + (321 - 39). Let v = -320 + i. Are v and -31 unequal?
True
Let t = -40 + 31. Suppose -2*k - 81 = -11*k. Suppose -6*c + k*c + 30 = 0. Is t <= c?
False
Let w = 12437 + -12593. Which is smaller: 33 or w?
w
Let l be ((-198)/1045)/((-4)/160*-123 - 3). Which is greater: -2 or l?
-2
Let i = -97 + 871/9. Suppose 0 = 2*b + 3*b + 115. Let k = 22 + b. Is i > k?
True
Let q be (3*(-2710)/15)/1. Let l = -542 - q. Which is bigger: l or 2/729?
2/729
Suppose -5*f - 69 = k, 3*f = f - 5*k - 46. Suppose 4*d - 1 = -n, -3*d - 2*n - 11 = -18. Is f != d?
True
Let f be 10200/(-3072) + 10/4. Is -2 at least f?
False
Let a = -6 - 1. Let p = 0.8825 + -0.3625. Is a less than or equal to p?
True
Suppose -4*b = h + 12, 0 = 2*b - 0*b + 3*h - 4. Let w = b + 7. Let u be (w - 284/70) + 1. Which is smaller: 1 or u?
u
Let f = -5970.3 - -5971. Which is smaller: f or 0.05?
0.05
Let m(y) be the third derivative of -y**6/120 + y**5/15 - y**4/8 + y**3/6 + y**2. Let l be m(3). Let x = 65947/25938 + 7/2358. Is x not equal to l?
True
Suppose 29*o = 17*o - 16*o. Let c(p) = -p**2 + 3*p + 70. Let b be c(o). Is 73 greater than or equal to b?
True
Let s(c) be the first derivative of 4*c**3/3 - 37*c**2 - 28*c + 152. Let r be s(19). Let p = 7545/718 + -3/359. Which is smaller: r or p?
r
Suppose 5*n + 2*c = -0*c + 272, c - 1 = 0. Let g(o) = -2*o**3 + o**2 + 4*o + 4. Let t(b) = -b**3 + 15*b**2 - 6*b + 87. Let h be t(15). Let p be g(h). Is p >= n?
True
Let q be 1 - 19478/2166 - (-17 - -9). Which is smaller: 0 or q?
0
Let a(p) = -270*p + 2138. Let i be a(16). Is i greater than or equal to -2181?
False
Let g be (-196902)/246240 + (144/30)/6. Which is greater: g or 1?
1
Let a = 0 + 1. Let i(g) be the first derivative of 11*g**2 + 6*g + 1578. Let w be i(a). Which is smaller: w or -2/7?
-2/7
Suppose -4*b + 3 = r - 2*r, 4*r = 4*b - 36. Are -79 and r non-equal?
True
Suppose -3*o = -c - 10, 3*c + 3*o = c + 16. Suppose -40 = x - c. Let s = -2122 + 2122.1. Do x and s have different values?
True
Let d(l) = -2*l. Let s(i) = -2*i - 7. Let c(m) = -3*d(m) - 3*s(m). Let y be c(-3). Let r be (-44)/6 + (70/y)/7. Which is smaller: r or -17/2?
-17/2
Let i = 48445/66 - 734. Let l(q) = -q**2 - 4*q + 139. Let h be l(-14). Are i and h non-equal?
True
Let u(i) = 455*i - 5470. Let a be u(19). Which is greater: a or 9521/3?
a
Let o be (2 + -1)/(10 - (-693)/(-33)). Which is smaller: o or -416?
-416
Let n = 7 + 9. Suppose -7*m + n*m + 9 = 0. Is m != 2/83?
True
Suppose -12*d + 17*d + 5 = 0. Which is smaller: 3/1270 or d?
d
Let i be (-1982523)/531 + 1 - 7/21. Let v = -3733 - i. Which is bigger: 0 or v?
0
Suppose -18*r - 13*r + 12*r = -46227. Which is smaller: r or 0?
0
Let k = -239458 - -239330. Let q(g) = -133*g**2 - 2*g - 1. Let a be q(-1). Is k != a?
True
Let b(m) = -m - 3. Let u be b(5). Let x = -149526 + 149516. Which is greater: x or u?
u
Let y = -334059/124 + 2694. Let u = y - -387/620. Let h be (12/(-7))/(174/42 - 4). Do u and h have the same value?
False
Let c = 6 - 4. Let h = 1 - c. Suppose -245*o + 201*o = 0. Does o = h?
False
Let p(v) = -v**3 - 7*v**2 + 5*v + 23. Let a be p(-7). Let d be 158/(-5) + a/30. Do d and -32 have the same value?
True
Let w = 9829.8 - 9830. Is 120 equal to w?
False
Let o(k) = 5*k + 2. Let x be o(2). Let w be 9/3 - x*81/264. Is 0 greater than or equal to w?
True
Let g(f) = -5*f**3 + 55*f**2 - 5*f + 79. Let z be g(12). Is -701 greater than z?
False
Let v be (30/(-35))/(2/(-14)). Let y be 430/3*v/5. Let i be (-3)/(2 - y/(-16)). Which is bigger: i or 0?
0
Suppose -4 = 2*b - 5*p - 8, 0 = 3*p. Suppose -3*k + 4 = -b*x + 1, 4*x - 5 = -5*k. Suppose 3*q = -x*q - 9, q = 2*s - 51. Which is greater: -1 or s?
s
Suppose 0 = -47*x + 108*x + 61. Which is bigger: x or 2/5497?
2/5497
Let c = -1559 - -484848/311. Is 2/19 bigger than c?
True
Suppose 0 = -3*i + 4 - 145. Let r = 47 + i. Suppose -13*k + r*k = -182. Which is smaller: k or 9?
9
Suppose -3*d = 5*c + 4, 0*d - 12 = -d + 5*c. Suppose 0 = 3*y + 6, -13*y = d*k - 12*y + 50. Let o be -2 + -20 - (-6)/(-2). Is k equal to o?
False
Let h(r) = r**3 + 4*r**2 - 19*r - 17. Let x(q) = q**2 + 9*q + 11. Let a be x(-6). Let o be h(a). Let d = o - -9. Are d and -24 equal?
False
Let b = -78 + 80. Let k be 28*9/72 + (-1)/b. Which is greater: k or 14?
14
Suppose 0 = 2*a + 3*b - 106, -3*a + 15 = -5*b - 144. Let l = 2222 - 2175. Is a not equal to l?
True
Let a = 146/1751 + -577715/6781623. Which is greater: -1 or a?
a
Suppose 9*v + 144 + 117 = 0. Let f be (-59501)/2001 - (-2)/29. Is f smaller than v?
True
Let x be ((-35)/8)/(-7)*3/15. Suppose 4*p = -4*j - 8, 3*j - 16 = 8*j - p. Let i be (2 - (-8)/j)/((-4)/(-6)). Do x and i have the same value?
False
Let m be ((-30)/6270)/(3/(-18)*3). Are m and -1 unequal?
True
Let u = 59 + -60. Let i be 3 + u + (-1)/(126/254). Which is smaller: 0 or i?
i
Let i = 13 + -46. Let b be (-3)/(1 - (-36)/i). Let l = 1244 + -1211. Is b not equal to l?
False
Suppose r = 2*x - 2*r + 92, -x - 39 = -5*r. Let u be 298/x - (12 - 18). Is u < 1?
True
Let t = 7027/26