Let l be (3 - 5*6)/(-3 + 2). Let d = l + -27. Is -8/21 not equal to d?
True
Let i = -0.01216 + -0.28784. Which is smaller: -434 or i?
-434
Let y be 497/(-14) - -7 - (2 + -8). Which is greater: y or -58?
y
Suppose -2*q + 7199 = -c, 50537 = -7*c - 41*q + 37*q. Is -7217 greater than c?
False
Let i = 3305/6 - 559. Let t(p) = 60*p**2 + 269*p - 164. Let h be t(-5). Which is greater: h or i?
i
Suppose -27*s = 32*s + 115089 + 1790. Is -1982 equal to s?
False
Let b be ((-2)/(-4))/(22/(-4)). Suppose 1130 + 312 = -7*a. Let l = -205 - a. Is l less than or equal to b?
False
Let w be 42 - (-3 - -4)*9. Let m be w + -4 + 3 + 10. Do 42 and m have different values?
False
Let w = 8004 - 8112. Is w greater than or equal to 0.09?
False
Let n = 0 + -1. Let d = -1.1197 + 0.3197. Let h = n - d. Is h bigger than -18?
True
Let u be ((-765)/21 - 3)/((-30)/(-210)). Which is smaller: -285 or u?
-285
Let q be (14/(-4) + 3)*26298/3. Let r be q/441 + 4 - -6. Is r at most as big as 0?
False
Suppose -5*l - 5 + 0 = 0. Let w = -293908890 + 42322711969/144. Let t = w - -1168. Which is bigger: l or t?
t
Let l = 67801/7076 + -1027/122. Let h = -2/1899 - -22846/55071. Let n = l - h. Is 3 > n?
True
Let i be 6 - 11 - (-8 - -1). Suppose 9 = -7*h + 10*h - 5*d, -3 = -h + i*d. Does h = -15?
False
Suppose -27*m - 39*m + 132 = 0. Are m and 155/82 non-equal?
True
Let o = 4624 - 4645. Is o > -22?
True
Let a = -46139 + 35339. Is a at least as big as -10798?
False
Let s = -2.56 - -1.6. Let c = 0.04 - s. Let t = -13530.3 - -13530. Which is greater: c or t?
c
Let q be (-600)/(-325) - ((-2)/13)/1. Suppose 0 = 5*t - q*t. Which is greater: t or -2/703?
t
Suppose 0 = 3*q + 5*r - 603 + 161, 4*r - 600 = -4*q. Let o = q - 133. Suppose 0 = -b + a - 3*a, 5*a = -5*b + 5. Which is smaller: o or b?
b
Suppose -2460 = -36862*d + 36847*d. Which is smaller: 117 or d?
117
Let j = -7693.998 + 7694. Which is greater: j or 2?
2
Let s(o) = -8*o - 19. Let k be s(-3). Let p(v) = -v**2 + v + 22. Let t be p(k). Let n(c) = -5*c - 50. Let u be n(-10). Do u and t have the same value?
False
Suppose -3*f + 3*z = 2*f + 25, 59 = -3*f - 7*z. Let j = 11.8 + -6.9. Let m = j - 5. Which is bigger: f or m?
m
Let j be (-13 - (16 + -29))*(0 + 1). Does j = -11/259?
False
Let w = -1415.6697 + 11.4797. Let r = 1412 + w. Let s = r - 7.8. Is 2 greater than s?
True
Let n = 12104/555 + -109/5. Let t be 4/(15/(45/(-12))). Is t greater than or equal to n?
False
Let p be (-51)/(-3) - (619 - 396). Let f(o) = 4*o**3 + 2*o**2 - 5*o - 2. Let c be f(-4). Is p < c?
False
Suppose -1969 = -2*j - 0*j + p, 988 = j + 3*p. Is -0.1 <= j?
True
Let v(r) be the third derivative of r**5/30 - 11*r**4/24 + 5*r**3/2 + 2*r**2 + 36*r. Let s be v(3). Are -2/253 and s equal?
False
Let n(c) = 22*c + 127. Let t be n(-6). Let f be -8 + (-3 - 15/t)/1. Which is smaller: f or -73/8?
-73/8
Let q = -158077261342/701550645 - -72/2751179. Let g = q - -3509/15. Let l = g + -2/255. Is l > 8?
True
Let q(c) = 0*c + 3*c**3 - 2 - 4*c**3 - c - 7 - 8*c**2. Let w be q(-8). Let f(u) = u**3 + 13*u**2 - u - 15. Let h be f(-13). Is w less than h?
False
Let m be 520/576 - 1 - (-2)/(-16). Let r be (3 - (-250)/(-88))*3/(-7). Is m < r?
True
Suppose 0 = -4*h - 5*f + 36, 15*f + 16 = h + 18*f. Suppose -3*r = -3*k + 120, -133 = -4*k - h*r + 3. Is k bigger than 35?
True
Let u(z) = -42*z + 12. Let n be u(-6). Suppose -141*g + 14507 + 11556 = -11161. Is n bigger than g?
False
Let h be (5 - 9) + (3/(-8) - (-10825)/2200). Which is smaller: h or 112?
h
Let j = -2257 - -2286. Suppose -2*y = 5*b + 6, -y + 6*y + 5*b = 0. Suppose -75 = -y*o - 3*u - 7, 0 = -2*o - 4*u + 70. Which is smaller: j or o?
j
Let x = -1928921/134 - -14395. Which is greater: -0.2 or x?
x
Let i = 10797 + -10268. Let k(x) = 60*x**2 + 5*x + 3. Let a be k(-3). Which is smaller: i or a?
a
Let b be -572 + (-38)/4 + (-12)/(-56)*7. Which is greater: b or -582?
b
Let n = 505.99 + -6.99. Let y = 722 - n. Which is greater: -2/7 or y?
y
Let w(h) = h**2 - 214*h + 1451. Let i be w(7). Which is smaller: i or 74/45?
74/45
Suppose 1146*h - 1138*h = -8. Are h and -24/13 equal?
False
Let n be (-627)/76*16/24. Is -0.2 at most as big as n?
False
Let i = 521.22 - 11.22. Let w = i - 486. Is -2 at least w?
False
Let s = -433/2224 + 1/139. Let a be 2 + (-3)/144*119. Let b = s + a. Which is bigger: b or 2?
2
Let g be 2*(-2 - 7/(-2)). Suppose -f = b + g, -2*b + 5*f + 18 = -4*b. Let x = 41 - 44. Which is bigger: b or x?
b
Let m = -8 + -43. Let q be (-3)/m*2 + 1692/68. Suppose -22*h - 3 = -q*h. Which is smaller: -1/12 or h?
-1/12
Let w(h) = h**2 - 36*h + 102. Let x be w(41). Suppose k - 202 + 32 = -5*j, -j = -2*k + x. Which is bigger: k or 153?
k
Let s = -17 + -13. Let v(c) = -c**3 + 60*c**2 + 72*c + 3214. Let a be v(62). Which is bigger: s or a?
a
Let q(w) = 2 + w**2 + w**2 - 3 - 5 + 3*w. Let v be q(-3). Suppose v*z - 1 = -4*j, 0*z - j - 12 = -z. Which is bigger: z or 9?
9
Let q = -12068 - -12071.8. Let h = -7 + 6. Which is bigger: h or q?
q
Let n be (-33)/132*32/(-21444). Do n and -1 have different values?
True
Let y(s) = 4*s + 30. Let m be y(-4). Suppose -8 = 3*a - 35. Is a not equal to m?
True
Suppose -55*f = -52*f + 6. Let o be (-7)/((-77)/f) - 5166/(-99). Are o and 51 equal?
False
Suppose -3*o - 3*b - 753 = 0, -85*b + 81*b = 3*o + 748. Does o = -2059/8?
False
Let p(f) = f**3 + 16*f**2 + 92*f + 1156. Let x be p(-15). Which is smaller: x or 6/4537?
6/4537
Suppose 37008 = -909*y + 957*y. Is y less than or equal to 776?
True
Suppose 0 = -2*l - 61 - 85. Is -69 less than or equal to l?
False
Let w(l) = l**2 - 189*l - 722. Let m be w(-4). Which is bigger: m or -16?
m
Let a = 511/3642 - -16/607. Is 13/2 greater than or equal to a?
True
Suppose -1702 = 11*u + 5613. Is -664 greater than or equal to u?
True
Let a = -392 + 262. Let x = -143 - a. Let n be (-1 - -62) + x + 13. Is n != 61?
False
Let i = -752 - -752. Is i equal to -1/990?
False
Let j be (-1515)/(-5) - 0/(-2). Let h = -143 + j. Let s be ((-4)/(-10))/(h/(-50)). Which is bigger: 6 or s?
6
Let m = -14.007 + 14. Let d = m - -0.007. Let i = 5.8 - 6. Which is greater: d or i?
d
Let t = -266994133/85 - -3141180. Let i = -366/5 + t. Is -2 smaller than i?
True
Suppose -41*o - 168 + 742 = 0. Let u be o/(168/9) + (-18)/(-8). Let j be 3/(-9)*(-11 - 0). Is j greater than u?
True
Let j be (-7)/(91/22035) + -15. Is -1712 at least as big as j?
False
Suppose 7*w = w - 384. Let u = w + 82. Let z be 285/u*(-9)/(-45). Is z at least as big as 3?
True
Let a(n) = 4*n**2 + n - 1. Let w be (-3 - -1) + (0 - 4 - -4). Let t be a(w). Let y be (3 + (-76)/24)/t. Is y less than or equal to -1?
False
Let m = -0.47 - -0.37. Let g = 41.056 + 0.944. Which is smaller: g or m?
m
Suppose -5*l + 8 = -27. Suppose -l*d - 25 = -12*d. Let u be d*8/300*-5. Is u at least 0.1?
False
Let s be (2/3)/(2/21). Suppose -3*c + s - 4 = 0. Let j = 43089/7 - 6154. Is c smaller than j?
True
Let z(s) = s - 1. Let w = 5 - 8. Let v be z(w). Suppose 285*f = 289*f - 4*o + 36, 4*o = -f + 16. Is f != v?
False
Let u = 225 - 27. Let o = 200 - u. Do o and -3 have different values?
True
Suppose 0 = -3*y - 3*u - 4908, 0 = 5*y - 3*u + 374 + 7774. Is -1632 at least as big as y?
True
Suppose -42079*d + 50 = -42029*d. Let y = -4 - -2.8. Let n = y - -0.3. Which is smaller: n or d?
n
Let m(x) = x**3 - 6*x**2 + 5*x + 6. Let s be m(5). Let l = -685 - -727. Suppose -s*c + l = c. Is 34/5 at least as big as c?
True
Let n(h) = 101*h - 103. Let i be n(1). Let t = -6 - -9. Suppose t*k = 2*b - 2*k + 30, 3*b = 4*k - 31. Is b less than i?
True
Suppose w + 21 = 4*t, 3*w - 3*t + 26 + 10 = 0. Let x be 7912/(-828) + (-2)/w. Which is greater: x or -9?
-9
Let h be (-29830)/15 + (-145)/(-15) + -10. Which is bigger: h or -1988?
-1988
Let q be (-7 + 5)/((-12)/7). Let n(h) = 24*h + 44. Let w be n(-4). Let l = -52 - w. Is q at least l?
True
Let t = 73 + -12. Suppose -17 = 5*r + 4*s + 250, -r = -3*s + t. Let l = r + 53. Which is smaller: -26/11 or l?
-26/11
Let x be 2/10 - (-105)/(-25). Let j be (x/10)/(410/(-25)). Suppose -14*c + 111 = 97. Is j at most c?
True
Let m be (6/10)/(4/10)*4. Let c(g) = g - 12. Let a be -1*(-12 - 1) + -3. Let t be c(a). Which is bigger: t or m?
m
Let u(y) = y**3 - 10*y**2 + 8*y - 9. Let g be u(9). Let z = 17 + g. Let r be 3/(-1*21) + (-1595)/693. Which is smaller: z or r?
r