- 7. Let q be v(w). Is q > -7?
False
Let m be 353076/132 - (8 + -1). Let l = -2670 + m. Is l < -0.2?
True
Suppose -3*p + 457 = 145. Suppose 14*m = -p - 50. Let n be (-52)/5 - (-6)/15. Is n greater than m?
True
Let t = 69.81 + 0.19. Let c = t + -70. Let d = 21 - 16. Which is smaller: d or c?
c
Let f = 336669/5 - 65920. Is 1413 less than f?
True
Suppose -1152 = 5*x - 9*x. Let i be -2 - x/138 - -4. Which is bigger: i or 2?
2
Suppose -5*j = 4*n + 789, n = 5*n + 4*j + 788. Let g be (-96)/(-176) + n/(-286). Are 2 and g unequal?
True
Let h be (-1 + 349)*(-26)/(-1560)*30. Which is smaller: -11 or h?
-11
Let n(k) = -751*k**2 + 29*k - 23. Let f be n(1). Which is smaller: f or -4477/6?
-4477/6
Let c = -2407869454/10453 - -230352. Is c greater than or equal to -1?
True
Let l be 478/(-8) + 7/(56/6). Let w be (0 + 2)/(6/309). Let g = w + -163. Is g bigger than l?
False
Let r = -143/564 - -8/47. Suppose 8*a - 3 = -3. Is a at most r?
False
Let g = 58 - 40. Let l be 4*1*(20 - -6). Suppose -l*z = -100*z - 60. Which is smaller: g or z?
z
Let x(i) = 83*i + 12593. Let v be x(-152). Does -332/15 = v?
False
Suppose -c = -124 - 200. Suppose 5*l - c = -44. Suppose 2*o = 2*g - l, 0 = -5*g + 2*o + 32 + 93. Is 22 equal to g?
False
Let d be -2031 - ((-27)/(-27))/((-2)/4). Let r = 8161/4 + d. Which is greater: r or 12?
12
Suppose -4*n + 152 - 144 = -a, 20 = -5*a. Which is bigger: 3/125 or n?
n
Let i(w) = w**3 - 32*w**2 + 30*w + 36. Let l be i(31). Suppose -l*v + 4 = y, 3*y - v + 8 = 4*v. Which is smaller: y or -0.1?
y
Suppose 0 = -a + 4*h + 123 - 42, 5*a + 4*h - 405 = 0. Let w = -72164 - -72246. Which is greater: a or w?
w
Let r = -0.78 + -0.24. Let l = 189 + -188.9. Which is greater: l or r?
l
Let i = 22 + -12. Let f(p) = -309*p + 1241. Let h be f(4). Suppose h*m = i*m. Which is bigger: 4 or m?
4
Suppose 2*k - 12 = -2*l, k - 60 = -4*k + 5*l. Let a be 489/k - 2/6. Let c = 301594 - 301541. Is c > a?
False
Let x = 410.3 + -405.642. Which is smaller: x or -1?
-1
Let i = -124301741/3044 - -40835. Which is smaller: 1 or i?
i
Let x(a) = -23*a + 25*a - a**3 - 91 + 11 - 12*a**2 + 45*a**2. Let s be x(33). Which is greater: -19 or s?
s
Let m(r) = -164*r - 11. Let x be m(7). Is x <= -1155?
True
Suppose 4 = -n, 62 = 3*f - 3*n + 14. Let x = 404 + -400. Let k be x/(8/69)*f/18. Which is smaller: k or 1/4?
1/4
Suppose 0 = -848*w + 661*w + 2618. Which is smaller: -50/7 or w?
-50/7
Let f = 6559.9 - 6562. Let d = -31.2 + 29. Let v = d - f. Which is smaller: v or -15/2?
-15/2
Let h be 108383/252861 + (-18)/12*18/63. Which is smaller: h or 1?
h
Suppose -2*i - 2*i - 4*l = 12, -i + 5*l + 3 = 0. Let m = -105 + 120. Suppose -14*z - m*z = 29. Which is greater: z or i?
z
Suppose 0 = 2*h + 3*h - 50. Suppose k - 5*y + 3*y + 6 = 0, 2*k - 2*y + h = 0. Let l be (-63)/18 + (-6)/k. Do l and -4 have the same value?
False
Let f = -13/2369 - -27559/3295279. Are 1 and f equal?
False
Suppose 0 = -173*h + 156*h + 17. Let d = 23 + -34. Let n be ((-2)/(-4))/(d/6). Which is smaller: h or n?
n
Let o(u) = u**3 - 9*u**2 + 7*u - 63. Let j be o(9). Let d = 344 - 24426/71. Do d and j have different values?
True
Let q = -2357 - -115489/49. Let s be 8/(-9 - -8) + 17. Suppose -843*p + s = -834*p. Do q and p have different values?
True
Suppose 2812 = -777*z + 815*z. Are z and 74 non-equal?
False
Let z = -71/2 + 109/6. Let t be 9 + (-276)/28 + 530/(-35). Is t smaller than z?
False
Suppose -3680 - 5736 = w. Let j be (2/38)/((-4)/w). Let p = 124 - j. Which is smaller: p or -4?
-4
Let g = -281 + 280. Let o be (-260)/(-52) + (0 - 2/g). Which is smaller: o or 6?
6
Let b = 351 - 587. Let n = -1651/7 - b. Which is smaller: n or 1?
n
Let m be (-2)/4 - (-1170)/4. Suppose -192*r + 72*r - 270976 = -447*r - 601*r. Is m less than r?
False
Let z be (60/(-18))/(955/(-38925)). Let n = z - 3738836/9741. Let c = 746/3 + n. Which is greater: c or 0?
c
Let i(v) = -v**3 - 17*v**2 - v - 19. Let b be i(-17). Let o be b/(-1659)*(-6)/(-4) - 0. Are 1 and o equal?
False
Let d(h) = -54*h. Suppose r + 19 = 20. Let u be d(r). Let f be (-4 + 9 + -4)*(-2)/u. Is f less than 0?
False
Suppose 7*f + 4*f = 1320. Let d be 7508/60 - 16/f. Let y be (-2)/4 - d/(-10). Which is smaller: y or 14?
y
Let g(y) = 27*y - 30. Let t be g(12). Let j = 294 - t. Which is bigger: j or 2/1071?
2/1071
Let p(r) = r**2 - 5*r - 4. Let c be p(3). Let n(s) = s**2 + 7*s - 29. Let v be n(c). Which is greater: v or 1.08?
1.08
Let a be (-1 - -1)/1 - (-1 - 2). Suppose a*n - 84 = n. Let i = 43 - n. Is 2 greater than i?
True
Let m(t) = -t**3 - 4*t**2 - t + 2. Let c be m(-4). Let v be c - 2 - (-50 - 1). Let u be (-26)/(-30) + (-11)/v. Which is bigger: u or -0.02?
u
Let p(n) = -6*n**2 - 7*n + 2490. Let v be p(-21). Let u = 2/1103 + -27581/3309. Which is bigger: u or v?
u
Let k(w) = 2*w**3 + 29*w**2 - 91*w - 103. Let j be k(-17). Is 6/1417 <= j?
False
Let b be ((-2605392)/70336)/37 + 1. Is b > 0?
False
Let s be 609/(-4752) + (-3)/(-27). Let z = 731/1584 + s. Is z less than 0.3?
False
Let s(f) = 0*f + 0*f + 5*f - 4*f - 1. Let r be s(6). Suppose b + 2*h - 276 = 6*b, -r*h + 285 = -5*b. Which is bigger: -55 or b?
b
Let x = -178.9522 - 0.0478. Let h = x - -178. Is h at most -0.0325?
True
Let o = 221 - 55. Let q be 978/9*-12*(-10)/80. Which is greater: q or o?
o
Let g be (-1872)/(-48)*4/6 - 0. Which is bigger: g or 38?
38
Let c(i) be the first derivative of -i**3 - 11*i**2/2 - 20*i - 11. Let z be c(-4). Let h = 101/4 + z. Which is smaller: h or 3?
h
Let n = 45191/3 + -15063. Let f = 15 + 50. Which is bigger: f or n?
f
Let q = 8387 - 9083. Do q and -18 have different values?
True
Let z(o) = -o**3 - 40*o**2 + 19*o + 273. Let p be z(-39). Which is smaller: p or -1990?
-1990
Let w be (124/20 + -7)/((-2)/30). Are w and 12 equal?
True
Let s(l) = l**3 - 25*l**2 - 48*l - 93. Let m be s(25). Is -1293 less than m?
False
Let x(l) = 7*l. Let a be x(-1). Let d(h) be the first derivative of -h**4/4 - 8*h**3/3 - 5*h**2/2 + 7*h + 3. Let g be d(a). Which is smaller: g or -6?
g
Let h = 6.6 - 38. Let a = h - -8.4. Is a > 0?
False
Let i = -2751.97 - -2752. Are i and -2.45 equal?
False
Let o = 180 - 176. Let m be -6 - o/148 - -6. Are m and -1 non-equal?
True
Let q = 30578 + -20385. Does q = 10193?
True
Let f(k) = -3 + 0*k**2 - 9*k - 2*k**2 + 4 - 2. Suppose 5*n = 4*n - 4, 4*n = 5*d + 4. Let l be f(d). Which is greater: l or 27/8?
27/8
Let t be 7/(-4) - (-9)/12. Let a = -111641/6 + 18536. Let i = a + 71. Which is smaller: i or t?
t
Let a be (1/4)/((-1 + 3)/24). Let f be (-2 + 8/a)*(2 + -38). Let i = f + 59. Are 35 and i equal?
True
Suppose 4*j = 10*a - 6*a + 4592, -5*j + 15 = 0. Which is bigger: -1141 or a?
-1141
Let t = -22.3 - 21.61. Let p = t - -44. Which is smaller: p or 2/3?
p
Let l = 74 - 78. Let q be (-5865)/100 + (-1)/l*-3. Let o = q - -59. Do o and 0.29 have the same value?
False
Suppose -4*s + 58 = 5*w, -5*s - 5 = w - 4. Let g be (-10)/w + (-3 - (5 - 9)). Which is smaller: -264 or g?
-264
Let g = -149 + 50. Let c = 97 + g. Which is smaller: c or -9/10?
c
Let f(t) = -7*t - 101. Let c be f(-15). Suppose -4*n + 4*u = 4, -c*u = -9*n + 13*n + 4. Which is greater: n or -2/9?
-2/9
Let g be (7/(-312))/((-25)/75). Let h = -2/1397 - -5614/18161. Let n = h + g. Are n and 0 non-equal?
True
Let k = 9192.053 + -9192. Is -4.9 at most as big as k?
True
Let s(j) = j**3 + j**2 - 2*j + 2. Suppose 18*c = 7*c. Let k be s(c). Suppose 18 = 5*o - 4*v - 7, 0 = k*v + 10. Is o less than 18?
True
Let d = -5855/9 - -649. Let a(o) = -o**3 - 6*o**2 - 2*o + 1. Let c be a(-6). Suppose 3*j = g - 13, -j - g - 3*g = -c. Is j >= d?
False
Let z(u) = -2*u**3 + 146*u**2 - 259*u - 1753. Let h be z(71). Suppose 4*l - 166 = -s, -8*l + 160 = -4*l + 4*s. Let q = l - 19. Which is greater: q or h?
q
Suppose -408 = 30*y - 29*y. Let u = -384 - y. Is u at most as big as 2/17?
False
Let g = -844 - -842.26. Let d = 674/7 - 96. Which is smaller: g or d?
g
Let k be (2 - 5)*14/(-6). Let x(w) = w - 3. Let s be x(k). Let c be -4 - ((-4)/(-15))/(4/(-130)). Is s >= c?
False
Suppose 8 = 4*p + 4*d, -2*p + 2*d + 7 = d. Suppose -3*o - 2*x + 1 + 5 = 0, -3*o = 3*x - p. Let k be 2/(o/(-6)) + 32/16. Which is smaller: 1/31 or k?
k
Let d(i) = -52*i - 4935. Let p be d(-94). Which is smaller: p or -113?
-113
Suppose -13*t + 31 = 18*t. Which is bigger: 5/207 or t?
t
Suppose 0 = -3