44
Let h = 6/65 + -467/130. Let d be (12/21)/(10/70). Suppose -d*w - 1 - 27 = 3*k, 4*k - 2*w = -8. Do k and h have the same value?
False
Let k = -75 - -87.4. Let s = k - 13. Let x = s + 0.7. Which is smaller: x or -0.1?
-0.1
Let g(v) = -7*v**2 + 17*v - 2. Let w be g(2). Let f = -3 - -6. Is f > w?
False
Let w be (-329)/98*2 - -6. Suppose -5*t + 0*t = 15. Let g be 1*4/(-6)*t. Which is smaller: g or w?
w
Let t(x) = -x**2 + 0*x**2 + 3 + 2*x**2 - 6*x**2 - 2*x. Let w be t(1). Let b(s) = -s**2. Let r be b(2). Is r < w?
False
Let m(c) = 2*c**2 - 11*c - 4. Let d be m(5). Let i be -1 + (-129)/27 - (-2)/d. Which is smaller: i or -9?
-9
Let h(y) = -y**3 - 6*y**2 + 5*y + 4. Let q be h(-6). Let m be (-18)/q*(-1)/(-3). Which is smaller: m or -1?
-1
Let m be 18/15*(-3 + (-914)/(-3)). Which is smaller: m or 363?
m
Let y = 18 + -17. Let n be (y/6)/((-28)/1134). Does n = -6?
False
Let c be 12/9 + 7 + (-6090)/774. Is 0 not equal to c?
True
Suppose 0*b = b - 1. Suppose 0 = 14*t - 237 - 57. Which is smaller: t or b?
b
Let p be 2/(-16)*-2*84/(-49). Which is smaller: p or -1/5?
p
Let n = -126.08 - -126. Let c = -7 - -7.18. Let t = n + c. Is -3/2 > t?
False
Suppose -w = -4*v - 6, 3*w - 122 = -5*v - 19. Let u be 6/3*(-4)/w. Let o be 69/(-23)*(0 - -1) - -2. Which is smaller: u or o?
o
Let q = -46/681 - 72956/2043. Suppose 7*b - 140 = 3*b - 4*w, -5*b + w = -181. Let d = b + q. Is 0 bigger than d?
False
Let f = 312 + -2810/9. Do f and -139 have different values?
True
Suppose 4*v = -3*o + 210, -2*v + o = v - 151. Suppose 13*b + 66 + v = 0. Is -9 > b?
False
Let z = -0.0003 + 0.0003. Which is bigger: z or -56?
z
Suppose 10*d - 5*d - 15 = 0. Suppose 45 = d*z - 42. Which is bigger: 28 or z?
z
Let h = 7.8 + -4.9. Let c = 4.1 + h. Is c at most as big as -1?
False
Let a = 76234/29 - 2629. Which is greater: a or -1?
a
Suppose 4*d - y + 538 = -3*y, 3*d + y + 404 = 0. Does -135 = d?
True
Let n(x) = -x - 18. Let w be n(-20). Let d = w - -12. Which is greater: 15 or d?
15
Let d be 10/(-75)*42/(-4). Which is bigger: d or 0.11?
d
Let v(i) = 2*i - 22. Let u be v(11). Let x = 73/1287 + 2/99. Is u > x?
False
Let f be (-7)/1*(-114)/(-133). Let y(u) = 5*u**3 + 5*u + 1. Let p be y(f). Let j = 69869/63 + p. Which is greater: 0 or j?
j
Let z(r) = 567*r**3 + r**2 + 2*r + 1. Let v be z(-1). Let q = -152798/265 + 233/53. Let k = q - v. Is -5 at least as big as k?
True
Let c be (2 + 87/(-18))/(3/2). Which is bigger: c or -1?
-1
Let m = 0.018 - -24.982. Let a = m + -25. Is 2 != a?
True
Let x = 2 + -2. Let d = 262/159 - -1/53. Is d equal to x?
False
Let b be (4/6*-1)/(6/(-1035)). Is 115 equal to b?
True
Suppose 4*d = 2*j - 292, 5*j = d + 2*j + 83. Is -70 bigger than d?
True
Let d = 177 - 176. Are d and -4/29 unequal?
True
Suppose 3*l + 42 = -c, -l - l + 4*c = 42. Let w be ((-30)/9)/(-5) - (-10)/l. Is 3/83 equal to w?
False
Suppose 0 + 6 = 2*n. Suppose 8*o - 4*o + 103 = i, 0 = -3*o + n*i - 75. Let t = -10 - o. Which is smaller: t or -2/5?
-2/5
Suppose 255*x = 256*x - 1. Which is smaller: -1/63 or x?
-1/63
Suppose 24*n - 27*n = -531. Is 177 greater than n?
False
Let v = -139083264/4067 + 34198. Is -1 at least v?
False
Let p be 1772/15 - ((-72)/(-20))/(-18). Which is smaller: 117 or p?
117
Suppose -20 = 19*l - 17*l. Let y(p) = -9*p + 25. Let v be y(4). Which is bigger: v or l?
l
Suppose 4 = -2*n - 36. Suppose -y = 5, 50 = -b - 3*y + 14. Is b greater than n?
False
Let i be -2 + -2 + (-3234)/(-21). Which is bigger: 149 or i?
i
Let d be 8/(-32) - 212639/(-114). Let n = d + -1865. Let x = -53/532 + n. Which is smaller: 0 or x?
x
Let t be 2/(-9) + 12044/9. Let z = -14738/11 + t. Let w = z - -82/33. Is w bigger than 3?
False
Let z = -1.99 - -2. Let m = -0.04 + 0.05. Let b = m - z. Do b and -0.13 have the same value?
False
Let h(y) = -5*y + 3. Suppose -5*q = 5*k + 10, -3*q + 2*k + 7 = -4*q. Suppose -q*j - 16 = j. Let a be h(j). Which is smaller: a or 24?
a
Let u be (-8)/(-24)*(-18)/2. Which is smaller: -0.051 or u?
u
Let x = -8137/2 - -4244. Which is smaller: 175 or x?
175
Let k be ((-1)/5)/(2/15). Let g be 6/8*(14 + (-129)/9). Is g less than k?
False
Let y = -35 - -35. Suppose -3*v = y, 2*f + v + 43 + 35 = 0. Which is bigger: -38 or f?
-38
Suppose -y + 7 = d - 2*d, -5 = -5*y - d. Let q be (-9)/(-6) + 5/y. Suppose -5*z - 3 = 3*m + 2, -4*m = 4*z + q. Which is greater: z or -0.13?
-0.13
Suppose -19 = r + 5*t, 2*r - 4*t = -0*t + 18. Let u = -13 - -16. Is u >= r?
True
Let g = -1.6 - -9.6. Let i = 8 - 3. Let p = g - i. Do 4 and p have the same value?
False
Suppose 0*o - 4*y + 10 = 2*o, 25 = 5*o - 4*y. Let p be o*((-44)/(-10) + -4). Are p and 1 unequal?
True
Let c be -1 + 10 + 92644/(-10396). Does c = 0?
False
Let y = -0.315 + 29.515. Let p = -29 + y. Let a = 0.1 - 2.1. Which is smaller: p or a?
a
Let t be ((-80)/(-120))/((-4)/234). Which is bigger: t or -41?
t
Let s = 2 + -8. Let k be -4 - (s + (2 - -1)). Let z = k + -1. Is -4 less than z?
True
Suppose -4*d = -2*j - 3*j - 1347, -5*d - j = -1662. Does d = 665/2?
False
Let z = -6 - -24. Suppose -2*v - z = -0*v. Let f = v + 8. Is 3/17 > f?
True
Let z be (31/(-22) + 1)/((-30)/(-40)). Suppose -v + 7 = 3. Suppose -2*w - 4 = 0, -s - 5*w - 10 = v*s. Is s at most as big as z?
False
Let c be (-1)/1*2/6. Let j(u) = 10*u + 11. Let f be j(-4). Let h = f - -19. Which is bigger: h or c?
c
Let u(m) = m**2 - 12*m + 21. Let x be u(9). Let v be 82/(-6) + 1*2/x. Which is bigger: 2 or v?
2
Let x be 11*2/((-204)/18). Are x and -3 non-equal?
True
Let i = -1065 - -1099. Is 0.5 > i?
False
Suppose 0 = 26*o + 11*o - 3404. Do 14 and o have different values?
True
Let y be (-4 + (63/6 - -3))*-38. Are -359 and y unequal?
True
Let d = -36.1 - -36. Let t = 0.1 + d. Does t = 2/5?
False
Let x be 3 + (0 - (-5709)/30). Let r be 771/4 - 22/(-88). Let b = r - x. Which is greater: 1 or b?
1
Suppose 918 = 32*j - 35*j. Which is greater: -307 or j?
j
Let u(f) be the second derivative of -f**3/3 - 33*f**2/2 + 13*f. Let t be u(19). Is -71 less than t?
False
Let c(t) = t + 10. Let i be c(-6). Let m = 8 - i. Suppose 0*v = m*v + 8. Is v at least as big as 0.2?
False
Let v be (-12)/(-36) + 98/3. Let u be 6/(-33) - 324/v. Let k(h) = h + 3. Let b be k(u). Is b less than -6?
True
Let f = 10197 - 10194. Let a(p) = 6*p - 3*p + 2 - 4*p. Let u be a(2). Which is bigger: u or f?
f
Let p = 2.38 - 2.38. Let n(o) = -o**2 + 3*o + 1. Let u be n(3). Let q be (-4 + 4)/((-2)/u). Is p greater than q?
False
Let g = 14655 - 14655. Let s = -90 - -132. Let m be (-2 + 3)*(-2)/s. Is m at most g?
True
Let c(l) = -l**2 + 10*l + 8. Let f be c(10). Let w(b) = b**2 + 11*b - 3. Let d be 96/(-8) - (1 + -1). Let x be w(d). Are x and f unequal?
True
Let u be ((-2835)/14)/((-6)/(-8)). Which is smaller: u or -268?
u
Suppose 0 = -3*x + 4*u - 7 + 2, 4*x + 3*u = 10. Let b be x + (-36)/15 + 10/25. Is b less than -2/9?
True
Let a = 1366 + -31428/23. Is a equal to 0.2?
False
Let z = -37.5 - -48.5. Which is greater: z or -36?
z
Let j = 1137 + -1112. Which is smaller: 20 or j?
20
Let r = 52.5 + -58. Let j = 6.5 + r. Which is bigger: j or -1?
j
Let j be (-378)/30*(-5 - (-5 + 2)). Is 26 greater than or equal to j?
True
Let j = -5/1418872 - 122708773/6712683432. Let g = -2/249 + j. Which is bigger: -1 or g?
g
Let r = 75 - 64. Let z be (-20)/(-6) - (r - 8). Let t be -1*(1*2)/2. Which is bigger: t or z?
z
Let l(o) = -o**3 - 4*o**2 - 5. Let y be l(-4). Suppose 0*h - 4 = -h. Suppose -h*d = -3*d + 2. Which is smaller: y or d?
y
Let r = -46 + 38. Let j(q) = -3*q**2 + q - 1. Let s be j(-2). Let t be s/(-10) + (-19)/2. Is r < t?
False
Let h = 31 - 18. Let p be h - 13 - 1*18. Which is smaller: -19 or p?
-19
Let k be (-34)/(-153) + (-58)/(-387). Is k > -1?
True
Let q = -140.8 - -140.829. Which is bigger: q or 0.1?
0.1
Let f(q) = q + 4. Let n be f(-4). Let k = 791 - 3952/5. Does k = n?
False
Let z be 810/(-14) + -1*(-3)/(-21). Let b be 15/(-90) - 9/z. Is 0 bigger than b?
True
Let r be ((-145)/(-1595))/((-1)/(-11)). Suppose 4*h + 0*h - 4 = 0. Suppose -v = -2*v - h. Which is bigger: r or v?
r
Let i = 104.6 + -102. Let u = 2.6 - i. Let v = -2.1 - -2. Is u equal to v?
False
Let l be (-294)/72 + (0 - -4). Let f(g) be the first derivative of g**3/3 + 2*g**2 + 3*g - 3. Let v be f(-3). Does v = l?
False
Let d = 2 - 28.2. Let u = d - -26. Which is greater: u or -6?
u
Suppo