ual to s?
False
Let t be 38/12 - 3 - (-5)/(-447900)*14882. Which is greater: 0 or t?
t
Let z(w) = w**2 - 5*w + 2. Let a be z(5). Suppose 0 = 4*v + l + 8 - 22, -a*l = 2*v - 4. Suppose -3*o + v = 1. Do o and 4/11 have the same value?
False
Suppose 4*s = -4*k + 96, -5*s = -0*s - 2*k - 85. Suppose -104 = -s*m + 6*m. Let z(w) = -w**3 - 9*w**2 - 11*w - 15. Let y be z(-8). Is y <= m?
False
Suppose 0 = 6*s + 387 - 459. Let r(u) = -14*u + 164. Let w be r(s). Is w greater than or equal to -25/8?
False
Let c be (-1)/(531/10)*22230/624. Let n = c - -1/236. Is n at least -0.247?
False
Let f(r) = r**3 - 4*r**2 - 21*r + 39. Suppose 6*q = 3*q + 18. Let a be f(q). Which is smaller: a or -194/13?
a
Let t be (-3 - -19)*1/2. Suppose 0 = u - t + 34. Suppose 4*a = -j - 104, 4*j = -10*a + 12*a + 34. Is a greater than u?
True
Let g be (48/60)/(2/(-20)). Suppose -60*n + 90 = -70*n. Which is smaller: g or n?
n
Suppose -3*p + 5*w = -0*w - 30, 6 = -2*w. Suppose -p*t + 2*z - 7 + 18 = 0, 2*t + 5*z = 16. Which is bigger: 0 or t?
t
Let i be (-1188)/(-66) + (76 - 2). Is -0.1 bigger than i?
False
Suppose -r = 4*l - 5*r - 24, 0 = -5*r. Suppose 5*j = 2*j + l*j. Which is smaller: -2/245 or j?
-2/245
Suppose -50 = -19*n - 221. Let m(q) = 3*q - 25. Let o(l) = l - 12. Let k(a) = 2*m(a) - 5*o(a). Let d be k(n). Do d and -6.9 have different values?
True
Let i be 1040/(-30)*(-3)/2. Let g(q) = 2*q**2 - 10*q + 24. Let a be g(7). Is i at least as big as a?
True
Let y = 286 - 283.81. Let m = y + -157.19. Are -2 and m non-equal?
True
Let b = 1573 + -831. Let z = b - 6664/9. Suppose -7*y + 11 = -2*y + u, -y + 11 = -2*u. Which is smaller: y or z?
z
Suppose 50 = -z + 3*p + 42, 0 = -5*z + 4*p - 7. Which is smaller: 4682 or z?
z
Let o be 3/9 + -1 + (-2088)/270. Let t = o + 704/85. Which is bigger: 6 or t?
6
Suppose 2*c - 43 = -37. Suppose -5*m - 10 = 0, -c*b + 2*m = -2*m + 46. Are b and -18 equal?
True
Let u = 0.28 - 1.62. Let y = u + 0.14. Is -2 <= y?
True
Suppose -5 = -5*y - 0, -l + y - 2 = 0. Let b be (-48)/8*l/(-2). Let k = -483 + 483. Which is greater: k or b?
k
Let o(m) = 1411*m - 1456. Let a be o(1). Is a at most -584/13?
True
Suppose -5*n - 5*u - 7 + 27 = 0, 4*n = 3*u - 5. Which is greater: n or -15/1903?
n
Let v = 0.0674 + 287.9326. Let r = -287.9 + v. Is -52 greater than or equal to r?
False
Suppose 0 = -15679*q + 15671*q - 8. Is q >= 8/1923?
False
Let s be (-322)/(-8) + 11/(-44). Let k = -5/22 - -2743/66. Which is smaller: k or s?
s
Suppose 0 = -2671*n + 2844*n - 14013. Is 136 at least as big as n?
True
Suppose 2*f + f - 34413 = -4*c, 0 = 5*f - 35. Is 8598 greater than c?
False
Let s be (0 - 1)*1/1. Let c = 128 + -306. Let k = c + 1241/7. Is s at most k?
True
Suppose 12*y = 37 + 107. Let f be y/14 - 204/140. Do f and -0.8 have the same value?
False
Suppose -38 = -2*r - h - 78, 5*r + 94 = -h. Let t = -24/13 + -1864/117. Which is bigger: t or r?
t
Let s = -202 + 202. Suppose -q + 12 + 0 = s. Which is smaller: q or -1/6?
-1/6
Suppose -4*z + 1 = -5*z, -4*j = 3*z - 353. Suppose 119 - j = a. Is a less than 30?
False
Let w(q) = 142*q + 15. Let c = -322 + 321. Let l be w(c). Which is greater: l or 0.1?
0.1
Suppose -25*z = 21 + 4. Is z equal to 64?
False
Let f be (-104)/(-16960)*652 - (-8)/(-2). Which is smaller: f or -2?
-2
Let a = 275 + -107. Let m be (a/(-16) - -10)/(82/(-28)). Which is smaller: m or 1?
m
Let l be (-7)/(-2) + (-1)/(-2). Suppose 9*u = l*u. Let m(d) = d**2 - d + 12. Let r be m(u). Which is smaller: 14 or r?
r
Let u = -1.838 + 1.788. Which is smaller: u or -814?
-814
Suppose -21*s + 211 + 85 = 2. Suppose 2*l = 5 + 9. Which is smaller: l or s?
l
Suppose 14*k - 11*k - 12 = 0. Suppose -i + 11 = a, -4*i - 9*a = -k*a - 42. Suppose 0 = 2*s - i + 11. Is 2/21 at most s?
True
Suppose 12 + 10 = -2*n + 2*y, 0 = -5*n - 5*y - 25. Let w be (42/(-16))/((-12)/n). Let p = -232/357 + -2/119. Which is smaller: w or p?
w
Let v = -5.751 - -5.7. Let q = -0.005 + v. Let t = q + -1.144. Is -2 < t?
True
Let n be 7/(-14) + 3/6. Suppose -3*x + 463 = 4*j, -x - 5*j + 2*j + 156 = n. Does x = 153?
True
Let c be (3 - (-6 - -11))*430/4. Let y = -215 - c. Which is smaller: -4/75 or y?
-4/75
Let y = 570 - 544.7. Let f = 14.88 - -10.12. Let u = y - f. Are 3 and u unequal?
True
Let q = 21383/7315 + -234/77. Let k = 4323/1235 + q. Is k less than or equal to 3?
False
Let i be 3 + 1 - 4*1137/6. Let c be (0 - 8/10)*145/i. Let n = -1 - -1. Which is greater: n or c?
c
Suppose -4*g - 23 = -3*g. Let z = 3 + g. Let d be ((-263907)/189)/59 - 10/(-3). Which is greater: z or d?
z
Let r be ((-655)/10 - 0)/(198/44). Which is bigger: r or -14?
-14
Suppose 150 = -13*v + 7*v. Let w = 10 + v. Let a be (-3)/w - (-102)/15. Which is greater: a or 5?
a
Let q = -156 - -87. Let m = q + 97. Let f be (0 - 4)*3/m. Do f and 1/2 have the same value?
False
Let l = -50 + 53. Suppose l*b = b - 15*b. Which is greater: b or 3/62?
3/62
Let w be 1793/(-165) - -11 - (-56994)/45. Is w less than 1267?
True
Let n = 5993 + -6051. Which is greater: -869/15 or n?
-869/15
Suppose 5*d = 5*l + 384 - 99, 224 = -4*l + 3*d. Which is greater: -64 or l?
l
Suppose 0 = -3*g - 5*x, 3*x = 2*g + 4*x - 7. Suppose q = -5*t + 9, 5*q = -0*t + t + 19. Suppose 3*f = 5*j - 23, -j + 2*j + q*f = 0. Which is smaller: g or j?
j
Let v = -3564 - -4821. Which is greater: 1256 or v?
v
Let o = -1697320/77 - -22044. Is o < 2?
True
Let d(l) be the second derivative of l**3/3 - 37*l**2 - 6*l + 6. Let o be d(35). Are o and -10 nonequal?
True
Let t be (-1001)/957 + 1/1. Let r be 2/5*(-90)/(-36). Is r greater than or equal to t?
True
Let y be 128/7 + (-18)/63. Let i be y/(-12) + 1/2. Which is smaller: i or -2/93?
i
Let i = 18493 + -18431. Is -13 smaller than i?
True
Suppose 3*p + 5*s + 18 = 0, 2*p - 17*s + 12*s - 13 = 0. Are 22/105 and p non-equal?
True
Suppose -25*b + 24*b + 476 = 16*b. Which is smaller: b or 33?
b
Let q(i) = 100*i**2 + 469*i - 5771. Let c be q(12). Is c >= 14258?
False
Let l = -21.11 + 1.11. Let j = 0.18 + -0.08. Let v = j + -0.1. Does v = l?
False
Let z = 434893/8 - 54161. Which is smaller: 202 or z?
z
Suppose -4*p + 9 = 6*u - u, 16 = -4*p. Let q be ((-690)/45)/((-3)/((-171)/2)). Let w = 439 + q. Is w at least as big as u?
False
Suppose 2*y - 4*n = 2, 0 = -2*y - 3*n + 5*n - 4. Suppose -10 - 10 = 5*g. Which is bigger: g or y?
g
Let g(p) = 1588*p**2 - 1582*p**2 + p**3 + 0*p**3 - 2*p + 24. Let k be g(-7). Which is smaller: k or -1?
k
Let l = -28418 + 28241. Which is greater: l or -13?
-13
Suppose 0 = -77*i + 7 - 84. Let u = 8 - 2.8. Let r = u + -35.2. Are r and i equal?
False
Let t be (116/(-12))/((-43)/387). Which is greater: 1122/13 or t?
t
Let y = -6/13 - -49/78. Let a(q) = -2*q - 36. Let c be a(-20). Suppose c*u + 4*i = 96, 2*i - 6*i = -2*u + 30. Is y >= u?
False
Let q be (-237)/2*138/18 - (-32)/64. Is -905 less than q?
False
Let f = -4.992 - -5. Let z = 54.992 + f. Let n = -55 + z. Which is smaller: n or -3?
-3
Let a be 16/80 - 14/(-50). Let m(b) = -2*b**3 - 2*b + 3. Let n be m(0). Suppose n*u = 6*u + 3*u. Is a less than or equal to u?
False
Let q = -185683/22605 + 1176/137. Let p = 2/55 - q. Let r = -63 + 40. Which is bigger: r or p?
p
Suppose 3*s - 322 = -2*u - 325, -4*u + 4 = -4*s. Which is smaller: s or -113/61?
-113/61
Let n = 119.1 - 119.2. Does -41/44 = n?
False
Let q = -1/2086 + 12527/22946. Let b = 1.26 - 1.05. Which is greater: b or q?
q
Let h = -1.499 - -2.499. Suppose f + 2*n + 15 = 0, -2*f - 17 - 4 = n. Let s = f + 47/5. Is s at most as big as h?
True
Let x = 642 - 942. Let f = x - -300.123. Let b = f - 0.023. Is b at least as big as 18?
False
Let q = 657 - 739.9. Let t = q - -83.9. Is t equal to -65.5?
False
Let h = -324 + 335. Let r be -3 + (48/6 - h). Let k(m) = m**3 - 4*m**2 - 4*m + 3. Let p be k(4). Which is greater: r or p?
r
Let k = -328 + 328. Suppose k*u - 266 = 2*o - u, 5*o + 695 = -5*u. Is -135 >= o?
True
Let l(j) = -j + 2. Let s be l(0). Suppose 0 = -q + s*q - 1. Let i be -8*(-26)/(-7059)*(-1 - (-20)/32). Which is smaller: q or i?
i
Let q = 0 - -1. Let b = -193344 + 7153725/37. Are q and b unequal?
True
Let o = -1220069153/35 - -34855330. Let q = 3789 + o. Which is bigger: q or 0?
q
Let d = 315709 - 315617. Let v(n) = 12*n**3 - 4*n + 3. Let i be v(2). Is i at least d?
False
Let g be (4/16)/(6 + 107965/(-17996)). Which is greater: g or 411