e value?
False
Let h = 0.08 - 0.02. Let x = 7/150 - -3/25. Which is greater: h or x?
x
Let v = 571.6 + -527. Let t = v - 51. Let h = -7 - t. Which is smaller: -2 or h?
-2
Let x = -17 - -18. Suppose 2*h - 5 + x = 0. Suppose 4*n = -j, -h*j - n = j + 11. Which is greater: j or -2?
-2
Let s = -2 - -2. Let g(z) = -14*z + 562. Let b be g(46). Which is greater: s or b?
s
Let z = 280952925/155414 + 44725/1306. Let g = 1842 - z. Let f = g + 1196/357. Is 2 at most as big as f?
True
Let v = 1296 + -1297. Which is smaller: v or -0.0436?
v
Let q = 24 + -20. Suppose l = -d - q*d + 249, 2*d + 2*l = 98. Is d greater than or equal to 50?
True
Let s = -1/635 + 257/1905. Let l = 4783/4 - 1196. Are s and l equal?
False
Let d be ((-23)/115)/((-126)/(-20)). Does d = 9?
False
Let d(p) = 2*p - 3*p + 2 + p**3 - 1. Let a be d(-2). Let x be (-335)/(-35) + -14 - (-4)/(-7). Is a < x?
False
Let m be (-6)/4*(-29)/(1392/(-64)). Which is bigger: m or -19/11?
-19/11
Let v = 71 + -73. Let g be 5 + (-1)/(0 + v/(-6)). Which is greater: g or 1?
g
Let q be (-1)/((-34)/18 - -2). Let r(l) = -4*l - 20. Let x be r(q). Is x not equal to -1?
True
Let j(m) = -m**3 + 2*m**2 - m + 2. Let w be j(2). Suppose 7*g - 2*g = 10, 3*a = -2*g - 116. Let h = a + 37. Which is smaller: w or h?
h
Let u be 11424/(-884) + 0 + 0. Which is smaller: -13 or u?
-13
Let o = 3 - 4. Let w be (-711)/117 + (6 - 0). Which is smaller: o or w?
o
Let p be (-205)/235914*9/(-5). Which is smaller: p or 1?
p
Suppose -4*c - 869 - 123 = 0. Do c and -1 have the same value?
False
Suppose -15*k = -11*k - 460. Let f = k + -53. Which is smaller: f or 61?
61
Suppose 13*o - 11*o = 0. Let u = -99 - -107. Is u greater than o?
True
Let c = -20.3 + 13.2. Let q = 7.5 + c. Is q equal to -1?
False
Let o be 6/33 - (-10 + (-505)/(-55)). Is o < 7?
True
Let r be (-6)/4 + 22185/(-10). Let c = 51070/23 + r. Which is smaller: c or -1?
-1
Let s(z) = -8*z + 13. Let o be s(2). Let p be o/(-4) - (3 - (-2482)/(-1096)). Is -1 not equal to p?
True
Let t = 76805/27 + -2845. Is -1 less than t?
True
Let b = 86 + -45. Let p = -245/6 + b. Which is smaller: 1 or p?
p
Let f = 1545 + -118969/77. Does f = -1?
False
Let v = 15/472 - -3183/33512. Is 1 at least as big as v?
True
Let y(r) = -r**3 - 13*r**2 - r + 123. Let t be y(-12). Let b = -13 - -8. Do b and t have different values?
True
Let l = -23641.7 + 23642. Let v be 23*1/2*4. Let z = 275/6 - v. Does z = l?
False
Let u = 17 - 14. Let p = -15 + 61/4. Is p greater than u?
False
Let a(c) = 4*c**3 - 2*c**2 - 2*c. Let x be a(-1). Which is bigger: x or -3?
-3
Let f be (21/(-28))/(27/474). Which is bigger: -12 or f?
-12
Let r = -1547 + 47953/31. Which is smaller: r or 0?
r
Let x be 2*1 + 430236/(-206880). Let r = 2/431 + x. Which is greater: -1 or r?
r
Suppose 306 = -p - p + d, 3*p + 450 = -3*d. Let t = -56 - p. Let v = 959/10 - t. Is v equal to 1/3?
False
Let p be (6 + -6 - -5) + -4. Which is greater: -2/55 or p?
p
Let q = -29 - -40. Let l = 9 - q. Let b be ((-76)/(-36) - 0) + l. Which is bigger: -1 or b?
b
Let f = -70 + 47. Let h = -53 - f. Let c = h + 31. Is c less than -0.29?
False
Suppose -5382 = -2*t + 28*t. Is -207 greater than t?
False
Let s(b) = -2*b**2 + 26*b - 23. Let k be s(12). Which is greater: k or -20/59?
k
Let m = 0.12 + -13.12. Let b = m + 3. Let o = b + 9.9. Which is greater: 0.03 or o?
0.03
Let u(a) be the first derivative of -a**4/4 - 8*a**3/3 - 6*a**2 + 6*a - 10. Let j be u(-6). Which is smaller: j or 20/3?
j
Let g(a) = -a - 19. Let f be g(-17). Let j(x) = x - 1. Let c be j(f). Is c bigger than -3/2?
False
Let g(t) = t**3 + 15*t**2 + 26*t. Let m be g(-13). Which is smaller: m or 5/52?
m
Let m be 170/(-45) - 1*(-4)/(-18). Suppose -17 = -p - 3*p + i, -i = p - 3. Suppose 0 = u - 4*k - 2, 3*k - 4*k - 9 = p*u. Is u != m?
True
Let x = -23 + 11. Let w = -23 - x. Is -8 greater than w?
True
Suppose 0 = -s + 6*g - 316, 0 = 5*s + 2*g + 3*g + 1650. Is -329 less than s?
True
Suppose 8 = 2*s - 0. Suppose 3*v - s*w - 8 = 0, 4*w = -2*v + 3*w + 9. Suppose 0 = -t - v*m + 10, -5*t - 5*m + 0 = -50. Is t equal to 11?
False
Let n(o) = -10*o + 102. Let s be n(-5). Is 303/2 at most s?
True
Let n(l) = -l**2 + 20*l + 138. Let g be n(23). Which is bigger: g or 72?
72
Suppose -7*x + 1358 = -119. Let i be -3 + 3*x/210. Is i at most 0?
False
Let i = -17 - -23. Let f = -2 + 2.1. Is f != i?
True
Suppose -5*q - 2*b + 181 = 0, 7*q - 2*q = 4*b + 193. Which is smaller: 27 or q?
27
Let i(n) = -3*n**2 - 24*n + 17. Let t be i(-11). Is t at most -78?
True
Let k be (660/(-16) + 9)/((-4)/32). Do 258 and k have the same value?
True
Let r = -15 + 15.07. Let n = -11.381 + 11.981. Which is greater: n or r?
n
Let j(x) = -10 - 2*x + 3*x - 3*x + 0*x. Let t be j(-7). Let s be (-1)/(t/(-24)*-10). Which is smaller: s or 0?
s
Let i(m) = m**3 - 2*m**2 + m. Let g be i(1). Let d = -5291/17 - -311. Which is bigger: g or d?
g
Suppose 3*m + 3*z = 72, -5*m + 0*z + 129 = -4*z. Do 15 and m have the same value?
False
Let q(d) = -38*d - 104. Let v be q(-2). Which is smaller: -26 or v?
v
Suppose -3*u - 5*t + 7 + 8 = 0, -t = -3. Suppose u*d = 3*d + 5*d. Is -2/87 greater than d?
False
Suppose -19*d + 24*d = -85. Are -21 and d unequal?
True
Let r = -25 - -39. Let k = 22 - r. Let o = -37.8 - -37.7. Which is smaller: k or o?
o
Let p be -2*4/(-16) + 31/2. Suppose 0*f + f + p = g, 5*f + 4*g = -116. Which is smaller: f or -19?
f
Let g(s) = -2*s - 4. Let u be g(-1). Let j be u*2/(4/(-13)). Is 12 less than or equal to j?
True
Suppose 0 = 8*r - 5*r. Suppose -z = -5*n - 28, r = 4*z - 2*n - 3*n - 37. Suppose -g - i - 5 = -z*g, 2*i = -3*g - 3. Which is greater: 3/10 or g?
g
Let y = 2 + -12. Let r = -10.2 - y. Which is bigger: -5 or r?
r
Let w = 14 - 63. Let u = w - -47. Which is greater: -4 or u?
u
Let r = 247 + -247. Is -6/703 less than r?
True
Suppose -5*w + 14 = -3*t - w, 0 = -t - w - 7. Suppose -2 = 2*g - g. Let v be -9 - -1 - (g + -1). Is t greater than v?
False
Let q = -5895 - -3142034/533. Is -1 at least as big as q?
False
Let h = -1577 + 2636. Let f = 9521/9 - h. Is f greater than or equal to 1?
False
Let u(w) = 2*w**3 + 34*w**2 + 63*w + 46. Let t be u(-15). Which is smaller: 6/1333 or t?
6/1333
Let j = 2.7 + -13.7. Let k = -0.062 + 11.462. Let u = j + k. Is u smaller than 0.1?
False
Suppose 53 = -4*x + 257. Let w be (-10 - -16 - 3)*(-1)/x. Let m be 10/(-8) - (-3)/12. Are w and m unequal?
True
Let j(o) = -32*o - 15. Let s be j(-3). Let z be (-2)/((-2)/3) - 231/s. Which is bigger: 1 or z?
1
Suppose 2*b + 15 = 7*b. Let q(t) = 2*t**2 + 2*t. Let a be q(b). Let o be ((-16)/(-20))/(a/20). Is o at least 1/3?
True
Let f(z) = z - 7. Let j be f(8). Suppose -5*d = -4*d + j. Which is smaller: 39 or d?
d
Let g = -0.023 + -23.977. Let j = 11 + g. Let h = -15 - j. Do -2/13 and h have the same value?
False
Let q = 43 - 68. Let w = q + 17. Is w != 0?
True
Let x = 15 - 4. Suppose -106 + x = -y. Which is smaller: 96 or y?
y
Suppose -20 = -5*i, 0 = -0*t + t - 3*i + 5. Let f be (10 - t)*34/6. Is 16 at least as big as f?
False
Suppose -18 = -9*s - 9*s. Does 1/421 = s?
False
Let i = 3517/56 + -1195/8. Is -86 < i?
False
Let n = 61 - 171. Suppose -888 = -43*u - 935 - 4683. Does u = n?
True
Let g(a) = a**3 - 8*a**2 - 9*a - 2. Let z be g(9). Let m be (2 + -1)/(5/255). Let i be (m/34)/((-3)/z). Do 1/4 and i have the same value?
False
Suppose 0 = -a - 3*o - 2*o - 36, 3*o = -12. Suppose 0 = -4*l - 5 - 59. Is l at least a?
True
Suppose 443 = -2*n + u, 4*u + 88 = -2*n - 350. Is n at least as big as -225?
True
Let w be 8 + 62/(-40)*4. Let c = -2 + 2. Let k be (-2 + 3)*(c - -1). Is k bigger than w?
False
Let l be 11 - (32/(-112) + (-2)/(-7)). Suppose l = 2*o + 7. Let q = 15 - 10. Which is smaller: o or q?
o
Let t = -104 - -98. Let c be (1 + 14/t)/(350/(-1575)). Let p be (-19)/(-2) - (-2)/(-4). Which is bigger: p or c?
p
Let u be (-6)/9 - (-4)/6. Suppose 13 = -q - u. Let p = 11 + q. Which is smaller: p or -3/2?
p
Let a = -2.438 + 1.438. Are a and -0.31 equal?
False
Let j be (2 + -1)/((-2)/26). Is -13 <= j?
True
Suppose -4*p = 3*t - 6, -p + 5 - 1 = 2*t. Let v(q) = -q**3 + 22*q + 26. Let g be v(-4). Is g at least t?
True
Let v be (-4)/22 - (-12857)/(-253). Let k be ((-396)/v)/(-2) - -4. Suppose 0 = -y - 1, 2*y + 3 = r - y. Is k < r?
False
Let p = 4 + -2. Let n(k) = 4*k**2 + p*k + 4*k**2 + 9 + 3*