pose -23*l = 4*l. Suppose 9*y - 19 - 8 = l. Let i(v) = 6*v. Let c be i(1). Is c less than y?
False
Suppose -34*q + 7*q + 9975 = -8*q. Which is smaller: 527 or q?
q
Let x = -4417 + 4419. Which is smaller: x or 720?
x
Let b be (4/(-1))/(-12)*39/26*248. Is 110 < b?
True
Let n be (17/17)/(2 + 121/(-61)). Suppose 5*w + 2304 = 41*w. Is n at least as big as w?
False
Let c = 1432 - -5752. Which is smaller: c or -1?
-1
Let b = 2085.14 - 2085. Is b at least as big as -32?
True
Let h be 2 + 0*3/9. Suppose 26 = -2*n - 4*a, -5*n + a = h + 19. Let m be ((-2)/2 + n)*153/27. Which is greater: m or -35?
m
Let p = -0.109 - 16.281. Let z = -0.61 + p. Is z at most as big as 3?
True
Let d(q) = 2*q + 30. Let n be d(-13). Let c be (2/n)/(7/14)*3. Let p be 1/4*(1 + 7). Is p equal to c?
False
Suppose -6783 = -6*q - 15*q. Let i = 331 - q. Which is greater: i or 42/5?
42/5
Let y = -119.735 + -0.265. Let j = y - -122. Let s be (-2)/(-1) - (-11)/(-5). Which is greater: j or s?
j
Suppose -56*s - 91 + 315 = 0. Which is greater: s or 102/25?
102/25
Let q = 44352.8 - 44368. Are 128 and q nonequal?
True
Let j be (-153)/(-102)*8/(-12). Is -1263 bigger than j?
False
Let c = -3658 - -3659. Which is bigger: 3/844 or c?
c
Suppose 0 = 11*p - 25*p - 21868. Let b = -310841/199 - p. Which is greater: b or 1?
1
Let i(g) = -g**2 + g + 3. Let u be i(6). Let v = -78649.7 + 78650. Is u at most as big as v?
True
Let u(z) = -2*z**2 - 18*z - 14. Let l be u(-8). Suppose -4*q = -5*i - 122, -64 = -l*q + 6*i - 5*i. Suppose -4*o = -124 - 4. Are o and q equal?
False
Let w(l) = -8*l + 91. Let t(g) = -4*g + 45. Let f(h) = -13*t(h) + 6*w(h). Suppose -4*i = -167*j + 162*j + 54, 44 = 4*j - 4*i. Let s be f(j). Is -1/117 != s?
True
Let i be (2/(-132))/(-25 - (-4 - -4)). Which is smaller: -1 or i?
-1
Suppose -y + 12 = 3*y. Suppose -12 = -4*z, n = -0*z - y*z - 11. Let j = -408 - -389. Which is smaller: j or n?
n
Let j(o) = o**2 + 4*o - 27. Let y be j(-9). Let c be -1 - ((-2)/(-18))/(y/(-171)). Let n be 2/(-5) + 4/10. Are n and c unequal?
True
Let n = -4/3 - -4/21. Let z = 394 - 394.1. Is n equal to z?
False
Let t be 4*(-2 + 60/16). Let p(z) = -z**2 - 4*z + 17. Let y be p(t). Do -0.1 and y have different values?
True
Let t = 1.96 - 2. Let l(k) = -k**3 + 4*k + 4. Let d be l(-2). Let a be (-4)/(-18)*(10/(-4) + d). Is t equal to a?
False
Let w be (-12746)/638 - (6/(-32) + (-3528)/(-12672)). Is -20 equal to w?
False
Let w be ((-522)/126 + -9)*(-2)/(-104). Which is greater: w or -1?
w
Let u(m) = 7*m - 200. Let y be u(23). Let o be (-1 + (-39)/9)/(13/y). Let g be (-161)/(-10) + (-2)/(-5). Is g at least o?
True
Let a = -6/55 + -68/385. Let o = -23017 + 22962. Which is bigger: o or a?
a
Let y be (-5 - 30/(-5))/((-1)/(-50)). Let l = 143 - y. Suppose l = -3*k + 24. Which is bigger: k or -24?
k
Let f be (((-189)/12)/7)/3 + 49774/58056. Is -1 bigger than f?
False
Let s be 16/(-12)*6/4. Suppose 46*u - 122 = 42*u - 2*p, -u - 5*p + 35 = 0. Let h be (u - 32)/(s/3). Which is smaller: h or 2?
2
Let c = -39 + 23. Let j(k) = 11*k**3 + 16*k**2 + 0 - 2 - 10*k**3. Let y be j(c). Are -1 and y non-equal?
True
Let v be (-7 + 203/28)*770. Let m = 195 - v. Which is bigger: m or 3?
3
Suppose 5*v + 8 = -4*z + 63, z = 5. Suppose 3*w - 18 = 2*p, 0 = -4*w + 8*w - 4*p - 28. Which is smaller: v or w?
w
Let p = -15819 + 15818.1. Is p != 158?
True
Suppose 4*h = -2*m + 138, -3*h + 2*m = 3148 - 3276. Let u(f) = 2*f**2 + 3*f - 6. Let r be u(4). Does r = h?
True
Let a = -115 + 47. Let l = a - -67.953. Let r = -0.047 - l. Is r at most -25?
False
Let m = -5.98 - 0.02. Let c = 240 - 223.8. Let g = c - 17.2. Which is smaller: m or g?
m
Let j = 6.93 - 12.43. Which is smaller: j or -16?
-16
Let b(u) = 7*u**3 - u. Let t be b(-1). Let c(a) = -2*a**2 + 2*a + 15. Let l be c(t). Let q = l + 66. Is q greater than or equal to -6?
True
Let m = -214 + 214.0774. Let n = 0.0674 - m. Let u = -3 + 4. Is u greater than n?
True
Suppose 4*k - 34 = k - 4*g, 0 = 2*k + 5*g - 32. Suppose 4*r + 8 = 4*l, -3*r + 2*r - k = l. Let o be 104/(-18) - (518/63 + -8). Which is bigger: r or o?
r
Let r = -4785.99498 - -4786. Which is smaller: -1/2 or r?
-1/2
Let b = -3542 - -4331. Is b at most 788?
False
Let m(z) = 29*z**2 + 1399*z - 87. Let d be m(-50). Is 2464 smaller than d?
False
Let a = -8 + 24. Suppose k + 41 = -5*s, 9 = -s + 4*k - a. Let n be (-6)/(-12) - s/(-14). Which is greater: 0 or n?
0
Suppose 0 = -11*f + 479 - 72. Let y be f/74 + (-2)/4. Let k = 327/830 - -1/166. Does k = y?
False
Let k = -14 + 101. Let f = k - 153. Let n = f + 65. Which is greater: 0.1 or n?
0.1
Let a(b) = b - 5. Let o be a(6). Let h(p) = -8*p**2 - 1018*p + 2035. Let x be h(2). Which is greater: o or x?
o
Let r(p) = -p**3 + 10*p**2 + 26*p - 5. Let c be r(12). Suppose c*o = 21*o - 44. Which is greater: o or 6?
o
Let h be (9412/(-65))/((-2)/5). Which is smaller: h or 1090/3?
h
Suppose 2*o - 7*o = 3*s - 2715, -o + 530 = -2*s. Suppose -15*z = 21*z + o. Which is greater: -18 or z?
z
Let i be 4/7 - (-1828)/(-14)*160/(-64). Is 327 > i?
False
Let r be (-6386)/515*(0 + 7 - 2). Is -22 bigger than r?
True
Let o be ((-12)/(-15))/(4/70). Suppose 5*b = 3*b + o. Which is bigger: 5 or b?
b
Let c = 80.559 - 45.479. Which is bigger: 1/2 or c?
c
Let h be (24/99)/((-7)/28 - 0/11). Which is greater: h or -2?
h
Let f = -2.61 + 23.61. Let p = 43 - f. Is -2 at least as big as p?
False
Suppose -74 = -2*a - 3*a + 3*y, -3*y + 43 = 4*a. Let i be (1700/(-75) - -26)*42/11. Which is smaller: a or i?
i
Let p = -304 + 628. Let s = p + -324.04. Which is smaller: -1/2 or s?
-1/2
Suppose 0 = -56531*h + 56548*h + 4250. Is -266 != h?
True
Let v(m) be the third derivative of m**5/60 - m**4/3 + 5*m**3/6 - 23*m**2. Let p be v(4). Let q be (-1)/11*(-33)/p. Which is bigger: q or -1?
q
Let j = -317251694401497/71438 - -4440937517. Let s = 3/3106 - j. Does s = 0?
False
Let r = 118.1 - 117. Let f = r + -3.1. Which is smaller: f or 7?
f
Let n = -8876 - -8877. Which is greater: -1898 or n?
n
Let a(f) = 13*f**2 - 1782*f + 130. Let c be a(137). Which is smaller: -190/27 or c?
-190/27
Let n = -1184 - -817. Let l = 372 + n. Let w = -8 + 13. Is l not equal to w?
False
Let g(o) = -27*o + 1. Let y be g(1). Let j = 489 + -486. Which is bigger: y or j?
j
Let d be (-2)/(-3) + (-94)/(-3). Suppose 5*p = -3 - d. Suppose -35 = -7*j - 56. Which is smaller: p or j?
p
Let i = -2/485 + 996/6305. Suppose 0 = 2*h + h. Is i >= h?
True
Let r = 133.7 - -7.3. Let a = r - 142. Which is smaller: 0.058 or a?
a
Suppose -34*n + 10426 = -20616. Suppose -4*k - 1342 = -5*c, -441 - n = -5*c - 2*k. Is c greater than 270?
False
Let i be (-1)/(-3)*47 + -4. Suppose -2*p + 33 = -o + 5, -4*p - 2*o = -48. Is i bigger than p?
False
Let g = 28204 + -96626905/3426. Is g greater than or equal to 1?
False
Let x = -731/2 + 359. Let a = x - -5. Suppose -2620*j - 930 = -2155*j. Is j greater than a?
False
Let b(r) be the second derivative of -r**4/12 - 4*r**3/3 - 7*r**2/2 + 171*r. Let n be b(-7). Which is smaller: -1/308 or n?
-1/308
Let c = 16530 + -16532.4429. Do -1 and c have the same value?
False
Let c be 2141347/(-248) - ((-30)/(-12) - 4). Let t = c - -8633. Let b = t + -16643/744. Which is greater: b or -23?
b
Let i = -1718 - -2439. Let d = 740 - i. Which is smaller: d or -17?
-17
Let j = -2014.8 + 2015. Let y be 663/1955 + (-6)/10. Which is bigger: y or j?
j
Let l(x) = 324*x - 6192. Let a be l(14). Is a <= -1656?
True
Let f be (-1)/(4/(-31*4)). Let h = -29148 - -29149. Which is greater: f or h?
f
Suppose 27 = -2*d + 5*j, 2*d = 6*d + j - 1. Let w be ((-6)/2420*2)/(459/(-306)). Which is smaller: w or d?
d
Let g be -6 + 3 + 26 + -23. Which is bigger: g or 11/31?
11/31
Suppose -83*p - 7722 = -100*p + 22555. Which is smaller: 1779 or p?
1779
Let w(z) = 40*z - 2865. Let p be w(72). Is p smaller than 250/17?
False
Suppose -6*s - 411 - 1533 = 0. Let a = 1760 - 2084. Is s smaller than a?
False
Suppose 5*w - 3*w = -4*k - 12, -k = -4*w + 12. Suppose 0 = -w*p + 148 + 110. Is p greater than or equal to 130?
False
Let w = 333 + -310. Suppose 2*j + 19 = w. Let k = -2/1177 + 16496/10593. Do k and j have different values?
True
Suppose -4*m - d = 20, -3*m - 5*d - 335 = -303. Is m greater than or equal to -462/125?
False
Let g(r) = 6395*r**3 - 4*r**2 + 25*r - 21. Let u be g(1). Is 6397 smaller than u?
False
