e
Let h be (-10)/5195*11/110*-3. Is -1 < h?
True
Let k be (4 - (7 - -1)) + 91. Suppose -278*n + 277*n = k. Which is bigger: n or -88?
n
Suppose 31*t - 35*t = 1155 + 2525. Is -922 bigger than t?
False
Suppose -2 = -8*t + 7*t. Suppose -146*l - t = -148*l. Are l and -1/201 non-equal?
True
Let l be ((-260)/78)/(2/(-3)). Suppose 0 = -2*s - l*x + 10 + 8, -2*s = -5*x + 22. Is -7/13 not equal to s?
True
Let j be ((-9)/741)/(1461/(-6) - (-3 - -4)). Is j equal to -1?
False
Let o be (22/77)/(12/(-12242)). Let x = -1457/5 - o. Which is smaller: x or 1?
x
Suppose -4*t + 3*t = v - 1702, -v - 8504 = -5*t. Let u be (((-5)/6)/(-5))/(54/t). Suppose 3*s = 25 - 7. Which is smaller: u or s?
u
Suppose -177*z + 180*z = -2*u + 12, 0 = -2*z - 4*u. Which is bigger: z or 107/23?
z
Let x be (-3 - (-6 - 8/(-1))) + 30. Suppose -43 = 2*u + 45. Let s = -21 - u. Are s and x equal?
False
Suppose -r + 85 = 4*k + 97, -r + 2*k = 6. Let h = -5.03 - -5. Is h at most as big as r?
False
Suppose -3*h = 2*l - 7, 4*l + 8 = -4*h + 24. Suppose -300 = -3*y + u, 146 - 647 = -l*y + 2*u. Is y at most 100?
True
Let h be 2/(-1) + -93*(-357)/16380. Is 0 != h?
True
Suppose -42628 = 6*j + 33*j - 530986. Which is smaller: j or 12521?
12521
Suppose -5*o - 9820 = -10*o + 2*n, -3*o = 5*n - 5861. Are o and 1964 nonequal?
True
Let l = 69 + -37. Let x be (37/(-2))/(8/l). Let t = x - -74. Which is smaller: -1/18 or t?
-1/18
Let y(h) be the second derivative of -5*h**3/3 - 11*h**2 - 2*h. Let w be y(-13). Let v = -107 + w. Which is greater: -1/27 or v?
v
Let v(c) = -22*c**2 - 21*c - 268. Let j be v(-11). Which is bigger: -2 or j?
-2
Suppose -193 = -7*d + 24. Suppose -2*p + d = -3*g, -5*g + g = 4*p - 72. Is 16 at most as big as p?
True
Let s = 1997934/43 - 46468. Are -4 and s nonequal?
True
Let h = -24.907 + 24.5. Let q = h - -0.396. Which is bigger: q or -2/7?
q
Let i = -111.2 - -127. Let m = 16 - i. Let l = m + -0.8. Which is smaller: l or 3?
l
Let o(k) = k**3 + k**2 - 36*k + 17. Let b be o(-6). Let l = -117 + 169. Which is bigger: b or l?
b
Let b be (-12)/(-3)*-6*204/24. Is -616/3 smaller than b?
True
Let b = -1948 + 21398/11. Let w = -105/2 - -52. Which is smaller: b or w?
b
Suppose -3*a - 4*t = -6*a + 100, -90 = -2*a - 2*t. Suppose 8*b = 4*b + a. Which is smaller: 8 or b?
8
Let l be 5 + (-999)/(-189) + (-2)/7. Let y be l/4 + 846/(-12). Which is greater: -66 or y?
-66
Let x(c) = c**2 - 9*c + 12. Let i be x(8). Suppose 0 = -i*m - 2*q + 18, -m - q = -0*m - 2. Suppose 10*b = m*b - 21. Which is smaller: b or -2?
b
Let z = 7639 + -7639. Is -5/108 < z?
True
Suppose 5*v - 15 = -2*s, -5*v + 5*s = 24 - 4. Suppose 18 = -3*k - 18. Let c be k/(-16)*8/(-339). Which is bigger: c or v?
v
Suppose 4*z - 3*o + 5*o = -1202, -1197 = 4*z + 3*o. Let m be z/(-66) - ((-6)/(-3) - -3). Are 1 and m non-equal?
True
Let a = -97 + 69.5. Let x = a - -27.4. Let q = 6 + 12. Which is greater: x or q?
q
Suppose 0 = 19*a + 19 + 76. Let l be (49 - a) + -8 + 6. Which is smaller: l or 44?
44
Suppose -5*r = -h - 108, 5*r - 100 = -h + 6*h. Suppose 0*x = -2*x - r. Let m = 5183 + -5186. Which is smaller: m or x?
x
Let t = 12872 - 5419119/421. Is -4 bigger than t?
False
Let b be (-33)/(-9) - (-455)/21*-1. Let k(x) = x**3 + 8*x**2 + 8*x + 9. Let p be k(-7). Which is smaller: b or p?
b
Suppose 51*k + 68646 + 22101 - 21795 = 0. Which is smaller: k or -1351?
k
Let z be (2 + -96)/(20/6). Suppose 4*v - 6*n = -11*n - 103, 2*n = 5*v + 137. Which is greater: z or v?
v
Let f be 5 + -7 + (-3)/3 - -61. Suppose -f + 78 = -2*y. Which is smaller: y or -2?
y
Let q be (60 - -1)/(2/(-4)). Suppose 71*v + 49*v = -14520. Are q and v equal?
False
Suppose -2*v + 86 = -2*q, -5*v - 265 = -220. Let p be 8*-32*2/10. Which is smaller: p or q?
q
Let m(b) = -4*b + 80. Let g be m(-5). Suppose 4*x = 2*r + 538, 3*x - 5*r + g = 514. Which is bigger: 132 or x?
x
Let h be ((-148)/(-20) + -7)*5. Suppose -202 = b + 3*l, -5*l + 3*l - 404 = h*b. Which is smaller: b or -203?
-203
Let y(u) = u + 29. Let a be y(-6). Let z(f) = 6 - 4 - 1 - 8*f - 3. Let m be z(-3). Which is smaller: m or a?
m
Let r be 22/12 + 1/(-3). Let l be (9 + -8 - (-1 - -2))*-1. Let q be -1 - 0/(-5 + l). Which is greater: q or r?
r
Suppose -14*r + 204 - 1912 = 0. Let p be (-244)/(-10) - r/(-305). Which is smaller: 8 or p?
8
Let l = 28 - -120. Suppose l*m = 141*m - 105. Which is smaller: -8 or m?
m
Let o be 16/(-40) + (-5)/(900/897). Let n = 21/4 + o. Let k = -3 - -2. Is n greater than or equal to k?
True
Suppose 0 = 651*f - 636*f. Is -9/370 greater than or equal to f?
False
Let c = 4344 + -4099. Is -8 less than or equal to c?
True
Let k be 4*7/168 + (-569)/(-6). Let i = k + -286/3. Suppose -c = 2*c + 84. Is i at most c?
False
Let g be (-17 - (-1640)/100) + (-5527)/5. Which is smaller: g or -1105?
g
Suppose 0 = 230*s - 237*s + 105. Let r be (-8)/(-64) - -1*s/(-20). Are -1 and r equal?
False
Let d(p) = -51*p - 92. Let i be d(-2). Suppose 6*t + 972 = i*t. Is t less than 0?
False
Let k be -4 + (2 - 2) + 5/(75/120). Which is smaller: 97/20 or k?
k
Let l(n) = -117*n - 1051. Let w be l(-9). Are w and -186 nonequal?
True
Let b be (-2 + -185 + -3)*6 - (-14 - -9). Which is greater: -1133 or b?
-1133
Let j(v) = 3*v**3 - 22*v**2 - 14*v - 15. Let g be j(8). Let u = 107 - 65. Let z be 1/(-6) + -3*(-3)/u. Are z and g nonequal?
True
Suppose 16*r = 6*r + 130. Suppose -3*v + 3*s = -1 - 26, 5*s + r = -3*v. Suppose -v = -4*k + 5*g, -g - 50 = -5*k - 6*g. Which is smaller: k or 5?
5
Let f be (-2)/21*(31 + (-3094)/(-156)). Which is smaller: -5 or f?
-5
Let g(y) = 469*y - 50. Let x be g(-10). Are -4741 and x nonequal?
True
Let b = -234 + 266. Suppose b*y + 790 = 278. Which is greater: y or -3?
-3
Let c = 8 + 3. Suppose 3*n - 5*j - 110 = n, -2*n = -2*j - 98. Let q = 223/5 - n. Which is smaller: q or c?
q
Let g = -46 + 38. Let p = 8.3 + g. Let t be (8/(-20))/(72/(-15)). Is p >= t?
True
Suppose -2*o + 7*o - o = -o. Are -2/2027 and o equal?
False
Let y = -2982 + 2952. Is 1/53 not equal to y?
True
Let y = -35434 - -390112/11. Which is bigger: y or 32?
32
Let n(z) = z**3 - 48*z**2 + 321*z - 113. Let b be n(40). Let w be (-26)/(-12)*(-36 + 2). Are w and b nonequal?
True
Let b = -4038 - -4719. Is b at least as big as 3409/5?
False
Let o(a) = -a**2 + 4*a + 1. Let k be o(4). Let q be ((-25958)/(-142890) - 10/55)/k. Let d = q - 2537/396195. Which is bigger: 0 or d?
0
Let x be (-40)/6 + 11 + (-68)/6. Suppose 0 = -2*w + 70*d - 71*d - 6, 0 = -5*w - 3*d - 14. Which is smaller: x or w?
x
Let a = 467 - 1006. Let y = 535 + a. Let u(w) = -w**3 + 3*w**2 - w - 1. Let q be u(3). Is q not equal to y?
False
Let r = -3453 - -2461. Is -992 at most as big as r?
True
Let k be (-3)/8 + (-5355)/952. Let z(o) = -o**3 + 3*o**2 - o - 3. Let t be z(3). Is k < t?
False
Suppose -4*s - 1464 = 2*b - 7*s, 2*b - 2*s = -1460. Let d = -678 - b. Is 47 equal to d?
False
Let r(y) = -91*y + 3386. Let k be r(30). Which is smaller: k or 2623/4?
2623/4
Let k = -1.64 - -1.375. Let f = k + -0.035. Is f less than 64?
True
Let k be (10 + (-13 - -3))/(1 - 4). Which is smaller: k or 2/2607?
k
Let u be -1 + 4 - (2 - -2). Let n be 532/1032 - 2/((-44)/(-11)). Which is greater: u or n?
n
Suppose 3*p - 6 = 5*d, -2*d - 8 = d - 4*p. Suppose 4*s + 4 = 0, -2*m + 2*s + 34 = -d*s. Let r be m/2 + -3 + 7. Which is smaller: 13 or r?
r
Let w = 83617 + -83618. Let x = 20 - 10. Let g be 4/x - 1/5. Are g and w unequal?
True
Suppose -3*p + 29 = 44*i - 42*i, 3*i - 4*p - 35 = 0. Let k be 18/(-6)*i + 5. Is -33 bigger than k?
True
Suppose 20 = -5*q, -3*f + 2*q = 2*f + 147. Let o = f + 41. Let y = 5 - o. Do -4 and y have the same value?
False
Let k = 4/2823 - 2863/28230. Which is bigger: k or 25?
25
Suppose -260 = -5*k - 3*h, 4*h - 5*h = 0. Let s = 1569 - 1566. Let o be s - (4 - (824/k)/2). Which is smaller: o or 6?
6
Let t = 11648 + -11648. Is 0.03117 greater than t?
True
Let p = 132 + -75. Suppose 0 = 10*j + 503 + p. Let m = -1905/34 - j. Which is bigger: m or 0?
0
Let r be ((-81)/(-15))/(((-624)/15)/(-16)). Which is smaller: r or 1?
1
Let d(u) = u**3 + 26*u**2 - 35*u + 56. Let i be d(-27). Let t = 254 - i. Which is bigger: -52/3 or t?
-52/3
Let h = 113 - 233. Let f be -107 - (5*70/50 - -4). Which is bigger: h or f?
f
Suppose -3*t + 6 = -0. Suppose -11*n + 4 = 3*x - 10*n, 0 = 5*n + 10. Let r be (6/342)/(x/(8/(-4))