ller: 1/42 or n?
1/42
Let q = -513767/6 - -85828. Let w = 201 - q. Is w less than 2?
True
Let l be -1*((-9)/(-15) + 1024/10). Let h = l + 102. Which is bigger: h or -7/6?
h
Let k(d) = d**2 - 15*d + 11. Let y be k(14). Suppose 8*j + 9 = -15. Do y and j have the same value?
True
Let r = -34.5 + 14.6. Let u = 19.2 + 0.8. Let b = u + r. Does b = 0.1?
True
Let w be 4/(-4)*-3 - 3. Suppose -d - 5*a - 30 = -7, 2*d + a + 55 = w. Let t be (-5 + 1)/(d/(-10)). Which is bigger: -1 or t?
-1
Let j = -20.6 + 17. Let t = -0.6 - j. Is t bigger than -0.13?
True
Let c = -52 + 92. Let g = -40 + c. Let m = -11 + 45/4. Do g and m have the same value?
False
Suppose 4*k - 1 + 12 = -s, s - 9 = k. Let j be 1 + 0 + -94 + k. Is -97 greater than or equal to j?
True
Let o = -95.3 + 90. Let n = -1.7 + o. Is 0.2 bigger than n?
True
Suppose 0*g - 2*g + 108 = j, 110 = j + g. Let z be (-15)/6*j/(-10). Suppose 2*w + 28 = -5*t, 0*w = 3*t + 4*w + z. Which is smaller: t or -5?
-5
Let c = -262 - -270. Let b be (-1)/(-2) + 6/(-4). Which is smaller: c or b?
b
Let u = -448 + 446. Is -0.001 less than u?
False
Suppose -3*x - 2*o - 166 = 0, o + o = x + 42. Let f be x/(-112) + (-9)/(-12) + -1. Are 1 and f unequal?
True
Let v(q) = -q - 12. Let z be (1 - 0)*-13 + -2. Let d be v(z). Suppose d*n = 3, 0 = 5*a - 3*a + 5*n - 7. Which is smaller: -0.03 or a?
-0.03
Let d = -761 - -635. Do d and -126 have different values?
False
Let c = 142 + -144. Let w be 1 + -2 - (c - -8 - 8). Which is bigger: -5 or w?
w
Let y(k) = k**2 + 7*k + 3. Let p be (-3)/(-15) + (-145)/(-25). Suppose -c + j - p*j = -9, 0 = 3*c - 5*j + 33. Let v be y(c). Is v greater than -3?
False
Let f be 5/8*((-85)/25 + 3). Is f less than 1.41?
True
Let o = 1124 + -1123.541. Let l = o + -0.159. Is 0.1 smaller than l?
True
Let w(a) = 6*a**2. Let n = -24 - -22. Let r be w(n). Suppose 0 = 17*x - 14*x - r. Which is bigger: x or 0?
x
Let h = -146060 - -444536/3. Let b = 2101 - h. Let q = b + 18. Which is smaller: 0 or q?
0
Let c(q) = 4*q + 2. Let l be c(6). Let k be (-13 - (12 - 52)) + -2. Which is smaller: k or l?
k
Suppose 3*g + 31 = 5*s + 2, 2*s - 5*g = 23. Suppose 0 = -4*t + s - 12. Is -8/7 >= t?
True
Suppose -3*o = -3*v - 144, -4*o - 139 = -7*o - 2*v. Let s = 142/3 - o. Let c = -9033 - -9034. Which is smaller: c or s?
s
Let j(m) = m**2 + 5*m + 4. Let x be j(-4). Let b(r) = -r**3 + r**2 + 7. Let i be b(x). Which is smaller: 6 or i?
6
Let o(t) = t**3 - 5*t**2 + 3*t + 4. Let n be o(4). Let c be (-7 + 6)*1*(-4)/(-26). Is n at least as big as c?
True
Suppose -r = -o - 1 + 56, -r = 3*o - 169. Is 9 equal to o?
False
Let r = -15.1 - -16. Let k = -78 + 393/5. Is r not equal to k?
True
Let p be 6/(-10)*(-7 + 2). Suppose -p*m = -2*i + 156, -5*m = -5*i - m + 404. Let n = -585/7 + i. Which is greater: n or 1?
1
Let x be (-20)/6*(-216)/360 - -5. Is 13 greater than or equal to x?
True
Suppose 0 = 2*k - k + 4. Let x = -2 + k. Let n be (-2)/x + 24/(-18). Is -1 at most as big as n?
True
Let p = 20 - 14. Let g(i) = i**2 - 8*i + 4. Let m be g(p). Suppose -3*d - 11 = -2*j, 4*j - d - 1 = -4. Is m at most as big as j?
True
Let v = -8.1 - -7. Let l = 2 - 1. Let a = l + v. Is 3 less than a?
False
Let u be -2*((-40)/16 - -5). Which is smaller: 4 or u?
u
Let h = 69/262 + 921/14410. Is 1 bigger than h?
True
Let b be (-3)/36*((-10680)/1338 - -8). Do b and 0 have the same value?
False
Let w = -23 + 23.15. Let t = w - -0.05. Is t greater than 2/7?
False
Suppose 3*w - 691 = -s, -3*w = 15*s - 12*s - 693. Is w greater than 229?
True
Let j = -3 - -0.1. Let q = j + 3. Let s = 490.5 - 490.2. Is s greater than or equal to q?
True
Let u(i) = 11*i**2. Let j be u(1). Let s be (-40)/70 - (-2)/j. Let r = -1151/385 - s. Which is greater: -1 or r?
-1
Let t = -9 - 12. Which is greater: -5 or t?
-5
Let u = -676 - -673. Let o be (-4)/(-18) + 37/(-72). Let n = o - 11/8. Which is smaller: u or n?
u
Suppose 0 = -4*b - 21 - 7. Is b equal to 13?
False
Let m = 2431 - 4855/2. Which is smaller: m or -26?
-26
Suppose -3*i = -r + 11, 2*i + 5 = -1. Suppose -c + r = -0. Suppose p - u = 0, 2*p = -0*p - 4*u + 24. Which is smaller: p or c?
c
Suppose 12*w - 11*w - 4*p - 10 = 0, -3*w = -p + 25. Suppose -8*y = -4*y + 32. Does w = y?
False
Let u be -5 - 1*-2 - 160/(-55). Let m(c) = -c**3 - c**2 + c. Let l be m(0). Suppose -2*x + x = l. Is u less than x?
True
Suppose -3*j = -3*a - 36, 0*j - 2*j = 2*a + 12. Let x be (2 - (-21)/a)/1. Let h = 6 + -8. Is x at least as big as h?
True
Let k(a) = 3*a - 1. Let o be k(1). Let i = -470 - -3765/8. Which is smaller: o or i?
i
Let c = 4/31 - 157/496. Suppose 2*x + 1 = x. Is x at most c?
True
Suppose -2*u + 9*u - 28 = 0. Let i = -19 - -30. Suppose -u*j - i - 1 = -2*g, 8 = j + 5*g. Which is smaller: 1 or j?
j
Let s be 13 - 15 - 187/(-3). Which is greater: s or 59?
s
Suppose 0 + 2 = -m. Let p be -2 - -5 - (-2 - m). Suppose -6 = -l + 3*l + p*v, -v - 15 = 5*l. Which is smaller: -4 or l?
-4
Let l = 529 + -524. Which is bigger: 19/3 or l?
19/3
Let a(n) = n**2 + 11*n + 20. Let k be a(-9). Let v be (1 - 51/(-6))*2. Let q = 17 - v. Is k at least as big as q?
True
Let u = -3 - -3. Let p = 1720 + -32677/19. Is p > u?
True
Let m(l) = -l**2 - 5*l + 7. Let k be m(-6). Suppose 9*z - 8*z = -k. Which is smaller: -1/8 or z?
z
Let y = 192/55 - 3698/1045. Is y < 0?
True
Let y = -318 + 350. Is 125/4 at most y?
True
Let s = 0.14 + 0.16. Suppose 4*i + 22 = -3*g, g + 4*g = -2*i - 18. Let t(f) = f**3 + 2*f**2 - 1. Let y be t(g). Which is smaller: y or s?
y
Let a = 6 + -6. Let l = -686/9 + 76. Which is bigger: l or a?
a
Let i = -35 - -27. Let n = i - -8. Are n and -8 unequal?
True
Let p(o) = 10*o + 24. Let s be p(6). Let m = 169/2 - s. Which is smaller: m or -1.2?
-1.2
Suppose -12*r - 352 - 2696 = 0. Is -255 smaller than r?
True
Let y(c) = c**3 + 16*c**2 + 14*c - 17. Let o be y(-15). Let x be (o/(-24))/(105/(-40)). Which is smaller: x or 1?
x
Let o = 14 + -14.04. Let a = -0.46 + o. Let l = 7.9 - 8. Is a less than l?
True
Let q = 14 - 10. Suppose 0 = 24*s - 27*s + 24. Let f be (q/(-10))/(s/(-10)). Do 1 and f have the same value?
False
Suppose -v - 25 = -22. Which is bigger: v or -7?
v
Let t = 4.1 - 1.8. Is t at most as big as -0.2?
False
Let v(j) = 3*j**2 + 9*j + 20. Let u be v(-6). Is 74 >= u?
True
Let l = 119 + -118.892. Let k = 0.892 + l. Is -5 greater than k?
False
Let j be 2365/825 + 6/45. Let m(f) = -2*f - 10. Let w be m(-7). Is w greater than or equal to j?
True
Suppose 3*u - 47 + 4 = -4*r, -5*u = -r + 5. Suppose -2*h - 20 = n - 7, -5*n + h = r. Which is greater: n or -15?
n
Let p = -3 + 1. Let l = 3829 - 3829.09. Which is smaller: p or l?
p
Let q = 0.2 + -0.3. Let u = -47 - -27. Let x = 23 + u. Which is smaller: x or q?
q
Suppose 0 = -d + 4*d - 9. Let b(w) be the second derivative of -w**3/6 + 3*w**2 + 13*w. Let c be b(d). Which is bigger: -2 or c?
c
Suppose -4*y - 7 = -5*p, 3*y + 2*p - 9 = p. Suppose -2*z + w = 151, 0 = 3*z - 2*w + y + 223. Is z <= -76?
True
Let n(s) = 3*s - 10. Let g be n(4). Suppose 2*u - 8 = -g*u. Suppose o = -5 - u. Is -7 at most as big as o?
True
Let w(g) = g**3 - 13*g**2 + 8*g + 16. Let u be w(12). Are u and -0.2 unequal?
True
Let b be 2*(-10)/20*0. Which is greater: b or 3/451?
3/451
Let x = -79.7 + 87.7. Is 46 equal to x?
False
Let q = 0.536 - 0.596. Are -19 and q unequal?
True
Suppose -2*j - 8 = -z - j, -4*j - 20 = -z. Suppose z*g = 3*b + 18, b + 2*g + 2 = 6. Are -1 and b unequal?
True
Let k = 47129/65 - 725. Let o = -118/195 - k. Which is bigger: o or 38?
38
Let z = -973 + 1111. Which is smaller: z or 140?
z
Suppose -15 = -9*q + 4*q. Suppose q*g - 2 = -17, z - 36 = g. Is 30 <= z?
True
Let w = -2 - -1. Let g be (0 - w) + 0 + 2. Let v = 298/5 - 60. Are v and g equal?
False
Let b = -1466.3 + 1465. Is -7 != b?
True
Suppose 5*h = h + 8. Let x(k) = 6 + 3*k - 2*k + 9 + h. Let n be x(-13). Which is smaller: 5 or n?
n
Let h = -3545 - -3534. Suppose -q - 15 + 2 = 0. Which is bigger: h or q?
h
Suppose 0 = -4*k + 125 + 131. Let h = 255/4 - k. Suppose 4*c - 11 = -p, 4*p - c = -2 - 5. Is p < h?
True
Suppose 0 = 5*h + 27 + 3. Let m(c) = c**2 + 9*c + 15. Let x be m(-7). Let g be (2 - 4) + -1 + x*-2. Which is smaller: g or h?
h
Let k(v) = -v**2 + 6*v + 6. Let x be k(6). Let c be (-4 + 3)/((-2)/(12/(-2))). Let r be c/(9/x) + -5. Are 1 and r unequal?
True
Let t(v) = -v**2 +