- (814/(-10) - 1). Let n = f + -1068/13. Are n and w unequal?
True
Let o = -0.273 - 64.227. Let n = o - -65. Is n greater than or equal to 11?
False
Suppose 0 = -16*u + 74 - 1178. Is -60 > u?
True
Suppose 2*n - 5*n + 4*x + 3 = 0, -2*n + 2 = 5*x. Let k be -2 + (5 - -1)*n. Let l be -5 + k - (3 - 3). Is -2/19 greater than or equal to l?
True
Let n be 3/3 - 17/(595/112). Which is bigger: 2/11 or n?
2/11
Let o(n) be the first derivative of n**4/4 + 7*n**3/3 - n**2 - 10*n + 11. Let i be o(-7). Are 1 and i nonequal?
True
Suppose -40 = i - 3*i. Let d be 211/335 - 12/i. Let x be (-4)/6*9/6. Which is greater: d or x?
d
Let v be (-30)/37*15/((-525)/28). Which is smaller: v or 1?
v
Suppose -39587 = -45*a + 14*a. Are a and 1278 unequal?
True
Let g be 28/4 - (7 + -1). Does g = 86?
False
Suppose 0 = -5*s - 181 + 131. Let f = 1498 + -7533/5. Is f greater than s?
True
Suppose 0 = -3*a - 2*r + 1, 2*r + 7 = 5*a. Let k = 9/46007302 + -286785365/913872317. Let g = k - 1/506. Which is bigger: g or a?
a
Let b = 2 - -1. Let n be 132/9 - (-1)/b. Let c be (-112)/(-150) + (-10)/n. Which is greater: c or 0?
c
Let u = 133 + -531/4. Which is greater: u or -63?
u
Let r = -33 - -47. Let q = 16 - r. Which is smaller: 9 or q?
q
Let v = -0.947 - 2.433. Are v and -1 equal?
False
Let f = -0.066 - 38.934. Let m = 39.3 + f. Let j = 0.3 - m. Is j not equal to 6?
True
Let h = 36 - 42. Which is smaller: -6.2 or h?
-6.2
Let b(i) = -74*i + 375. Let g be b(5). Which is smaller: 9 or g?
g
Let t = -19 - -31. Let b = -188 + 116. Let h be 2/6 - 12/b. Is t smaller than h?
False
Let s be -6 - (-29 - -8)*-94. Does -1980 = s?
True
Let t(p) = -p**2 - 13*p + 15. Let j be t(-11). Let y = 39 - j. Suppose 0*q + 16 = -2*q. Is q less than y?
True
Let v = 3944 - 8107/2. Is -111 at most v?
True
Let l = 7 + -17. Let m = l - -6. Let w = -6 + m. Which is bigger: w or -9?
-9
Let c(m) = m**2 + 2*m - 8. Let b be c(4). Is 17 > b?
True
Suppose 0 = -3*r + 3 + 3. Let u be -5 - (-5 + 6/r). Which is smaller: u or 1?
u
Let f be (8/(-10) + 2)/((-8253)/(-210)). Which is greater: 1 or f?
1
Let c be 1 - (115/(-40) - 2/(-2)). Which is smaller: 2 or c?
2
Let t = -34 - -37.3. Let u = -0.44 - 3.86. Let z = t + u. Is z < -1?
False
Suppose 4*c = 2*n + 32, 2*n - 5*n = 2*c. Which is smaller: c or 45/7?
c
Let t = -710/9 - -4940/63. Let f be ((-12)/18)/((-28)/214) + -3. Let i = t - f. Is i smaller than -4?
False
Let n = 167 + -227. Let z = -2 + 2.1. Is n at least as big as z?
False
Let d = -8 + 5. Let c be 3/d - -7*21. Let h = c - 587/4. Which is smaller: h or 0?
h
Let p(s) = -s**3 + s**2 + 3*s + 2. Let r be p(-1). Let m be (-2)/3 - (-20)/(-6). Is r equal to m?
False
Suppose -1 = 4*a + 3. Which is smaller: 3/143 or a?
a
Let q = 31787/36 + -884. Let x = -20/9 + q. Is 1/3 greater than x?
True
Suppose -4*k + 5 = k. Suppose b - 198 = 33. Let y = 1161/5 - b. Which is bigger: k or y?
y
Let l(j) = j**3 - 4*j**2 + j - 2. Let m be l(4). Suppose 4*x - 14 = -m*v, 3*v + x = -0*x - 4. Let n be 4*v/(12/10). Which is smaller: -11 or n?
-11
Let k(b) = -b**3 + 7*b**2 - 4*b + 9. Let z be k(6). Suppose -z*n - 12 = -25*n. Let r be (19 - 3)/4 - n. Which is smaller: -1/41 or r?
-1/41
Suppose -c - 25 = 5. Let d = 145 - 174. Is d not equal to c?
True
Let a = 295 + -304. Is 1/4 at least a?
True
Let u = -123 - -134. Suppose -j + 10 = u. Which is bigger: 1/120 or j?
1/120
Let s = 8600 - 988951/115. Let u = s + 4/23. Let w(r) = -2*r + 20. Let k be w(9). Is k != u?
True
Let n be (-3*1)/((-12)/8). Let h = -5 + n. Let m be 3 - (h + (0 - -3)). Is 3 < m?
False
Suppose v + 58 = c, 2*c = v - 4*v + 101. Which is smaller: 54 or c?
54
Let q = -389/14 + 212/7. Which is greater: -4/9 or q?
q
Let v = -68 - -106. Let m = v + -42. Which is smaller: 2 or m?
m
Let q be 126/105*1*-5. Does -3 = q?
False
Let a = -16/59 - 1250/177. Is a >= -7?
False
Let x be (2 - -7)*8/6. Let i(j) = j + 11. Let k be i(-16). Let w = x + k. Is w > 6?
True
Let w be 2/((28/5229)/2). Are 745 and w unequal?
True
Let r = 0.13 - 0.23. Which is greater: -223 or r?
r
Let j = 1268 + -1268.1. Which is smaller: 403 or j?
j
Let k = 109 + -104. Suppose -3*i + j = 331, k*j - 535 = 6*i - i. Which is smaller: -111 or i?
i
Suppose 0 = -4*p + 5*z + 15, -5*p - 4*z - 19 = -48. Suppose 0 = p*x - 62 + 12. Suppose -3*h + b = -x, 5*h + 2*b - 4*b - 18 = 0. Which is smaller: -6 or h?
-6
Let n(h) = 27*h + 551. Let r be n(-11). Is r not equal to 254?
False
Suppose -5*i = 8*i - 39. Suppose i = -6*g - 3. Is 3/25 smaller than g?
False
Let x = -1 + 0. Let c be (45/20)/(15/40). Which is smaller: x or c?
x
Let s = -3193973384/1287 - -2481720. Let y = 2/117 - s. Let r(x) = 2*x**3 + 39*x**2 - 20*x - 1. Let i be r(-20). Are i and y non-equal?
True
Let y be (40/1)/(38/(-551)). Which is smaller: y or -581?
-581
Let h be 5/(-2) + ((-78)/4)/(-13). Which is smaller: -13/14 or h?
h
Let x(p) = -p**2 + 10*p + 14. Let m be x(11). Let g be 295/165 + (-1)/m. Is g less than or equal to 1?
False
Suppose -30 = -5*c - 3*f - 2*f, -3*c = -4*f - 46. Let u be ((-128)/(-133) + -1)*c/25. Is u at most as big as -1?
False
Let v(c) = 2*c**2 + 3*c - 8. Let w be v(-7). Suppose 5*p + 6 = 1, 0 = -f - p + w. Let x be (f/(-30))/(2/(-12)). Which is smaller: x or 16?
x
Suppose -2*h - 4*h = 2*h. Let n be -2*(-2)/(-4) - (-13 + h). Which is bigger: n or 15?
15
Let m = -10.5 + 3. Let y = m + 0.5. Let p = 6.4 + y. Which is greater: -0.1 or p?
-0.1
Suppose -2*g + 5*r = -407, 4*g + 2*r + 267 - 1021 = 0. Is 190 less than or equal to g?
True
Let p be 0*(2 - 5/2). Let z be (p/6)/(1*-2). Let i be z + (-4)/(-120)*4. Is i <= -1?
False
Let l(b) = b - 2. Let i be l(5). Suppose 4*s - 1 = i*s. Let h be 21/(-81) + (-6)/(-27). Which is greater: h or s?
s
Let h(i) = i - 30. Let f(d) = 6*d - 150. Let j(t) = 2*f(t) - 11*h(t). Let x be j(-18). Is x < 12?
False
Let s = -6 - -62. Suppose -s = -5*a + a. Let k be a/42 + 74/(-42). Which is greater: -2 or k?
k
Let w(q) = 5*q + 382. Let a be w(-64). Which is greater: 61 or a?
a
Suppose -345*z = -337*z - 312. Is 498/13 not equal to z?
True
Suppose 11*n = 14*n. Suppose n + 6 = -3*d. Is 8 bigger than d?
True
Let m be 12/(-2) + 1910/((-120)/(-12)). Do m and 184 have different values?
True
Let g = 88 + -76. Let y be (-1)/g*(-3 + 41) - -1. Is -2 less than y?
False
Let u be (6/(-16))/(3/2). Let w = 19 - 15. Suppose w*d = d. Which is greater: u or d?
d
Let n be 1140/(-21) - 8/(-28). Is -60 <= n?
True
Let l(w) = -w**3 - 2*w**2 + 3*w. Let p be l(-4). Let t be 124/(-7) - (200/(-35) - -6). Let k = p + t. Are k and 5/7 equal?
False
Let j be 33/(-2)*(16/4 + -8). Which is bigger: j or 67?
67
Let d be 377 + -4 - (6 + 1). Is 729/2 less than d?
True
Let p be 84/7 + 1/1. Let g = p - 13. Which is smaller: -2/119 or g?
-2/119
Suppose 20 = 4*t, 0 = 2*k - 4*k - 4*t + 18. Let o = -1 - k. Let g be (-4 - 706/(-78) - 5)*-3. Is o greater than or equal to g?
True
Let w = 23 - 58. Let a = w + 35.1. Which is bigger: a or -8?
a
Let d = -73 - -80. Suppose 0 = r - d*r. Which is bigger: -3 or r?
r
Let j be 5/(-25) + 215/950. Let f = -47 - -48. Is f <= j?
False
Let q = -34 - -38. Suppose -3*p = z + 2*z, 3*z - q*p + 14 = 0. Is -7/3 at least as big as z?
False
Let z = -17 + 8. Let d = 12 + z. Suppose 5*w = 2*q + 2*q + 6, -d*q = -4*w + 4. Which is greater: -2 or q?
-2
Let w = 5 - 9. Let u be 6/18 + 12/(-9). Which is greater: u or w?
u
Let t = -46801854/17 + 2752249. Let x = t + 801. Let z = -213 - -214. Is z bigger than x?
True
Let k(y) = 3*y**3 + y**2 - 2*y + 3. Let l be k(2). Let t = l + -17. Suppose 3*n + 27 = 4*f, -5*n + 0 - t = 5*f. Which is smaller: -2 or n?
n
Suppose -4*k + 39 - 11 = 0. Is -1 at most as big as k?
True
Let c = 231/4 - 58. Let u = -115 - -81. Which is bigger: c or u?
c
Let z be -2 - (-3 - (-288)/2). Let b be (-506)/z + (-3 - 1). Is 0 at least as big as b?
True
Suppose -o + 3*m - 10 - 5 = 0, -2*o - m = -5. Which is smaller: 2/297 or o?
o
Let m = -728 - -727.48. Do -0.3 and m have the same value?
False
Let k = 535 + -529. Let j(o) = o - 2. Let s be (8/5)/(4/20). Let w be j(s). Is k less than or equal to w?
True
Let h be 4*(-3)/(-12)*-23. Suppose -2*d = 2*x + 74, 3*d - 4*d - 4*x - 46 = 0. Let v = d - h. Is -10 < v?
False
Let g(j) = j**2 - 2*j + 7. Let b be g(3). Suppose 0 = -5*l + 25, -3*z = -l - l + b. Suppose z = 11*x - 12*x - 1. Are x and 1/29 unequal?
Tru