s smaller: m or -1?
-1
Suppose -5*f - 8 - 12 = 0, -2*t + 3*f = -4. Let s be -3 - 10/t*6. Let m = s + -9. Which is bigger: 4 or m?
4
Let a(f) = -20*f - 74. Let u be a(-11). Which is bigger: 145 or u?
u
Let h be ((-9)/((-10098)/(-8)))/((-2)/(-3)). Which is bigger: 0 or h?
0
Suppose -7*c - 5 = 324. Let d = c + 49. Let r = 0 - 0. Is r not equal to d?
True
Suppose 8 = 3*a - 4. Suppose -4*g - 4 = a. Which is smaller: g or -21/8?
-21/8
Suppose 5*b = -u - 20, 0*b - 20 = 3*u + 5*b. Let m be (u - 0)*17/34. Suppose y + 14 = -4*f - y, m = -f - y - 1. Which is bigger: f or -4?
-4
Let q(h) = 3*h**2 + 10*h - 11. Let p be q(-5). Suppose 4*k + 50 = 3*d, 0 = -0*k + 5*k - 5. Let a = d + -5. Is p equal to a?
False
Let d = -87.41 - -0.41. Let s = 86 + d. Is 2/29 bigger than s?
True
Suppose -3*w - 22*k + 21*k + 1710 = 0, 0 = 2*k. Is w not equal to 569?
True
Suppose 5*y + 54 = m, -3*y + 5*m = y + 60. Let s be (1 - 2)*2 + 2. Let i be 2/(4/(-18)) + s. Which is bigger: i or y?
i
Let t be (-2)/(-4)*1066/(-13). Which is smaller: -1/2 or t?
t
Let g = 1440/11 + -131. Suppose 2*d + 4*w - 12 = -w, -2*d + w = 0. Is g greater than d?
False
Suppose 9*r = 4*r + 45. Let u(m) = -m**3 - 10*m**2. Let v be u(-10). Suppose -2*y = 2*n - v*y + 6, y = n + 1. Is n not equal to r?
True
Suppose -z = z - 6. Suppose 0 = z*s - 9, 0*m = 3*m - 2*s - 24. Which is smaller: m or 12?
m
Let v be (19/(9880/(-50)))/(1/(-72)). Which is bigger: v or 7?
7
Let q = 0.0134 + 0.0866. Which is smaller: -216 or q?
-216
Let b(q) = -q**2 - q - 3. Let g be b(-4). Let j = 19 + g. Let p be (j/(-119))/(6/(-21)). Is p less than or equal to -1?
False
Let l(o) = -o**3 - 2*o**2 + 2*o - 1. Let d be l(-3). Suppose d*r - 10 = r. Suppose r = 2*a - 3*z, 0 = 3*a + a - 5*z - 16. Which is bigger: a or 1/10?
1/10
Let p be 8*(-2 - -1) - (-28)/4. Is 9/137 > p?
True
Let o = -9 + 7. Let a = 0 + o. Suppose 0 = -3*n + 7*n - 12. Which is smaller: a or n?
a
Let j = -18 + 2. Let t = j + 3. Which is smaller: -12 or t?
t
Let l = 45 + -847/17. Is -4 at most as big as l?
False
Let b = 19 + -17. Suppose -117 = -b*w - 11*w. Is 9 > w?
False
Let a = -29506/3 + 9987. Is 152 greater than or equal to a?
True
Let u(d) = 3*d**3 - 15*d**2 + 4. Let y be u(5). Suppose 5*q - 60 = -y*s + 167, -4*q = 3*s - 171. Is 52 at most s?
True
Let h = 3 - 2. Let j = -18 + 14. Let g(b) = -b**2 - 11*b - 23. Let u be g(j). Is u equal to h?
False
Let k = 472 - 457. Which is bigger: k or 3/11?
k
Suppose -2*h = 4*m + 2*h + 396, 2*h = -4*m - 406. Which is smaller: -2 or m?
m
Suppose 4*o = 2 + 10. Let v be (-39)/(-26)*40/o. Is v < 19?
False
Let b = -2.3 - -0.3. Let s be -3 + (-1)/5 + 28/(-10). Which is greater: b or s?
b
Suppose 3*v - 231 + 228 = 0. Do v and -2/475 have different values?
True
Let p = -167/6305 - 33319379/334165. Let h = 48571/689 - p. Let a = h - 170. Which is smaller: a or 0?
0
Let a = 713 - 25669/36. Is a at most as big as -1?
False
Suppose 0 = 27*i - 5*i. Is -3/101 smaller than i?
True
Let z(c) = 7*c + 24 - 4*c + 2*c - c. Let s be z(-6). Is s <= 1/34?
True
Let t = 40 - 39.86. Let o = -1 + 0.96. Let w = o + t. Which is smaller: w or 2?
w
Suppose -3*d - 4*i = 10, 4*d + 0*i - 2*i - 16 = 0. Suppose 0*u = -4*j + 3*u + 12, -d*u = 8. Which is greater: 1/23 or j?
1/23
Suppose 3*r - 5*w = 186, 4*r - 7*w + 4*w - 248 = 0. Is 64 less than r?
False
Let g be 4/40 - (4 - (-1134)/(-260)). Suppose -5*h = 2 - 7. Which is smaller: h or g?
g
Let y = 1424 + -1446. Which is greater: y or -17?
-17
Let b be (-3 + 4)*1 - 1. Suppose -4*q - 12 = b, -2*z - 3*q - 21 = -5*z. Let x be (z - 5)*-13*1. Is 12 not equal to x?
True
Suppose -11 + 11 = -2*t. Let k = 78 - 703/9. Let d = t + k. Which is bigger: d or -1?
d
Suppose -z = -3*v - 98, -3*z - 148 = 5*v - 8. Let b = 29 + v. Which is greater: 4 or b?
4
Let q be -56*(2 + 9/(-6)). Suppose x = -5*n - 141, -31*n - x + 149 = -36*n. Do n and q have the same value?
False
Let q(j) = 0*j**2 - j**3 - 9*j**2 + 11*j - 10 + 2*j**2. Let u be q(-9). Is u bigger than 52?
True
Let z = 40257/122 - 330. Let b = 315/2074 - z. Suppose 3*p - 10 = m, -4*p - 12 = 3*m - 7*p. Is b bigger than m?
True
Let j = 32 - 20. Let o be -2*3/j*-6. Suppose -11 + 36 = -5*u + s, 3*u + 3*s = o. Which is smaller: u or -6?
-6
Let b = 64.8 - 66.8. Let h = -57 - -739/13. Is b bigger than h?
False
Let w(p) = p**2 - 11*p - 19. Let l be w(11). Let x = -54 + 37. Which is bigger: x or l?
x
Suppose -5*z - 4 = 4*n + 2, 4*z = -n + 4. Suppose -15 = 3*j - 5*x, -z*x - 2 = -8. Suppose j = -6*u + 5*u + 1. Are u and 1/14 equal?
False
Let z = 10.0397 - 0.0997. Let d = z + -10. Which is greater: 1/7 or d?
1/7
Suppose 6*b - 18 = 18. Let a be (-3)/b*(-2 - -1)*2. Is -1/234 at most as big as a?
True
Let g(r) = -96*r + 25. Let j be g(4). Which is greater: j or -360?
j
Let a = -198 + -267. Which is greater: a or -463?
-463
Let t = 93.73 + -93. Let x = t - 0.43. Which is smaller: x or 0?
0
Let t be (-13)/(-104) - 11*15/40. Which is smaller: -12 or t?
-12
Suppose x - 7 = -4*g + 19, 3*x = -2*g + 18. Suppose 20 + 40 = g*k. Suppose 11*l = k*l. Which is greater: l or 2/13?
2/13
Let v = 28 + -105/4. Let j = -2295 + 2293. Which is bigger: j or v?
v
Let f = 172 - 858/5. Let u = 9/4 - 61/28. Is f less than or equal to u?
False
Suppose -4*b - 3*t = -8, -2*b - 7*t + 18 = -2*t. Let x = 461 + -45641/99. Which is bigger: x or b?
x
Suppose 3*s - 5 = -2. Suppose -8*c + 37 = -43. Let o be ((-8)/(-50))/((-28)/c). Which is smaller: o or s?
o
Let n = -8.82 - 0.18. Let c be (-1)/2 + (7/(-6) - -1). Which is greater: c or n?
c
Let k = -385 + 384. Which is bigger: 5.9 or k?
5.9
Let y = 92 - 161. Let r = 122 + y. Is r at most as big as 0?
False
Let a(f) = -3*f**3 + 3*f**2 - 2. Let r be a(-1). Suppose 5*z - o = 0, -r*z = -6*z + 5*o. Which is smaller: -4/11 or z?
-4/11
Let s be (-76)/(1 + 1) + 2. Let j be 16/45 - (-8)/s. Let r = -0.06 + -0.04. Which is smaller: j or r?
r
Let i(s) = -s**3 - 3*s**2 + 8*s + 20. Let m be i(-5). Is m less than 41?
True
Suppose 0 = 2*r - 9*s + 14*s + 583, -5*r - 1504 = -3*s. Is r >= -299?
True
Suppose 3*s + 100 = 5*o - 2*s, 3*o - 44 = -5*s. Let c = -30 - -47. Let q = c - o. Does 1 = q?
False
Let w be 21/9 + 16/24. Suppose k + 1 = 2*l - 3*l, 0 = 3*l + w. Which is greater: 2/121 or k?
2/121
Let i = -236 - -123. Let t = -112.7 - i. Are -8 and t unequal?
True
Let d = -461 - -492. Which is smaller: d or -8?
-8
Let d(l) = l**2 + 9*l - 3. Suppose -5 = t - 4. Let s be 3*t - 36/6. Let f be d(s). Which is smaller: f or 2/11?
f
Suppose 3*q = 22 + 68. Let n = q - 28. Which is bigger: n or 7?
7
Let d be (2/(-50))/(4 - (-6)/(-3)). Let b = d - 3/2350. Which is greater: b or 0?
0
Suppose -8*z + 3*z = 0, 10 = -5*q - 4*z. Let i = 1 - q. Are i and 15/4 non-equal?
True
Suppose 22*d + 858 = -836. Which is smaller: -74 or d?
d
Let n = -2/75 - 23/75. Suppose 0*g + 3*g + 9 = 5*c, -4 = 2*c - 5*g. Let s = -4 + c. Which is greater: n or s?
n
Let u = 41.894 + 0.826. Let k = -43 + u. Is 2 equal to k?
False
Let l = -0.13 + 0.23. Let s = 8.5 - -11.5. Are l and s unequal?
True
Suppose -n - 1 = -7. Suppose 6*b + 0 = -n. Are b and -6/37 unequal?
True
Let q(m) = -9*m + 4. Suppose -138 = c - 137. Let z be q(c). Which is smaller: z or 35/3?
35/3
Suppose 0 = -w + 6*w - 25. Suppose -w*y + 38 = 103. Suppose 9*u + 27*u + 504 = 0. Is u != y?
True
Suppose 0 = -3*a - 4*d - 62, 3*a - 18*d + 22 = -14*d. Do a and 11 have different values?
True
Let k = -3.351 + 0.051. Let r = 1.7 - k. Is 13 > r?
True
Suppose 19 = -o - 3*i - 27, 5*o - 5*i + 150 = 0. Let m(z) = 64*z + 2270. Let c be m(-36). Is c at most o?
True
Let y = -1315/2461 + -315/107. Let u = -2450821 + 620059007/253. Let z = y + u. Is 2 greater than z?
True
Suppose 0 = -4*y + 3*g - 2635, 1950 = -2*y - y - 3*g. Is y at most as big as 0?
True
Let v be (-144)/(-26)*(-77)/322. Let l = -205/92 - v. Let d = l + 2/13. Is -2/3 smaller than d?
False
Let x be 4/(-14) - 8/70. Let k = -1.565 + -0.035. Is k at most as big as x?
True
Let b be (-3)/2*(-1)/3. Let w(n) = n - 18. Let x be w(14). Let q be (-8)/16*1*x. Which is bigger: q or b?
q
Let g = -21701 + 238531/11. Let n = 904855/24156 - 5093/244. Let m = n + g. Which is smaller: m or 0?
0
Let f = 3432153291/1893109 + 20/25933. Let y = -1813 + f. Which is greater: -1 or y?
y
Suppose -1568 = -26*v + 34*v. Do v and -196 have the same value?
True
Let b be