t q be l(-4). Let z(a) = a + 3. Let y be z(q). Let r be 27 - 30 - (-459)/117. Are r and y non-equal?
True
Let h = -1442.8 + 1444. Let d be (-8)/(-6) - 305/240. Is d bigger than h?
False
Let h(v) = -23*v**2 + 3*v - 6. Let y be h(3). Let s = y - -154. Does 1 = s?
False
Let o = 6293 - 6328.264. Let s = -0.264 - o. Which is greater: s or -4/5?
s
Suppose -3*a = 60*r - 64*r + 11, -2*r + 2*a = -8. Which is smaller: 3/2735 or r?
r
Let t be -1 + -5 - 5*(-1)/5. Let x = 2 + t. Let q be (-1)/((2 - 11)/x - 2). Which is smaller: q or 1?
q
Let r be (66/15)/(2040/150 - 12). Let l = -4 + 3. Let y be (-1 - 0)*2*l. Which is smaller: r or y?
y
Let u be -7*320/(-112) - -113. Which is smaller: 149 or u?
u
Suppose -270*s = -284*s + 32634. Which is smaller: -0.1 or s?
-0.1
Let i = 923 - 1007. Is i less than -93?
False
Let a be (3 + (-140)/30)*6/94. Which is smaller: a or 1?
a
Suppose 540*z - 523*z = 120054. Which is bigger: 7061 or z?
z
Let n = -246 + 265. Suppose 635 = c - 2*m, -n*m - 1270 = -2*c - 17*m. Does c = 635?
True
Let g = 176 - 175. Let f be 13 + g + 0/(1 - 14). Is -4 bigger than f?
False
Let a = -51991786551/275 + 189064190. Let d = a - 3148. Which is smaller: d or 1?
d
Let b = 0.003 - -1.997. Let x = b - -13. Let g = x - 15. Is 0.11 <= g?
False
Suppose -1716579 = 276*z + 133*z - 379149. Which is greater: z or -3268?
-3268
Let g = -16 + 24. Suppose r + 2 = -3*a + 24, g = -2*a + 5*r. Suppose 2*b - 5*b = -4*q + 19, b - 3 = -q. Is b != a?
True
Suppose 1492412 = -523*f + 113*f - 1228348. Is -6637 != f?
True
Let y = -6193.4 + 6193.4. Let x = -58 - -39. Is y greater than x?
True
Let k = 5.744 - -260.156. Let z = k - 266. Which is greater: z or -18?
z
Let t = -33 - -32. Let g be (-1204)/(-200) + -9 + 1 + 2. Which is bigger: g or t?
g
Let u be (-14)/623*2/6. Let j(g) = -671*g - 1. Let o be j(0). Is u smaller than o?
False
Let w = 7.98 - 8. Let b(r) = 3*r**2 + 11*r + 2. Let u be b(-5). Suppose -2*m = -3*j + 13 - 32, -m + u = -4*j. Which is bigger: w or j?
w
Let u = -3.658 + 3.6. Let m = 0.2 + -0.142. Let h = m + u. Which is greater: h or -16?
h
Let t = -75392/15 + 5026. Is t greater than -0.0482?
False
Let z(n) = -2*n**2 + 40*n + 1602. Let m be z(40). Let j = -0.3 + 0. Let u = 0.4 + j. Which is smaller: u or m?
u
Let x(y) = y**3 - 36*y**2 + 912. Let d be x(35). Is d greater than -307?
False
Suppose -24*h + 20 + 388 = 0. Let v = 11 - 19. Let s be (v/12)/(3 - 5). Which is bigger: s or h?
h
Let b(n) = -6*n + 234. Let g be b(36). Suppose -14 = j + g. Is -32 at least j?
True
Let m = 9316 + -10160. Is m at least -846?
True
Let n be ((-1148)/(-21) - 8)/(8 + -7). Which is greater: 46 or n?
n
Let y(u) = 43*u + 136. Let q be y(11). Let z = 608 - q. Is z != 5/26?
True
Let i = 1037/600 - -1/200. Let t = 2/5 - i. Let l = -31 + 30. Which is greater: l or t?
l
Let t = 2.91 - 2.9. Let h = -9.226 + -0.074. Let j = 12.3 + h. Which is bigger: t or j?
j
Suppose -58*a + 11365 + 20187 = 0. Is a at least 0.2?
True
Suppose 0 = -1470*k + 1468*k - 936. Let t = k + 468. Is 12/53 > t?
True
Suppose 0 = 60*p - 65*p + 15. Let x be (-12)/(4 + 0) - (p + -5). Which is greater: 1/205 or x?
1/205
Let b = 7846 - 7718. Is b greater than or equal to 1?
True
Let f = -36007 + 1332355/37. Which is greater: 4 or f?
4
Let i(v) = 2*v**2 - v - 3. Let s be i(4). Suppose 4*g - 257*o = -260*o + 30, 21 = 5*g + o. Suppose s*r - 22*r + g = 0. Which is greater: r or -1.3?
r
Let a = -5639 - -1342093/238. Let w = -18975/119 - a. Is w bigger than -159?
False
Let x = -614.98 + 620. Let u = 7.02 - x. Which is smaller: u or -19?
-19
Let i(b) = 5*b - 56. Let n be i(12). Let t be (6/24)/((-11)/n + 3). Let s be (-35)/(-33) - (2 - t). Is -1 < s?
True
Let q(d) = d**2 + 46*d + 481. Let x be q(-27). Which is smaller: -35 or x?
-35
Let a be (9/2)/((-12)/48). Let p be 5/(-100)*-5*16. Suppose -5*v + 2*q = -2*v - 4, p*v + 2 = -q. Which is smaller: a or v?
a
Let s = 1186 + -1658. Let d = -251/449 + -1683987/3592. Let t = s - d. Which is bigger: -2 or t?
-2
Let c = -0.1428 - -0.3428. Is c != 16/29?
True
Suppose 65*n - 97077 = -64570 + 142668. Is n > 2697?
False
Let v(y) = -y + 5. Let z be v(8). Let j be (54/16 - 2) + -3. Are z and j equal?
False
Let c = -569 + 572. Suppose -2*k - 1033 = 2*k + 5*i, -k + c*i - 237 = 0. Is k not equal to -252?
False
Let x = -25 - -54. Let t = 157 + -158. Let d = x - t. Which is bigger: d or -1?
d
Let z(m) = m**2 - 22*m + 379. Let t be z(18). Is t greater than 615/2?
False
Suppose 0 = -4*k - 5*z + 32, 5*z - z = -5*k + 31. Let r be (9/(-2))/(k/(-8)). Suppose 5*o - 71 = g, 412*o = 5*g + 413*o - 87. Which is greater: r or g?
g
Let a = 592/11 - 8878/165. Is 8 != a?
True
Suppose -18*m = -6 - 30. Suppose 323 = -5*q - 2*d, m*q + 0*d = 4*d - 110. Let s = 150 - 212. Is q smaller than s?
True
Let n(x) = -x**2 - 5. Let s(l) = l**2 - 9*l - 5. Let m be s(10). Let i be n(m). Let c be (-1)/(1*(-2)/(-62)). Which is bigger: i or c?
i
Suppose 5*m = 2*x - 17, 2*m - 64*x + 65*x - 4 = 0. Which is bigger: m or -262/135?
m
Suppose 2*s + 28 = 6*s. Let p(l) = -l**2 - 37*l + 2. Let t be p(0). Suppose y + t = s. Which is greater: y or 2?
y
Let r be 0 - (2 + 9/(-6)). Let q be 33/15 + 16885/(-7700). Does q = r?
False
Let b(c) = -c**2 - 2*c**3 + 5 + 65*c - 10 - 58*c. Let q be b(2). Is -9 greater than or equal to q?
True
Let h = -150 + 162. Let k be 4 + 9*(-8)/12. Which is greater: h or k?
h
Let p = 7487 - 7484. Which is smaller: p or -9?
-9
Let n be (238/21)/((-2)/(-12)). Let z be (-112035)/(-1650) + (-1)/(-10). Is n greater than or equal to z?
True
Let k = -18 + 13. Let f = k + 5. Let g be 47/(-21) - 904/(-339). Which is greater: g or f?
g
Let n be (18 - (32 - 17) - -9)*(-2)/(-3). Let j = 58 - 90. Is n >= j?
True
Let c(o) = -25*o - 1. Let y be c(-2). Let v(j) = -939*j - 13098. Let s be v(-14). Is y > s?
True
Let h = 323.7 - 323.65. Let y = 10 + -21. Which is smaller: h or y?
y
Let b be 24/(-378)*(-51)/34. Do b and -1/32 have different values?
True
Let k = -2990 - -2797. Let z = -4 + 3. Is z > k?
True
Let o(g) = 36*g + 19. Let b be o(-6). Let y = b - -281. Let l = y - 118. Is -35 <= l?
True
Let n be (31/(-2))/((-2)/(-4)). Let r(p) = 23*p - 935. Let y be r(0). Let q be (3/(-6))/(-3 - y/310). Is q at most n?
True
Suppose 9*v = 32 + 40. Suppose v*g = 14*g + 1482. Which is smaller: -246 or g?
g
Let w(c) = -c**2 - 13*c - 31. Suppose -5*i - 9*i - 140 = 0. Let q = i + 0. Let f be w(q). Which is greater: 0 or f?
0
Let i(u) = -2 + 20 - 3 - 1 + u. Let y be i(5). Suppose 0 = 24*x - y*x - 90. Is x greater than 19?
False
Let r = 1010858/559 + -5425/3. Is 0 > r?
True
Let r(k) = 72*k + 1010. Let b be r(-14). Is 210 equal to b?
False
Let x(j) = 5*j + 164. Let f be x(-32). Suppose 4*z + 16 = f*g, -42*z = g - 47*z - 4. Suppose -3*d = 5*p + 4, 5*d + 2*p = -p + 20. Is g < d?
True
Let c be 2 + 0 + 2 - 1. Let g = c + -13. Let f = 4 + -14. Is f > g?
False
Let j = 0.155 - -11.545. Let t = j + -11.8. Is -1.57 at most as big as t?
True
Let q be ((-200)/(-30) - 7)*8 - 2/(-3). Which is smaller: -180/59 or q?
-180/59
Let j(y) = -y**3 - 16*y**2 - 22*y + 65. Let u be j(-14). Which is bigger: u or -107?
u
Suppose 8*i = -5*i + 130. Suppose 25 = -2*o + 3*d + i, 2*d - 10 = o. Which is bigger: 1/16 or o?
1/16
Let q be (-7)/28 + (-102)/(-8)*-1. Let r = 73 + q. Let b be (-5 + 0)*r/36. Which is smaller: -7 or b?
b
Suppose -5*s + 83 + 22 = 5*i, 15 = 3*s. Suppose -i = b - 9. Are -2 and b unequal?
True
Let a = -1107.6 + 1108.4. Is 1687 smaller than a?
False
Let t(r) = r**3 + 7*r**2 + 57*r + 399. Let l be t(-7). Which is bigger: -24/643 or l?
l
Suppose 4*u + c - 4 = 0, 3*c = 2*u + 2*u + 12. Suppose 2*l + 11*l - 5*l = u. Let p be ((-4)/4)/(26 + 3). Is p > l?
False
Let t = -331 - -2506. Let g be ((-2)/8)/(t/12). Which is smaller: 0 or g?
g
Let z = -1731/143 + 123/11. Let n(x) be the second derivative of -x**3/3 - 11*x**2 + 5*x. Let w be n(-10). Which is greater: w or z?
z
Let p = 526 + -526.04. Which is bigger: -407 or p?
p
Suppose c - 146 = -3*t - 46, -3*c = -5*t + 176. Which is greater: t or 32?
t
Let d be 537/(-1)*342/(-2565). Which is greater: 73 or d?
73
Let l = 395 + -401.63. Let z = l + 64.33. Let y = -58 + z. Which is bigger: -9 or y?
y
Suppose -3*c = -3*u - 450, -8*u + 747 = 5*c - 12*u. Which is bigger: 7 or c?
c
Let x = -358.6 - -343. Let q = x - -14.6. Which is sm