 + y - 24 = -d*g. Suppose 9 = 5*o - 4*x, 7*o - 2*o + 3*x = y. Are -0.1 and o non-equal?
True
Let v be (4 - (-5)/(-2))/(6/40). Suppose 46 = -7*d - v. Is -48/7 < d?
False
Let g = -30 - -30.3. Let n = 6.969 + 0.131. Let p = n - 7. Which is smaller: g or p?
p
Let u be 1 + 10/5 + 1252/(-6). Is u < -207?
False
Let b(y) = -y - 16. Let x be b(-7). Do x and 0.03 have different values?
True
Let m = 60 + -55. Suppose 6*b - m*b + 65 = 0. Which is smaller: -66 or b?
-66
Let h = 32 - 158/5. Suppose 0 = 5*m - 9*m + 2*a - 22, -4*a + 20 = -4*m. Which is smaller: m or h?
m
Let y be 4 - (3 - (4 + -2)). Suppose -y = 5*z - 23. Let l = z + -4. Is l bigger than 1/5?
False
Let s = 105 - 73. Let v = -23 + s. Let f = -8 + v. Are f and 5/6 nonequal?
True
Let k = 1 - 0. Let f be (184/(-2))/(3 + 0). Let r = f - -30. Which is smaller: k or r?
r
Suppose 3*h + 0*h = 0. Let m be (-2182)/(-8)*28/77. Let c = m - 99. Is h equal to c?
False
Suppose 0 = -24*w - 2653 - 11. Is -111 less than w?
False
Let o = 327.26 + -331. Is o less than 1/4?
True
Suppose y - 7 = 26. Suppose 3*o = -2*j + 1, 32 = 3*o - 4*j + 7. Let h be (-1)/o + (-319)/y. Is h at most -9?
True
Let f be (-2829)/132 + 14 + (-10)/(-8). Is f at most as big as 2?
True
Let z be (-132)/(-308) + (-3)/7. Which is bigger: 1/66 or z?
1/66
Let z be (-63)/(-70) - (-4 - (-4 + -1)). Let q(c) = c - 3. Let u be q(3). Is u at least z?
True
Let f = 34 + -27. Let r be f/3 + (-2)/6. Suppose -a + r*a - 14 = 0. Is a > 14?
False
Let q be -6 + 7 + 15/(-42). Which is greater: 0 or q?
q
Let n(f) = -f**3 + 5*f**2 + 7*f - 13. Let q be n(6). Suppose 5*y = 5*t + 45, -2*t - y = -5*t - 31. Which is smaller: t or q?
t
Let d = -430 + 3868/9. Which is bigger: -19 or d?
d
Let f = -28419215/7 + 3213143912/791. Let b = -2241 + f. Which is greater: b or -1?
b
Let y = 9896 - 39293/4. Which is smaller: 73 or y?
y
Suppose 5*h + k = -20, -h - 4 = -5*k - 0. Let q be (-155)/(-15) - -5 - (-8)/12. Let o be h/q - 183/(-156). Which is greater: 2 or o?
2
Suppose -v - v + 13 = -5*k, 2*v - 4 = 2*k. Is k smaller than -48/29?
True
Let v be -27*(5 - (-8)/(-2)). Let o = 30 + v. Suppose g + 5 = -j + 4*g, o*g = 4*j + 29. Is -8 at most j?
True
Let a = -14 - -34. Suppose -47*x = -49*x + 68. Let f = x + -13. Is f < a?
False
Suppose -15 = c - 4*h, 2*h - 249 = 2*c - 243. Let a = -11471/11 + 1045. Which is greater: c or a?
a
Suppose 0*a + 6*a = 30. Let t(h) = -2*h - 1. Let r be t(-3). Is a at least r?
True
Let h = 1462/3 + -482. Let m = h + -92/9. Are -5 and m unequal?
True
Let o = 238907/23 - 10389. Which is smaller: o or -1?
o
Let c(b) be the third derivative of b**5/30 - b**4/24 + b**2. Let n be c(2). Suppose 9 - 4 = m. Which is greater: n or m?
n
Suppose 4*x - 10 - 6 = 0. Let d = 21 + -19. Let a = d - 5/3. Which is smaller: a or x?
a
Let s = -1.1 + -8.9. Let d = 0 + s. Let a = -11 - d. Which is smaller: a or 4?
a
Let s = 460 - 283. Which is smaller: s or 178?
s
Let i(l) = 2*l**2 + 4*l + 6*l**3 - 3*l - 13*l**3. Let k be i(-1). Is k >= 9?
False
Let t(z) = 4*z + 7. Let l be t(0). Suppose 3*k = -3*v - l - 71, -v = -5*k - 136. Let w be 274/(-10) - 2/(-5). Are w and k non-equal?
False
Suppose 2*i + 2356 = 2522. Which is smaller: i or 87?
i
Let v(k) = k**2 + 20*k + 19. Let n be v(-1). Are 3/92 and n equal?
False
Let m(r) = -5*r + 90. Let o be m(18). Which is smaller: o or -1/38?
-1/38
Let a = -197.1 + 197. Which is bigger: a or 187?
187
Suppose -q - 1471 + 419 = -5*c, 4*q - 4*c + 4192 = 0. Let w = q - -87947/84. Which is greater: 2 or w?
2
Let u(s) = -s**2 - 17*s + 9. Let a = 128 + -145. Let v be u(a). Let c be 1/(-2) + (-30)/(-4). Is v at most as big as c?
False
Let d = 644 + -503. Which is bigger: 139 or d?
d
Let j = -223 - -163. Which is smaller: j or -58?
j
Let m = 120.2 + -117. Let n be (1 - (-4)/(-3))/((-15)/10). Which is smaller: m or n?
n
Let k(r) = r**2 + 6*r - 10. Let w be k(-8). Let m be (0 - 0)*((-20)/(-4) - w). Is -1.9 greater than m?
False
Let q = 1368 - 1251. Is q less than or equal to 118?
True
Let a be ((-84)/56)/((-333)/(-4)). Are a and 1/8 non-equal?
True
Suppose 0 = -n + 11 - 3. Suppose -5*s = -27 - n. Which is greater: 9 or s?
9
Suppose 3*u = -w - 4, u + 5*w - 10 = -30. Suppose l + l - 6 = 0. Is u <= l?
True
Suppose -4*n + 3*t = 20, -3*t = -2*n - 8*t - 10. Let g be 4 + n + (-62)/(-68). Is g less than or equal to -1?
False
Let f = 56 - 17. Let p = f + -40. Let z be ((-30)/(-24))/(2*-1). Is z equal to p?
False
Let u(n) = 8*n + 11. Let v(m) = -7*m - 12. Let c(o) = -6*u(o) - 5*v(o). Let s be c(2). Is s greater than or equal to -31?
False
Let p = -755053 - -20390212/27. Let b = -140 + p. Which is bigger: 0 or b?
b
Let f(k) = k**2 + 4*k - 3. Let o be f(-4). Let v = o - -13. Which is smaller: 9 or v?
9
Let d be 2027/(-3) + 8*(-4)/24. Are d and -677 unequal?
False
Let c(w) = -2*w**2 + 3. Let l be c(-3). Let t(g) = g**2 + 7*g - 18. Let i be t(-10). Let a be -5*(-1)/(l/i). Is -3 equal to a?
False
Suppose 0*u - u = 5*o + 1019, o = 3*u - 191. Let f be ((-3)/(-5))/(o/35 + 6). Does f = 3?
True
Suppose 58 = 2*b + 4*z, 4*z = -3*b - 0*b + 83. Let l = b + -11. Let f be l/(-4)*(-18)/(-45). Which is smaller: -2 or f?
-2
Let w = 180620 + -2711159/15. Let l = w - -124. Is 0 bigger than l?
False
Suppose 0 = -2*n - 10, g - 3 = 5*n - 2. Let k = g + 23. Which is smaller: 1/62 or k?
k
Let q(h) = h**2 - 10*h + 21. Let m be q(3). Let s = 4674/7 + -669. Is m > s?
True
Let j be 33/132 - 189/4. Is j at least -47?
True
Let f(h) = -h**2 - h. Let l = -38 + 28. Let a(j) = j**2 + 9*j - 11. Let v be a(l). Let g be f(v). Is g greater than 1/6?
False
Suppose -2*a = -3*a - 4*m - 20, 0 = 4*m + 8. Let z be ((-2)/a)/((-44)/(-462)). Suppose 3 - 7 = -4*j. Do z and j have the same value?
False
Let u = -24 - -28. Suppose -3*h + 2*h + u*m = 0, 3*h = -m. Suppose a = 5*p - 9 - 1, h = 5*a - p - 22. Is 3 smaller than a?
True
Let r be 2 - -18 - 14/7. Let c be (-20)/r + 4/6. Is c at least as big as 0?
False
Let f be 8 - -98*20/(-242). Is f less than 0?
True
Let m = 0.3095 - 0.1095. Are m and -345 nonequal?
True
Let h(g) = -2*g**2 - 32*g - 216. Let d be h(-21). Is d at most as big as -427?
False
Let s be (-6)/15 + (-516)/(-15). Suppose -3*c + 13 = s. Is c at most -6?
True
Suppose -s - 37 - 120 = 0. Let u = s - -226. Is 69 at least u?
True
Let g be (-1014)/36 - (-2)/12. Let y(o) = -3*o**2 - 83*o + 41. Let d be y(g). Which is smaller: 9 or d?
9
Suppose 0 = -7*m + 600 - 6984. Let r = m + 57458/63. Which is smaller: 0 or r?
0
Let f = 509/7 - 78. Let o = 20 - 25. Which is greater: f or o?
o
Let v = -1299 - -1294. Is -18/5 smaller than v?
False
Let z(u) = u**3 + 2*u**2 + u + 6. Let i be z(-3). Let q be i/(1 + (2 - 5)). Which is greater: q or 1.2?
q
Suppose 5*t + 5*z - 50 = 0, 0 = -3*t - 0*z + 4*z + 9. Let i be ((-12)/4)/6 - (-5)/2. Suppose -n + i + 4 = 0. Which is smaller: n or t?
n
Let s = -11 - -4. Suppose 2*f + 42 = -40. Let z = f + 33. Is z < s?
True
Let v = 34.1 + -94.1. Which is greater: v or 2/7?
2/7
Let w be 5*(2 + 54/(-15)). Let c = 13 - 23. Which is bigger: c or w?
w
Let x = 0.91 - 26.51. Let v = -25 - x. Is v greater than or equal to 2?
False
Let p = 2 + 1. Let b = p - -2. Suppose 7*j - 5*j = 10. Is b greater than j?
False
Suppose 13*f - 1049 = -971. Which is smaller: f or 148/29?
148/29
Let a be (-2 - (-20)/6)*3. Suppose 4*x - 5*x + 17 = 4*u, 2*u - a = 4*x. Let w be 6/(-6) - u/2. Do -2 and w have different values?
True
Let h = 126 - 56. Let b = h - 116. Which is smaller: b or 2/7?
b
Let x(y) = -y**3 - 23*y**2 - 21*y + 16. Let u be x(-22). Let t = -12 + 5. Which is smaller: u or t?
t
Let a = 0.1043 - 0.8043. Does -9/4 = a?
False
Let w be 1628/185 - (22/(-10) - -2). Suppose -24 = -4*b + 2*b. Are w and b equal?
False
Let i = 18 + -12. Suppose 0 = 4*s - i - 6. Suppose -q - s = 2*u - 5, q - u - 5 = 0. Which is bigger: 0 or q?
q
Suppose 0 = 4*z + a - 3*a - 2, 0 = -5*z + 5*a + 10. Are 2/1421 and z nonequal?
True
Let h = -2 - -1. Let n = h + 0.5. Let d = 4552/7 - 650. Which is bigger: d or n?
d
Suppose -32*l = -33*l - 2. Let n be ((-2)/(-8)*l)/(3/(-264)). Which is bigger: n or 0?
n
Let w be 10/(-3) + (-20)/30. Let d be 2*(w/8 + 0). Let v = 1/273 + -293/5460. Which is smaller: v or d?
d
Let m = 91 - 92. Are -140 and m equal?
False
Let l = 137 + -135. Is -5 > l?
False
Let j = 3620/3 + -1235. Which is smaller: -29 or 