
j
Let f = 279 - 279. Does f = 1/15?
False
Let v = 1 + -2. Let c = v + 9. Which is greater: c or 9?
9
Let s be -11 + 2 - (-3150)/250. Which is greater: -8/5 or s?
s
Let j(f) = 37*f**2 - 289*f - 22. Let o be j(8). Which is smaller: o or 43?
o
Let y be (1 - 1)*(4 + -5). Is 235 >= y?
True
Suppose -68 = -3*f - n + 6*n, 3*n = -12. Suppose 0 = -2*g + f + 32. Let w be (-3)/2*32/g. Is w < 1/4?
True
Suppose -19 = -4*l + 2*a + 5, -4*a = 8. Let n(v) = v**2 - 2*v - 15. Let z be n(l). Is 2 bigger than z?
True
Suppose 3*f - 9 = -3. Suppose f*g + 2*g = 20. Let i = g + -5. Which is smaller: i or -2?
-2
Let g = 0.07 + -0.21. Let j be ((-7)/7 + 4)/(-1). Which is bigger: j or g?
g
Let f = -30/401 + 79949/2005. Let p = -40 + f. Let t = 0.16 + -2.16. Do t and p have different values?
True
Suppose 75*j = 15615 + 2985. Is 248 at most as big as j?
True
Suppose 0 = 4*m - 2*z + 36, -3*m + 0*m - 3*z - 45 = 0. Let u = -4 - m. Let t(s) = 6*s - 35. Let r be t(7). Is u > r?
False
Suppose 0 = 5*h - 9*h + 132. Suppose -4*w = 3*b - 7, -b - h = -6*b + 4*w. Do b and 3 have the same value?
False
Let t = 164 + -177. Is -7 at least as big as t?
True
Suppose -9 = 4*t + 7. Let h be t/(504/(-255) - -2). Let a be (4/(-90))/(17/h). Which is greater: a or 0?
a
Suppose y - 15 = 1. Suppose -c = 2*q - 2*c + 2, -5*c + y = -4*q. Is 0 less than or equal to q?
True
Let n = -3.848 + 23.018. Let s = n - 19. Let f = s + -4.17. Which is bigger: 0.1 or f?
0.1
Suppose -44*i + 12 = -50*i. Let s be 1/((-2)/(-4))*30. Let o be (-7 - 1)*6/s. Are i and o equal?
False
Let u be ((-30)/9)/((-4)/6). Suppose 0 = 5*w + 3*q - 12, w + w - u*q + 20 = 0. Suppose 2*y + j - 5 = w, -3*y - 2*j + 9 = -0*j. Which is smaller: 2 or y?
y
Let n(g) = g + 10 + g**2 - 11 - 9*g. Let i be n(8). Suppose -5*j + 9*j = 4. Is i greater than or equal to j?
False
Suppose 3*k = 5*a + 7, -5*a - 2*k = -0*k + 12. Let n be -9 - (-7 + 2 - a). Let r(y) = -y**3 - 8*y**2 + 9*y - 4. Let w be r(-9). Is w greater than or equal to n?
True
Let x be -1 + (-3)/((-3)/(-26)). Let u be (-4)/(-6) + 12/x. Let g = -149 + 148. Is g at most u?
True
Let z(b) be the second derivative of -b**5/20 + 2*b**4/3 + b**3/3 + 12*b**2 + 19*b. Let i be z(8). Which is bigger: 38 or i?
i
Suppose 50 = -3*b - 2*f, 0 = -3*b + f - 4*f - 51. Let k be ((-3)/9)/(b/72). Is 2 less than or equal to k?
False
Let x = 10 + -14. Let v be ((-15)/((-315)/(-14)))/((-30)/9). Which is smaller: x or v?
x
Let u = -0.95 + 0.62. Let m = 2.43 + u. Is m > 2?
True
Suppose 2*p + 1 = p. Is 1/315 at least p?
True
Let w be ((-9)/12)/((-9)/(-6))*20. Let m = 20 - 31. Let v = 2 + m. Which is bigger: w or v?
v
Suppose 82*k - 143*k = -71*k. Which is smaller: 3/1762 or k?
k
Let d = 106 + -106.1. Which is smaller: 199 or d?
d
Let w = 112 + -194. Let u = w + 58. Is u at least as big as -74/3?
True
Let o be 30/135 - -1*167/18. Is o <= 9?
False
Let b = 0.028 - -0.002. Let u = 0.002 + -0.102. Which is smaller: u or b?
u
Let q = -6784 + 34026/5. Let n = q - 1469/70. Which is smaller: 1 or n?
n
Suppose 3*p = 24 - 21. Which is smaller: p or 0.11?
0.11
Let w = 24 - 15. Let q be ((-3)/w)/((-5)/135). Suppose -5*n - q = -4. Do n and -1 have the same value?
True
Let x = -3 + 6.6. Let u = -5.6 - -6. Let k = x + u. Which is greater: -2 or k?
k
Let z = 2137549500209/21931 - 97467033. Let c = 3/241 + z. Are c and -1 non-equal?
True
Let w = -26561/13 + 2043. Which is smaller: -21 or w?
-21
Let k be ((-1)/6*2)/(9447/335). Which is bigger: k or 0?
0
Suppose 0 = -104*p - 81*p + 200*p - 15. Let n = -6/965 - 83913/6755. Let s = n + 6365/511. Is s at most p?
True
Let v = 10813/8 - 1349. Let p(r) = 9*r - 245. Let i(c) = 2*c - 62. Let s(g) = -22*i(g) + 6*p(g). Let d be s(11). Which is smaller: d or v?
v
Let z be 2*554/36 + (-20)/(-90). Suppose -3*i - 23 = -3*o + z, 4*o = 4. Which is bigger: 2/7 or i?
2/7
Suppose 3*v + 17 = 98. Let p(q) = 15*q + 433. Let o be p(-27). Is o > v?
True
Suppose 5*k + 4*t - 2052 = 0, -166*t = 4*k - 162*t - 1640. Are k and 413 equal?
False
Suppose 3 = 3*n, -4*h - 5*n + 17 = -0. Which is bigger: 44/23 or h?
h
Let p(j) = j - 2. Let h be p(5). Let x be -2*(1 + -3 - 0). Is x equal to h?
False
Suppose 255*l - 251*l = -4. Is l < 1/68?
True
Let l be ((-132)/(-30)*5)/2. Is l at most 17?
True
Let y be (-13409)/(-44) - (-6)/24. Is 917/3 <= y?
False
Let o = -0.053 + 0.053. Is 23 less than o?
False
Let g = 15/422 + 1707/23210. Let s(r) = -12*r**2 - 42*r + 25. Let f be s(-4). Is g at least as big as f?
False
Let m = 309 + -557. Is -248 at most as big as m?
True
Let l = -13 - -13. Suppose -5*t = -4*j + 2*j - 137, -5*t - 5*j + 130 = l. Which is smaller: 1 or t?
1
Suppose 3*u - 13 = -4*a + 17, -2*a - 6 = -2*u. Suppose -270 = -15*j + u*j. Is 29 < j?
True
Let t = 13.7 + 0.3. Let i = t + -14.16. Let h = i - 0.14. Which is smaller: -0.1 or h?
h
Let u be ((-4)/(-22))/((-558)/(-15345)). Let z = 6 - 4. Are u and z unequal?
True
Let c be -57*3/24*-2. Let d = c + -631/44. Is 1 at least d?
True
Suppose 3*j = -0 - 6, 5*j = -3*i - 4. Suppose -i*b = -7*b. Let c = -4.6 + 5. Which is smaller: b or c?
b
Let t = 3 - 3. Let m be 5 + 3*(1 + t). Let b be (m/12)/((-4)/9). Which is greater: b or -0.2?
-0.2
Let z = -0.274 + 0.054. Let k = -0.25 - -0.01. Let w = k - z. Is 0 greater than or equal to w?
True
Let w(p) = -p**2 + 3*p - 3. Let f = 14 + -7. Let l be w(f). Let c be l/(-5) + 3/(-15). Is 7 smaller than c?
False
Suppose 780 = a + 4*t - 141, 5*t + 1855 = 2*a. Which is smaller: a or 923?
923
Suppose i = 3*l - 16, 7*l - 2*i + 8 = 9*l. Which is smaller: l or 39/7?
l
Suppose g = 19 - 23. Let h(b) = -b - 5. Let d be h(g). Let n = -4.12 - -0.12. Which is bigger: n or d?
d
Let o = -4.86 - 0.14. Let g = 5 - 4. Let h = g + o. Does 0 = h?
False
Suppose -w + b = -20, -35*b + 36*b - 82 = -5*w. Is 2 >= w?
False
Let p = 98 + -97. Suppose -4*x + 21 = x + 3*b, 0 = x - b - p. Is 2 less than x?
True
Let v be (3/(-6))/(3/(-216)). Let f = v + -28. Which is smaller: f or 10?
f
Let w = -5.707 - -5.7. Let l = -0.107 - w. Which is smaller: 4 or l?
l
Suppose -5*k + 0*k - 20 = 0. Let x = 5 + k. Let q = 0 + x. Which is greater: q or 2?
2
Let i be (-6)/4 + 169/26. Suppose 3*u + 0*x = x + 10, -u + 2*x = i. Let l be 0 - (8 - 4 - u). Is l <= 1?
True
Suppose 16 = x + 3*x, -4 = 4*i - 4*x. Let g = 3.8 + -2.7. Let o = g - 0.9. Which is bigger: i or o?
i
Let b = 1988/5 - 1994/5. Suppose 5*n = 3*n. Which is greater: b or n?
n
Let j = -2033 - -2034. Which is bigger: 3/362 or j?
j
Suppose -21 = -259*n + 266*n. Which is smaller: -30/7 or n?
-30/7
Let y = 1292 + -1295. Is 491 less than y?
False
Let w = -559 + 560. Let j = -2 - -4. Is w > j?
False
Let j = 174 - 172. Let g be j/(((-26)/(-24))/(21/(-84))). Let b = 1.2 - 0.2. Which is smaller: b or g?
g
Let a(q) = q + 3. Let t be a(-5). Let z be 1/2*(-9 - -5). Let x be (-150)/96*z/(-5). Which is bigger: t or x?
x
Let t be 1*(4/(-1) + 6). Let y be (t/(-6))/(989/69). Is y at most -1?
False
Let p = 146 + -143. Let a = 413/155 - 2/31. Is p greater than a?
True
Let t(v) = 2*v. Let n be t(1). Suppose -n*w = 10, 6*w + 22 = -2*q + 2*w. Let p = 292/1911 + -10/49. Which is bigger: p or q?
p
Let f = 6/469 + 26210/4221. Is 5 <= f?
True
Let m(x) = x**2 - 16*x + 14. Let v be m(14). Let z be -4 + ((-48)/v)/1. Which is greater: 2 or z?
2
Let q be (9/(-30))/((-36)/30). Which is greater: 38/31 or q?
38/31
Let k be ((-2)/(-6))/(28/(-24)). Suppose 3*j + 28 = 34. Suppose 11 = j*l - 7. Is l smaller than k?
False
Let n be 1/(2/(-4)*1). Let l = 2 + n. Which is greater: l or 4/3?
4/3
Let w = 70396/95 + -741. Let y be 1288/5795 + (-2)/10. Let o = w + y. Is o less than -1?
False
Let p = 68347/50 + -1367. Let t be 37/(-12)*(-3)/50. Let g = t + p. Which is greater: -1 or g?
g
Let r(y) = -2*y**2 + 31*y - 15. Let d be r(15). Let j(g) = -g - 5. Let a be j(-7). Suppose a*z = 3*z. Is z bigger than d?
False
Suppose 4*v = -5*b - 275, 2*b - 5*b - v = 158. Is b greater than or equal to -8?
False
Let i = -1485533/14930 + -1/7465. Which is greater: -100 or i?
i
Let s be (3/(-2))/((-1)/2). Let r be s/9 + 44/(-6). Let w be (-6)/r*(-5 - 2). Does -6 = w?
True
Let h = 3.12 + -0.12. Let k = 3.1 - h. Which is smaller: k or -3?
-3
Let f = 164/1441 - 3/131. Let k(l) be the third derivative of -l**5/60 + 7*l**4/24 - 7*l**3/6 + 2*l**2. Let h be k(6). Does f = h?
False
Let f be 160/(-3