 (-3)/12 - 241/(-36). Which is bigger: l or i?
i
Let x = -1002.5 - -1003.5. Let w = 0.14 + 86.86. Is x bigger than w?
False
Let r = -799 + 104666/131. Does r = 1?
False
Let m(y) = -y**3 - 8*y**2 - 6*y - 7. Let d be m(-6). Let a be (-126)/4*(-36)/(-27). Which is bigger: d or a?
a
Let w(o) = 2*o - 7. Let h be w(6). Let d(s) = 3*s**3 - 1. Let p be d(1). Suppose -p*j + 5*f = -28, -2*j - f + 1 = -3. Are j and h equal?
False
Suppose 0 = -4*z + 20, 2*x - 4*x - 13 = -3*z. Which is greater: 21/20 or x?
21/20
Suppose -8*s + 12*s + 8 = 0. Let z = -6 - -8. Let w be z*(-9)/6 - -2. Is w greater than s?
True
Let k(g) = 4*g**2 - g**3 - 5 + 5*g**2 - 8*g + 2*g + 0*g. Let h be k(8). Let c = 2 - -8. Which is smaller: h or c?
c
Suppose 0 = -q - 1 + 8. Suppose -q*t = -5*t. Let m = 0.4 - 0.2. Is t greater than m?
False
Suppose -5*q = -2*w + 2532, -q - w + 0*w = 505. Let d be q/(-1240) - (-38)/(-95). Which is greater: 1 or d?
1
Let c(b) = -b**2 + 9*b - 7. Let i be c(8). Let a(p) = 6*p**3 + 5*p**3 - 10*p**3 - 1 + p + p**3 + p**2. Let s be a(i). Which is smaller: 1 or s?
1
Let d be -1*((-3)/2 + 2). Let x = -7 - -11. Suppose 4*t - 9 = 5*u, -x*u + 3*t - 4 = -3*u. Is d smaller than u?
False
Suppose 29 = 60*b + 89. Suppose y + 7 = -2*d, 2*y + 24 = 3*d + 3. Let k be ((-2)/(-4))/(y/(-6)). Is b at least k?
False
Let b = -274/21 - -40/3. Let i(h) = h**2 + h - 2. Let z be i(3). Let o = z + -10. Is b at most o?
False
Let g(m) = -m**3 + 14*m**2 + 21*m + 4. Let f be g(16). Let o = 854/5 + f. Suppose -6*t = -t. Do o and t have the same value?
False
Let c = -315 + 177. Which is smaller: c or -137?
c
Let l(m) = -15*m + 104. Let f be l(7). Which is smaller: f or -20/11?
-20/11
Let g = 68936 + -7238342/105. Let r = g + 4/21. Which is smaller: 0.08 or r?
r
Let y(i) = -i + 6. Let j be y(6). Let f be (-19 - -13)/(1/(-14)). Let p be (-4)/f*-3*-4. Is p >= j?
False
Let v = 15.848 + -0.048. Let s = 16 - v. Suppose -23 + 26 = -3*k. Which is smaller: s or k?
k
Let o = -0.1 - -0.3. Let x = 0.3 - o. Let d = -163/7 - -1807/77. Are d and x non-equal?
True
Suppose -5*z = -i - 54, i - 4*z = -69 + 20. Let b = 3 - 2. Do i and b have different values?
True
Suppose -30 = -5*t - 3*v, -1 - 1 = -4*t + 2*v. Suppose 0 = m + t*m - 4. Let x = -1/419 - -1265/3352. Is x != m?
True
Let n be 1 - (-2 - 1)/1. Suppose -21 = -n*j - 57. Which is smaller: j or -11?
-11
Let u = -2298 + 2297.8. Which is smaller: 5.82 or u?
u
Let m be 2/24*-3 - (-15)/(-4). Let r be m + (-10)/(-3 + 1). Let k = 381 - 4181/11. Is k < r?
True
Let z be ((-3)/9)/((-33)/(-72)). Let r = z + 18/55. Which is smaller: r or 0.055?
r
Let c = -205 - -39. Let z be 13/39 + c/66. Which is bigger: z or -2?
-2
Let q be 125/(-4) + 3/12. Let g = -27 - q. Suppose 4*j = -g*f - 4, 3*j = 6*f - f + 5. Are 0 and f nonequal?
True
Suppose -68*k - 39278 - 7030 = 0. Do k and -681 have different values?
False
Let a(c) = -20*c - 159. Let d be a(-8). Do -2/567 and d have the same value?
False
Let w = -22345/1334 + 1/2668. Let b = -17 - w. Let m = -2 - -2. Does b = m?
False
Let t = 163 + -303/2. Let s be (-595)/(-45) - (-4)/(-18). Which is bigger: t or s?
s
Suppose 4*y + 15 = r, -2*r + 5 = -5*y - 13. Let z be (-4)/54 + (-1 - r)/(-3). Do z and -1 have the same value?
False
Suppose j = -n + 7, 3*n + 0*n - 3*j = 3. Suppose -n = 2*g - i, -2*i + 16 = -g + 2*i. Let t be 54/90*(g + -15). Which is smaller: t or -8?
t
Let s = 35.3 - -4.7. Do s and 3/7 have different values?
True
Let g = 0.19 - 0.39. Which is smaller: g or -64?
-64
Let u(x) = x**3 - 3*x**2 - 7*x + 6. Let i be u(4). Let m be (2 + 2 + -5)*3. Let o = m + 5. Is i bigger than o?
False
Suppose 4*j - 5*j + 210 = -4*w, -w + 2*j - 49 = 0. Let c(t) = -6*t**3 - 2*t**2 + 3*t - 2. Let b be c(2). Which is greater: b or w?
b
Let z = 512 - 515. Are -0.27 and z non-equal?
True
Suppose -s = 2*s - 6. Suppose -s*h = 19 - 21. Which is greater: h or 7?
7
Suppose -4*u - 327 = -5*o + 998, 0 = -4*o + 5*u + 1051. Let k = 6724/25 - o. Let x be (3 + -1 - 2)/2. Which is smaller: x or k?
k
Let l be 2 + 1 - 2140/716. Let q = 137/3759 + l. Let t = 68/105 - q. Which is bigger: 1 or t?
1
Suppose 0*q - 3*i - 34 = -4*q, 4*q = -6*i + 16. Is q greater than or equal to 83/10?
False
Let z be ((-120)/(-35))/(2/7). Is 178/15 greater than or equal to z?
False
Let d = -160 + 1118/7. Let z = -14 - -14. Which is smaller: z or d?
d
Let m(u) = -18*u**3 - 3*u**2 + 14*u + 53. Let n be m(-3). Do 470 and n have different values?
False
Let b = -94 + 95. Let a = -18/5 - -4. Which is smaller: b or a?
a
Let s(c) = 3*c**2 + 19*c - 41. Let z(n) = n**2 + 6*n - 14. Let h(u) = 3*s(u) - 8*z(u). Let i be h(-6). Is i less than -29?
False
Let o(j) = j**2 - 5*j - 4. Let l be o(6). Suppose -28 = 6*r - l*r. Is -6 at most as big as r?
False
Let u be 0/1 + -8 - (352 - 358). Is u <= 272?
True
Let w = 14.99 + -14.66. Which is smaller: 14 or w?
w
Let m = -0.1 + 2.1. Let u = 1.92 + -2.32. Which is greater: u or m?
m
Suppose a = -4*o + 19, 0 = 2*o + o - 15. Which is greater: 51 or a?
51
Let f = -16428/17 + 967. Is 1 equal to f?
False
Let o = 22.952 + 0.048. Let r = 26 - o. Which is smaller: r or -0.6?
-0.6
Let d be 8/(-582)*4/(-8). Which is smaller: d or 0?
0
Suppose 3*z = 5*s - 11, z - 7 = -s - 0*z. Let h be (2/(-38))/(3/36*s). Which is smaller: 0 or h?
h
Let c = 43.02 - 1.02. Let x = c + -43. Is x > 21?
False
Let m(i) = -i**2 + 14*i - 23. Let k be m(12). Let q(w) = 9*w - 3. Let a be q(k). Which is greater: 4 or a?
a
Let o be (4/(-70))/(6/(-20)). Let g(d) = d**2 + 12*d + 12. Let m be g(-10). Let n be (2/m)/(((-15)/(-12))/(-5)). Does o = n?
False
Let i = -751 + 791.1. Let r = 41 - i. Which is smaller: r or 0.1?
0.1
Let y be (((-21)/10)/(-7))/(-3 - -9). Which is bigger: y or 2/13?
2/13
Let u(b) = b - 3. Let k be u(-14). Let f = k - -31. Let w be 13/(2 + (-1 - 0)). Are f and w equal?
False
Let q(x) = x**3 - 5*x**2 - 13*x - 13. Let o be q(-3). Do o and -48 have different values?
True
Suppose 2*h - 10 + 4 = 0. Suppose -4*n = -m + 17 + 4, -3*n - 12 = h*m. Which is smaller: m or 2/25?
2/25
Let c = 0 - -6. Suppose 34 = 4*j + c. Do 7 and j have the same value?
True
Let s = -42 - -53. Let t(l) = l**3 - l**2 - 3*l + 2. Let r be t(3). Is s at least r?
True
Let f = -4 - -9. Suppose -v + 3*c - 30 = -2*v, -f*c = v - 40. Is v at least as big as 15?
True
Let n be 16/6*39/26. Suppose -n + 5 = j. Which is smaller: 28 or j?
j
Let i be (3/(-36))/((-2)/(-8)). Is 3/118 > i?
True
Let p = 254/5 - 2236/45. Let s = 10 + -25. Let l = s + 16. Is p at most l?
False
Let k = 655/138 - 29/6. Let t = -36/115 + k. Which is smaller: t or 10?
t
Let u be (-53)/(-77) - (-19)/(-133). Is 1 at least as big as u?
True
Let x = 0.628 - 0.528. Which is smaller: x or 1.86?
x
Let o be ((-30)/(-4))/(-5) - (-414)/306. Is -1 < o?
True
Suppose 23*v - v = 16 + 6. Suppose 2*y - 101 = 13. Let w be 9/3*2/y. Is v > w?
True
Let c = 745/9 - 43949/531. Suppose -3*l + 6 = 3. Is l at least c?
True
Let u be (1/2)/(14/392). Suppose -24 = 2*h + u. Which is greater: h or -18?
-18
Let v = -31653 - -31654. Let w = 7 - 7.8. Which is bigger: v or w?
v
Suppose 3*l = 2*l + 16. Let v = l + -11. Suppose v*i = 2*i - 12. Is i > -4?
False
Let k be 58/30 - (-20)/300. Do k and 2 have the same value?
True
Let h = -0.58 + -430.42. Is -2/7 >= h?
True
Let r(z) = -z**3 - 8*z**2 + 6*z - 18. Let m be r(-9). Let v be (-33)/m + 2/3. Let j be (-1)/(4 - 3/v). Which is greater: -1/4 or j?
j
Suppose -7*y - 45 = -2*y. Let l = -5 - y. Suppose -2*u - 2 = 4*x + 14, x = -4*u - l. Which is smaller: 2/7 or u?
u
Let x = -5249 - -3634. Let j = 895 + x. Let o = j - -15116/21. Which is greater: 0 or o?
0
Let z(i) = 6*i. Let b be z(-4). Let l = b - -24. Suppose l*m = -2*m + 24. Is m smaller than 12?
False
Let r be (-21)/56*(-740)/6. Let m(j) = -8*j + 6. Let n be m(-5). Let c = r - n. Is 0.3 bigger than c?
True
Let x = 15 - 36. Let z be (-144)/(-357) - (-6)/x. Which is bigger: 0 or z?
z
Suppose 0 = -5*z + 3*z + 242. Let l be 10/(-30) + z/3. Suppose -l = -5*o - 0*o. Which is bigger: o or 6?
o
Let d be 2 + -1 + 138/(-134). Suppose -102*l + 95*l = 0. Is d != l?
True
Let g = 0.211 + -7.511. Which is bigger: g or -1/3?
-1/3
Suppose -3*v - 184 = 5*m, -m = -5*v - 4*m - 328. Is v at least as big as -6/5?
False
Let o = 366 - 423. Is o greater than -57?
False
Suppose -3*j - 12 = 0, 0*l + 2*l - 5*j 