535. Let o = -14/9 + m. Which is smaller: -3 or o?
-3
Let r(x) = 13*x**3 - 3*x**2 - 2*x + 4. Let u be r(-3). Let v = -9935/27 - u. Let n = -162 + 161. Which is greater: v or n?
v
Let d = -399 - -400. Is d not equal to 3/16?
True
Let v be 8510/60 - (-1)/6. Which is smaller: v or 143?
v
Suppose -y - 160 - 97 = -5*q, -2*q + 98 = -2*y. Is 50 greater than or equal to q?
False
Suppose 2606 = 9*k + 2597. Which is bigger: k or -19/69?
k
Let u(s) = -s**3 + 3*s**2 - 3. Let f be u(3). Let w be -3 + (-15)/f + -17. Is w < -3/4?
True
Suppose 3*r = 4*o + 1, -1 = -2*o + 3. Let p be (-6)/r + -3 + 0/3. Is -1 > p?
True
Let x = -4 - 19. Let u = x + 14. Let b = 311/10 - 923/30. Which is greater: b or u?
b
Let i = 15 + -9. Let w = -4.79 - 0.21. Let a = i + w. Which is bigger: 7 or a?
7
Let m be -2*159/24*4. Which is greater: m or -55?
m
Let v = 97.918 + 0.082. Let i = -74 + v. Which is smaller: i or -1?
-1
Let z = 1428/143 - 170/13. Are -3 and z nonequal?
True
Suppose 3*d = -3*t + 15, 0 = -4*t + 4*d - 3 - 1. Suppose 0 = t*j - 13*j - 11. Which is smaller: j or -1/99?
j
Let p = -49/73 - 4427/365. Let z = -24 - -10. Are z and p equal?
False
Let o(d) = -15*d - 31. Let u be o(-2). Let k be (18/4 + -3)/(-24). Which is bigger: u or k?
k
Let v = -2 + 3. Let n(m) = -m**3 - 4*m**2 + 5*m + 2. Let c be n(-5). Suppose 0 = -2*q + 2 - c. Which is smaller: q or v?
q
Suppose 2*v - 4 = v. Suppose -48 = -v*k - 20. Let b be 12/k + (-8)/(-28). Is 6 less than or equal to b?
False
Let o = -0.1 - 0.7. Let c = 3.2 - o. Let d = 5 - c. Which is greater: d or -1?
d
Suppose 0 = 3*f - 7 + 4. Let w be 0 - (1 - f) - -1. Which is smaller: w or 4/25?
4/25
Let t be 576/(-112)*-3*4/18. Suppose -5*p + 7 = -3. Suppose 0 = -2*z + 4*q - 4, p*z - 7 = -q - 1. Are t and z nonequal?
True
Let w = 23 - 24. Let j(a) = -7*a**3 - a**2 - 2*a - 1. Let x be j(w). Is x less than 10?
True
Let w(s) = -3*s + 2. Let j be w(-3). Let p(v) = 2*v**2 + 3*v - 4. Let m be p(-3). Suppose g - m*g = -3*i - 31, 0 = -2*i + 6. Do g and j have different values?
True
Let x be (154/(-44))/(1/((-16)/(-2))). Is x less than or equal to -28?
True
Let c(l) = 49*l + 197. Let s be c(-4). Does s = -1/1055?
False
Let s = 0.69 - 0.49. Let p(n) = -n**3 + 2*n + 1. Let v(j) = j + 2. Let g be v(-4). Let f be p(g). Is s <= f?
True
Let h(n) = n**3 - 15*n**2 + 18*n + 107. Let d be h(13). Which is bigger: d or 53?
53
Let y = 60 - 136. Let o = 219911/2924 + 30/731. Let i = y + o. Which is smaller: i or 2/7?
i
Let c(i) = i**3 - 6*i**2 - 8. Let r be c(7). Suppose -p = s - 6*s + r, 11 = -s + 5*p. Let u = -8 + s. Which is smaller: u or 3?
u
Let u = 1531/2 + -799. Let a = u - -33. Do -7 and a have the same value?
False
Suppose 10*c - 5 - 35 = 0. Suppose c*q - 14 = -q - 2*n, q = n. Is 12/11 <= q?
True
Suppose -3*q - c = 5, -4*q + 3*c - 17 = -19. Which is bigger: -0.244 or q?
-0.244
Let x = -1.51 - -1.31. Suppose -5*g + 52 + 3 = 0. Let l = 10 - g. Is x bigger than l?
True
Let q = -3320 - -3326. Let r(t) = 5*t**2 + 2*t - 1. Let w be r(-2). Let v = -9 + w. Do q and v have the same value?
True
Suppose -3*k = -2*k. Suppose -1 = -5*h - z, z = h - k*z + 1. Suppose -1 = -5*r - 2*u - h*u, -4*u - 8 = 0. Is 1 at least as big as r?
True
Suppose -3*x + 15 - 40 = -2*f, -2 = 2*x - 5*f. Let p = -97/5 + 19. Which is smaller: p or x?
x
Let x be ((-3)/(-4))/(24/64). Suppose n = x*c - 15, c = -n + 4*c - 20. Is n less than or equal to -2?
True
Let p = 47 - 58. Suppose -6*f = 5*f - 33. Which is smaller: p or f?
p
Suppose 4*b - 88 = -3*s - 12, 4*s - 60 = 5*b. Let d be 2/11 + s/(-110). Suppose d = 3*a - a. Is 1/9 >= a?
True
Let k = 30425/29 - 1049. Is -1 smaller than k?
True
Let d = 1/2931 + 96700/67413. Which is smaller: 0 or d?
0
Let l = 5 - 14. Let k(f) = -11*f**2 - 5*f - 3. Let i be k(-1). Does i = l?
True
Suppose 49 = 5*l - 86. Suppose 4*i + 12 = 4*x, 5*x = i - 2*i - l. Are -9 and i nonequal?
True
Let q = -0.14 - -0.146. Let j = -0.294 - q. Is 2/9 != j?
True
Let r be 46/(1 - (3 + 0)). Let u = r - -23. Is -5/4 > u?
False
Let d = 766 - 611. Does d = 162?
False
Let d be ((-60)/(-36))/((-5)/(-3)). Is d != -1?
True
Suppose -13*m - 26*m = 39. Do 5/32 and m have different values?
True
Let t be -1*(1 - (-1 - -1)). Let p be (-2660)/1463 - (1 - 18/22). Which is smaller: p or t?
p
Suppose -10*i + 1674 - 904 = 0. Which is smaller: i or 1/12?
1/12
Let a(l) = -l**2 - 27*l - 183. Let v be a(-18). Is -17 at most as big as v?
False
Let a be 2/17 - (3 + (-664)/136). Is 6 at most as big as a?
False
Let q = 1099/8 + -137. Is q smaller than 58?
True
Suppose 0 = -5*v + 4*j - 320, -280 = 5*v + 7*j - 3*j. Let i be 50/v - 1/6. Which is smaller: i or -8/5?
-8/5
Suppose -2*o = -3*b + 153, 0 = -5*b - o + 2*o + 255. Suppose 0*l + l + 147 = 3*t, -l = -t + b. Let y be -2 + -3*t/(-27). Which is smaller: 4 or y?
y
Let x = 7 - 6.7. Is x at least -0.038?
True
Suppose 5*v - 64 = -3*g, -g + 48 = 3*v - 8*v. Suppose 47 = g*f - 27*f. Is 47 <= f?
True
Let c = 125 - 134. Which is bigger: -5 or c?
-5
Let n be (-5*120/(-13250))/((-66)/20). Which is smaller: n or 0?
n
Suppose -16 = 2*f + 10. Let y(v) = -v - 13. Let n be y(f). Is n smaller than 2/45?
True
Suppose 15*i = -0 + 15. Is 2/73 equal to i?
False
Let g = -4209 - -4206. Let a = -103/24 + 5/8. Is g greater than a?
True
Let q be 45 - 51 - (-19)/1. Which is bigger: 32 or q?
32
Let o = 755 + -8309/11. Is -1/15 bigger than o?
True
Let t = 1/30 - -397/15. Which is greater: t or 0.4?
t
Let f = 4.74 + -4.728. Does -0.01 = f?
False
Let z = -716 + 549. Is -167 smaller than z?
False
Let k = -687 + 817. Is k greater than 130?
False
Let a = 42796 + -42785.1235. Let w = a + 0.2135. Let q = w + -11. Which is smaller: -1 or q?
-1
Let s = -9 + 5. Let q be 3/(-2) + (-6)/s. Suppose q = -9*k + 4*k. Which is smaller: k or 2/13?
k
Let b(p) = p**3 + 5*p**2 - 13*p - 41. Let a be b(-6). Let r be -2 - 4/((-32)/(-258)). Let f = r - -34. Which is smaller: a or f?
f
Let y be 4/24*-2*3. Suppose 0 = -3*q - k - 2 + 31, -4*q + 39 = k. Let s = q - 13. Is s greater than or equal to y?
False
Let z be (-1 - (-3891)/18)*(-32)/(-20). Let u = -1538/5 + z. Which is smaller: u or 38?
u
Let w = -1959 - -1348. Which is smaller: w or -612?
-612
Let c = -323.3 + 323.6. Which is smaller: 10 or c?
c
Suppose -3*s = -4*s. Let c(k) = -k**2 + k. Let l be c(s). Let q be (-2)/(-20) + 4/((-1080)/117). Is q at least l?
False
Let q be (-2 + (-12)/45*-18)*-60. Let f be (4 + q/45)*(-195)/(-6). Which is smaller: f or 8?
8
Suppose -4*r - 2 + 6 = 0. Let g be (-18)/24 - (-11)/4. Let c be 1 + g + (-70)/22. Is c smaller than r?
True
Let o = -47/42 - -5/6. Which is greater: o or -0.419?
o
Let w = 0.61 + -0.34. Let a = w - 4.41. Let n = a - -0.14. Is n > 0.3?
False
Let p be -2 + 0 + 7 + 3 + -8. Let r = 1/4 + p. Which is bigger: 36 or r?
36
Suppose 1757 = -74*p - 5125. Is -96 bigger than p?
False
Let m = 108.2 + -108. Do m and -3.3 have different values?
True
Let n = 9667671/77395 - -11511/673. Let a = n + -142. Is a > 1?
False
Suppose 4*r - 3*q + 1 = 0, 4 - 15 = -4*r - q. Let v be (r/26)/(21/(-6)). Does v = -1?
False
Let i = 1847 + -2020. Is -173 bigger than i?
False
Let w = 31 - 27. Suppose 0 = -3*d - 2*j + w + 10, d + 2*j = 6. Is 2 greater than d?
False
Let i = -1363/7 + 197. Which is bigger: i or 0.4?
i
Suppose 6*q - q - s = 19, 3*q = -3*s - 3. Suppose -q*l + 14 - 2 = 0. Let k be l/2 - 6/(-4). Is 0 <= k?
True
Suppose -g = 1, -2*y + 165 = 2*y - 5*g. Let a(x) = 39*x**2 - x + 1. Let k be a(-1). Is y > k?
False
Let v = -16.27 + -1.73. Is v < 0.3?
True
Let b be 54/10 - 6/15. Let s(g) = g**2 - 3*g - 8. Let t be s(b). Let m be (24/t + -4)*-1. Is m bigger than -7?
False
Let y be (-484)/(-28) - 4/14. Suppose 0 = 5*z - 15, z = -4*n - 13 + 88. Is n < y?
False
Let t be 6/(-45) - (-2 - 1941/45). Is t at least 47?
False
Let o be (2/(-8))/(6*2/12). Which is smaller: o or 262?
o
Let n = -6/37699 - -51987431/3204415. Let t = n - 82/5. Is t not equal to 0?
True
Suppose 8*x - 6*x + 40 = 0. Let y = -32 - x. Is y at most as big as -11?
True
Let g(j) = 6*j**2 + 2*j + 2. Let s be ((-3)/5)/((-8)/(-40)). Let w be g(s). Which is smaller: w or 49?
49
Suppose o - 8 = 3*o. Let c be (-2)/o*(-4)/(-41). Let b(s) = -2*s**3 - s**2 + 6*s - 4. Let k be b(1). Which is greater: c or k?
c
Let l = 196 - 111. Which is bigger: 84 or l?
l
Let l be 1/(-1) + 4/6. Let u 