- 35, -2*u - 45 = -5*j. Is j < -54?
False
Let o = -60 + 76. Let k = o - 16. Let w = -0.1 - 9.9. Is w <= k?
True
Let b = -46 - -78. Let t = -31.53 + -0.37. Let o = b + t. Is o equal to 16?
False
Suppose 9*w - 3*t + 4 = 4*w, 4*t + 12 = -2*w. Let f be 0/(w/10 - (-238)/(-85)). Which is smaller: 2/165 or f?
f
Let n(j) = j**2 - 21*j - 6. Let q be n(12). Is q > -104?
False
Suppose -15*g = -193 - 212. Let t = -23 - -17. Let f = g - t. Is 32 at most f?
True
Suppose 287 = -6*t + 293. Let n be 1807/(-130) - t/10. Let h = 30 + -44. Are n and h equal?
True
Let q be (72/6)/(70/3). Let y = q - 5/7. Suppose -4 = -2*o + 3*z, -o + 3*z - 4*z = 3. Which is greater: o or y?
y
Let m = -24 + 25. Let f(q) = -261*q**3 - q**2 + 3*q - 1. Let h be f(m). Let u be 612/h + (-2)/(-13). Is -1 > u?
True
Let t = -1509 + 2280. Is 768 >= t?
False
Let l = 401 + -18046/45. Suppose -z + 5 = -3*r, -4*z + 4*r = -r - 6. Which is smaller: z or l?
z
Let a = -271 + 305. Let s = a + -32. Do s and -52 have different values?
True
Suppose 0 = -0*s + 4*s - 46 + 18. Is s bigger than -367?
True
Let u = 1194 - 473. Let d = 823 - u. Which is greater: d or 0.3?
d
Let d(j) = j**2 + 19*j + 74. Let k be d(-5). Let v(q) = 0*q**2 + 2*q**2 + 9 - q - q**3 + 3*q. Let x be v(k). Which is smaller: -16 or x?
-16
Let f be -3*(1 - 13/3). Let t be (-31 - -45)*(0 - 2). Let m = f + t. Which is bigger: m or -16?
-16
Let f(a) = a**3 + 3*a**2 - 2*a + 1. Let t be f(-3). Let h = 1547/4 + -387. Is h <= t?
True
Let k = 26133.8 - 26134. Which is smaller: k or -52.2?
-52.2
Let g = -116 - -190. Let z = -193 - g. Is -1/2 less than z?
False
Let c = 1143 + -1132.94. Let l = c + -6.06. Which is greater: -86 or l?
l
Let r = -2017 - -2017.33. Which is smaller: 52 or r?
r
Suppose -2*v = 2*n - 4, -4*n = -2*n + 5*v - 1. Suppose -5*b = 1 - 11, 0 = -2*y - n*b + 14. Which is smaller: 1 or y?
1
Let u = -2451 - -2016. Which is smaller: -433 or u?
u
Let p(h) = 20*h + 3. Let x be p(7). Suppose c - 145 = 4*u - 706, 0 = -c + 7. Which is greater: u or x?
x
Let r = 355 + -357. Let l be 15 + -8 - (7 + r). Do 17/15 and l have the same value?
False
Let h = 267.16 + 4.84. Let t = h + -273. Which is smaller: t or 125?
t
Suppose -12*w = 7*w + 2*w + 5*w. Which is greater: w or 26.16?
26.16
Let i = -572 + 599. Suppose v - 1 - 1 = 0. Which is greater: v or i?
i
Let z = 44 + -25. Suppose -4*t - j - 11 = -2*j, 3*j + z = -t. Let c(r) = -21*r + 1148. Let o be c(55). Which is bigger: t or o?
t
Suppose 17 = 2*z - 2*w + w, 5*z - 4*w = 38. Suppose -p = -4*q + 27 - z, -3*q = 5*p - 7. Let u be 18/(-3)*(-1)/20. Which is smaller: p or u?
p
Let o = 107 - 110. Let d be o/8 + 181/(-8). Let j(i) = -3*i**3 + i**2 - 2*i + 1. Let t be j(2). Is t less than d?
False
Suppose -1078 = -p + 15*p. Let a = p - -26. Is -52 bigger than a?
False
Let l(d) = d**2 + 242*d - 17792. Let i be l(59). Let c be ((-1)/2)/((-2)/36). Suppose 93 = -3*a - c. Is a bigger than i?
False
Let a be -4 + (2 - 4*78/27). Let q = a - -881/63. Let r = 8 + -9. Are q and r unequal?
True
Let z be -82 - -79 - 15830/(-5278). Which is smaller: z or 1?
z
Let s = 435 + -437.1. Let r = -2.458 - -0.428. Let j = s - r. Which is smaller: j or 0.5?
j
Suppose -721 + 731 = -5*q + 15*q. Is -5/1578 not equal to q?
True
Let i(n) = -6*n + 5 - 9 + 9 + 24. Let b be i(8). Let a = 15 + b. Which is smaller: a or -7?
-7
Let k(o) = -5*o**2 + o - 21. Let r(f) = 14*f**2 - 2*f + 62. Let x(s) = -11*k(s) - 4*r(s). Let p be x(6). Let l = 141/2 + p. Is l smaller than 1?
True
Suppose 195*k + 106 = 197*k. Let b = -339/5 + k. Which is smaller: b or -14?
b
Let v be -1*4 - (-9 + 17 - 284). Let o = v - 104. Which is greater: 169 or o?
169
Let z = 1.2 - 1.7. Let y be -6 - (-68)/11 - (-1262)/(-44). Let s = y - -27. Which is smaller: s or z?
s
Let n be -94*(-4)/6 + 22/66. Let h = n + -56. Suppose 5*m = h*m. Which is greater: 1/11 or m?
1/11
Let o = -1607 - -1606.9. Let i = -0.5 + 0.1. Let v = -6.6 + i. Which is smaller: o or v?
v
Let s = 45 + -47.6. Let a = 2.52 + s. Is a at least -1?
True
Let j be 80/15*18/4. Suppose y = -1, -5*p = 8*y - 7*y - j. Is 17/4 <= p?
True
Let s(j) = 2*j - 5. Let x be s(4). Let u = -4 + x. Let y = -329 + 330. Is u at least as big as y?
False
Let a = -23 - -26. Let z(q) = q**3 - 3*q**2 - q - 2. Let u be z(a). Let c be (3 - 15 - 0)*(-16)/(-32). Which is smaller: u or c?
c
Suppose -10 = 2*t, -5*h + 237 - 57 = 5*t. Suppose -651*j - 8056 - 26839 - 64530 = -3076*j. Is j less than h?
False
Let v(k) = k**3 - 8*k**2 + 2*k - 8. Let y be v(8). Suppose -3*u - u = 5*o - 19, 5*u + o - y = 0. Let l be u - (66/76)/(18/21). Which is bigger: 0 or l?
0
Suppose h - 5*b - 19 = 0, -b + 2*b = 5*h + 1. Let r = -149113 - -8797672/59. Is h smaller than r?
True
Suppose -2*f + 27 = 5*b, -3*f + 4*b = -6*f + 23. Suppose f - 193 = -24*w. Which is greater: 7 or w?
w
Let x = -14520/9401 - -126/79. Which is greater: 3 or x?
3
Suppose 380 = 10*t - 2190. Let f = -6167/24 + t. Is -1 <= f?
True
Suppose 33*g - 30*g - 9 = 0. Let a(h) = 4*h**2 - 11 + 0 - g*h**2 - 9 + h. Let y be a(-5). Which is smaller: 3/31 or y?
y
Let t(g) = 29*g**2 + 237*g + 9. Let a be t(-8). Which is bigger: -170 or a?
a
Let n(a) = a**3 - 17*a**2 + 70*a + 15. Let m be n(8). Is m equal to -24/1235?
False
Suppose 4*i - 65 = 3*v, 0 = 5*i + 4*v - 5 - 53. Let w be (i/3)/((-16)/(-24)). Let j be ((-28)/w - -6) + 42/2. Is j greater than or equal to 23?
True
Let b be (-8 - 143936/71970) + 10. Which is greater: 0 or b?
b
Let b = -419 - -434. Suppose b = d + 2*d. Let w = -1 + 3. Which is smaller: d or w?
w
Let j = -3.48 + -288.52. Let r = -92581/3 + 30860. Is j at most as big as r?
True
Let h be 4673/7 - (4/(-42))/((-14)/(-63)). Are h and 667 nonequal?
True
Let p = -109531/5 - -21906. Are -2789 and p unequal?
True
Suppose 0 = -2*w + i + 37, -22 + 2 = -w + 2*i. Let j(s) = s**3 - 18*s**2 - s + 12. Let v be j(w). Let o(x) = x**2 + 5*x + 22. Let d be o(v). Is d less than 29?
True
Suppose 5*k = -5*b + 15, 28 = 4*b + 8. Let p(w) be the second derivative of 5*w**3/6 + 13*w**2/2 + w. Let t be p(k). Which is bigger: 12 or t?
12
Let l = 1043/2 - 1815. Which is bigger: -1295 or l?
l
Suppose -2320 = -3*j + 1130. Let h = j + -795. Is h at least as big as 355?
True
Suppose h = -c - 33, 9*h = 4*h + 3*c - 141. Let f be ((-3)/(-14))/(h/25). Let u = -5 - -5. Is u greater than f?
True
Let o = 873 + -872. Let u = -5/1827 + 7639/1456119. Does o = u?
False
Let k = 497 + -713. Let c = 867/4 + k. Do 2 and c have the same value?
False
Suppose 2*t = 4*t + 3*l + 6, 0 = l + 2. Suppose t = -33*a + 7 + 488. Are a and 21 non-equal?
True
Suppose n - f = -16, f - 42 = 3*n + 6. Let b be 1/((-8)/(-1080)*-9). Which is bigger: n or b?
b
Let j be 16/4 + 300/(-74). Let r = -10000 + 10010. Is j less than or equal to r?
True
Suppose 58*k = -46*k - 407784. Do k and -3920 have the same value?
False
Let w(h) = -h**2 + 38*h + 941. Let q be w(-17). Which is smaller: 0.1 or q?
0.1
Let r = 2572/3 + -880. Let l(d) = 3*d + 5. Let h be l(6). Let w = h + r. Which is greater: 9 or w?
9
Let d(q) = q**3 - 4*q**2 - 8*q + 6. Let z be d(6). Let c = -287 - -202. Let j = c - -86. Which is bigger: j or z?
z
Let n(l) = 12*l + 73. Let b be n(-102). Is b smaller than -1148?
True
Let g(w) = -w**3 - 6*w**2 + 4*w + 1. Let f be g(-7). Suppose 2*i = -2*v + 14, f = 3*v - 5*i - 31. Suppose 5*h - 10 = 4*h. Is h greater than v?
False
Let p = 71.707 - 1.987. Let i = 1.78 + p. Let z = i - 72. Which is smaller: -0.2 or z?
z
Let p = -46879 + 46902. Let y = -24 + 48. Is y at most as big as p?
False
Suppose 0 = -6*f + 67 - 19. Suppose t + 10 = -h, -h + t = h + f. Let l = h - -44. Is l bigger than 38?
False
Let u = -256.4 + 8.4. Let m = -247 - u. Is -14 greater than m?
False
Let n = -179.03 - -180. Let g = 1 - n. Let b = -25750/3 + 8583. Which is bigger: b or g?
g
Let l be (-2229)/21 + 10/70. Let s = l - -106. Suppose s*f + c = 3*f + 109, 3*f = 4*c - 94. Is -40 smaller than f?
True
Let p be (1*3)/((-7)/(-140)*-6). Suppose 0*q - 2 = 2*y - 2*q, 5*y - 4*q = -8. Let g = y + -5. Is g <= p?
False
Let j be 1349/(-21) + (-3)/((-6)/(-2)). Let p = j - -36920/567. Let s = p + 512/2835. Which is smaller: -1 or s?
-1
Let f be -7574482*(-1)/18165 - -2. Let i = -1797/865 + f. Let p = i + -417. Which is smaller: 1 or p?
p
Let m = 419 - 322. Suppose m = 4*h + 125. Is -14 greater than h?
Fal