 g be -3*2/(z/2). Are g and r equal?
False
Let p = -2.3 + -0.2. Let d = -1 - p. Let f = -1.5 + d. Is f at least 10?
False
Let k be (4/104)/(17/(-101)). Let a = -1/442 + k. Is a less than -1?
False
Let a be (((-35)/(-2))/(-5))/(-1). Let t = -339 - -344. Is t greater than or equal to a?
True
Let c = -256427725/556016 - -6/34751. Let v = c - -461. Let a be -1*1/(2 - 1). Is a greater than or equal to v?
False
Let f = 9006983/1332 + -6762. Which is bigger: f or -1?
f
Suppose 21 = -2*s - 115. Let t = 263/4 + s. Let g(p) = -p**3 + 5*p**2 - p - 3. Let h be g(0). Is t != h?
True
Let a = 11.84 - 3.84. Which is smaller: a or -0.01?
-0.01
Suppose -s + 4*s = -s. Suppose -3*t + 4*d - 5 - 1 = s, 2*t + d + 4 = 0. Which is greater: t or -3?
t
Let b = 1/90 + 61/18. Which is smaller: b or 4?
b
Let s(p) = -6*p**2 + 4*p - 2. Let t be s(1). Let q be (-4)/2 + -14 + 9. Are q and t non-equal?
True
Let x = 0.8 + -0.72. Let s = -0.08 + x. Let h be 2*(2 - 19/9). Is h != s?
True
Let r be (-3)/(-33) + 6643/11. Which is smaller: r or 603?
603
Let u be -2 - (-2 - (-12795)/21). Let c = -608 - u. Let k(d) = 2*d + 27. Let w be k(-13). Is c < w?
False
Let b be 90/390*(-1*2)/44. Is 0 smaller than b?
False
Suppose -3*m - 11 = 5*r, 12 - 4 = r + 4*m. Let l be (-2)/r*(2 + -16). Is -7 equal to l?
True
Let c(t) = t**3 + 17*t**2 + 2*t + 4. Let i(f) = f**3 + 27*f**2 + 28*f + 35. Let j be i(-26). Let l be c(j). Is -33 less than or equal to l?
True
Let t be 89730/81 + 2/9. Is t smaller than 1109?
True
Suppose 10 = -10*z + 15*z. Suppose -2*h - 2 = z*c, 5*c + 0*c - 4 = -2*h. Which is smaller: c or -1/5?
-1/5
Let z be (-4)/(-10) - (-1304)/(-40). Let d = 65 - 97. Let p = d - z. Is p less than 0?
False
Let t = -34 + 32. Let m be 0/t - 96/60. Is m greater than -3?
True
Let d(r) = -7*r**2 - 27*r + 15. Let b be d(-5). Suppose 12 = 4*v - 0. Which is bigger: b or v?
v
Let u be (2 + -2 - -3)/(-25)*-35. Which is bigger: 5 or u?
5
Suppose -9 = m - 4. Let s = m + 1. Let q be (2/(-4))/((-1)/s). Is q bigger than -1?
False
Let v be 41226/(-13472) + (1 - -2). Let h = v + -1/421. Is 1 less than h?
False
Suppose -24 = 7*d + 235. Is d smaller than -36?
True
Let y(s) = s**3 - 2*s**2 + 3*s - 3. Let v be y(2). Suppose 3*z = -5*f - 0*f + 71, 3*z - 62 = 4*f. Let h be z/4*(-2)/(-1). Which is smaller: v or h?
v
Suppose -h = -5*h + 12. Let s be (-6)/h - 26/(-12). Are s and 0 equal?
False
Let x = 3 - -1. Suppose o + x = 5*v, -o - 5*v = -3*v - 3. Let i = 53.4 + -53.7. Does o = i?
False
Let u be 116/(-36) - (-2)/9 - -5. Suppose 0 = -3*k + 3*a + 33, 26 = 4*k - u*a - 16. Suppose 0 = h + 5*q - 19, 5*h + 8*q - 3*q = 55. Is k smaller than h?
False
Let f = 1.022 + -13.152. Let z = -1.13 - f. Does z = -5?
False
Let x be (-2462)/84 - (-12 - -8). Let m = x - -133/6. Which is greater: m or -3?
-3
Let h = 20.92 + -21. Let d = 0.1 + h. Let j = d - -3.98. Which is greater: 0.3 or j?
j
Let q = 0.25 + -0.362. Which is greater: -0.2 or q?
q
Let o(l) = -2*l + 5. Let n be o(4). Let h = 6 + n. Let w be 2 + ((-9)/h)/6. Which is greater: w or 0.2?
w
Let g = 153 - 154. Which is greater: g or -457?
g
Let o(m) = 20*m**2 - 4*m + 7. Let b be o(3). Let t be b/(-55) - (-4 + 0). Which is greater: t or 2?
2
Let p(y) = y**2 + 5*y - 24. Let j be p(-13). Let t = j - 81. Does -10/9 = t?
False
Suppose -2*u + 1394 = -5*q, -3*u - 5*q - 682 + 2798 = 0. Are u and 704 non-equal?
True
Let t = -106 + 92. Which is greater: -64/5 or t?
-64/5
Suppose -3*k = -5*x - 4 - 0, k = -4*x - 27. Let n(i) = 2*i + 13. Let f be n(k). Which is smaller: f or 2/5?
f
Suppose 350 = -6*t - 46. Let r be 10*1*((-21)/2 - -4). Which is smaller: r or t?
t
Suppose 7*v - 75 = 2*v. Suppose v = -8*a + 3*a. Let j be -1 + (10 - (6 + a)). Which is bigger: j or 5?
j
Let y(b) = -4*b**2 - 7*b - 11. Let k(o) = 4*o - 56. Let s be k(13). Let u be y(s). Is -48 at least u?
False
Let d be 8/20*5 - -5. Let l = d - 7. Let f = -1 - -1. Is l at least f?
True
Let c(m) = -2 - 5*m + 9*m**3 - 8*m**3 - 4*m**2 + 2*m**2. Let v be c(4). Suppose 23 = 7*g + 16. Is v at least g?
True
Suppose -3*o - 68 = -c, 0 = -3*o - 2*c - 6 - 65. Which is smaller: o or -97/4?
-97/4
Let r = 43643/594 - 808/11. Let q be 7/(-6) + (-2)/(-3). Is q bigger than r?
False
Let u = 77 + -104. Let m be -4 - 3/(u/44). Is m >= 0?
True
Suppose -4*y + 18 = -14. Let u = y - 7. Let w = -117 + 235/2. Is u smaller than w?
False
Let i be (-110)/60*-6 + 2*-2. Is -2 greater than or equal to i?
False
Let w(i) be the third derivative of i**4/12 + i**3/3 + 2*i**2. Let y be w(-7). Let p(o) = o + 14. Let l be p(y). Is 2 at least as big as l?
True
Suppose 3 = -2*r + c, 3*r - 46*c = -50*c + 1. Which is greater: 2/153 or r?
2/153
Let n = -511 + 480. Let j = -5 - 27. Is j greater than or equal to n?
False
Let g be (8/16)/((-2)/(-3)). Which is smaller: g or -10?
-10
Let z be (-2)/16 - 45/160*-4. Which is greater: -2/465 or z?
z
Suppose -10 = 17*h + 7. Is 0.043 < h?
False
Let x(u) be the first derivative of 1/2*u**2 + 3 + 4*u. Let v be x(-5). Is -3/4 >= v?
True
Let t be 1/((6 - 4) + -1). Let h be (2 - 60)/(1 - 2). Let c = 639/11 - h. Is t at least as big as c?
True
Suppose -j - m = -2, -2*j - 3*m + 8 = -0*m. Let y = -73 + 84. Which is bigger: j or y?
y
Suppose 0 = n - 6*l + 10*l - 19, -l + 7 = -2*n. Which is smaller: n or 4/177?
n
Let f = -12 + 9. Let j be ((-4)/f)/(4/6). Suppose 2*w - 4 + j = 0. Is 2 bigger than w?
True
Let i be 4/(-6)*9*49/(-14). Which is smaller: i or 35?
i
Let y = 1 - -8. Let c(t) = -t + 12. Let d be c(y). Suppose 3*p = -d*m - 12, 5 = -p - 5*m - 15. Is 0 at most p?
True
Let y = -20 - -19. Let d = 1/353 + -8124/1765. Let g = d + 5. Which is bigger: y or g?
g
Let g = 1244/23 - 54. Is g >= 0?
True
Let l = 26 - 15. Let h = l - 13. Let z be ((-24)/210)/(h/(-5)). Is z smaller than 0?
True
Let u be (-1232)/(-33) - (-2)/(-6). Let b = u + -62. Let z = b + 19. Is z less than -7?
False
Let i(b) = 8*b**2 - 2*b - 10. Let p be i(-2). Suppose -p = s - 5*j, 2*s = -3*j + 4*j - 7. Let l be (((-1)/4)/(-1))/1. Is s >= l?
False
Let s = 22 + -20. Let m(c) = 5*c**2 - 2. Let w be m(s). Let q be ((-12)/w)/(4/(-6)). Is 1/29 bigger than q?
False
Let i = -25 + 17. Let w(a) = 3*a - 3. Let x be w(i). Do x and -28 have the same value?
False
Let z be (-153)/18 - -8 - (-533)/2. Is z less than or equal to 266?
True
Let b(n) = -6*n + 1. Let l be 4*(-2)/12*-18. Let o be 2*l/8 + -1. Let j be b(o). Is j less than or equal to 2/7?
True
Suppose 53*s - 2 = 51*s. Which is smaller: s or 13/35?
13/35
Suppose -5*n = -2*n + 15, -4*l + 64 = 4*n. Let o(k) be the first derivative of k**3/3 - 23*k**2/2 + 26*k + 367. Let w be o(l). Is -16 at most as big as w?
True
Let g = -8.6 - 7.8. Let b = 13.4 + g. Which is smaller: b or -19?
-19
Let i be (36 - 38) + 48/28. Let j = 0 + -0.11. Which is smaller: i or j?
i
Let h = 0.0755 - -129.9245. Which is greater: h or -3?
h
Let r = 4.67 + -4.67. Is 308 != r?
True
Let g be 4/(-10)*(10/5 + -4). Is -3 < g?
True
Let m = 195 + -973/5. Which is bigger: 16 or m?
16
Let m be (16/20 - 1) + (-124)/155. Are m and -4/415 non-equal?
True
Suppose -9*l + 5*l + y - 6544 = 0, 0 = -4*y. Let a = l - -9787/6. Is a less than -4?
True
Let z = 1/7218 + -2740/6752439. Are z and -1 non-equal?
True
Let g be ((-5)/6)/(1360/(-64)). Let u(l) = -l - 13. Let a be u(-13). Which is smaller: g or a?
a
Suppose 0 = -90*b + 165*b - 600. Which is greater: -125 or b?
b
Suppose 3*i + 7 = 4*q + q, -44 = -4*i - 4*q. Let j = -42 + i. Which is greater: j or 0.1?
0.1
Let t be (-48)/2*(-6)/(-8). Let h = 635 + -653. Does t = h?
True
Let c = -5.25 - 1.75. Let d = 0.007 + 7.293. Let l = d + c. Is -0.1 less than or equal to l?
True
Let n = -3950/11 - 59921/77. Let k = n - -1134. Which is bigger: -4 or k?
k
Let u(b) = -20*b + 6. Let j(g) = -g**2 - 2*g. Let x(n) = -j(n) - u(n). Let s be x(-22). Which is smaller: -0.02 or s?
s
Suppose -1807 = 4*v + n, -3*v = 2*v - 2*n + 2249. Which is greater: -452 or v?
v
Let p(q) = 9*q - 126. Let w be p(14). Is w greater than or equal to -0.19?
True
Let t = 886 + -819. Which is smaller: t or 69?
t
Let u = 12 + 13. Let s = -25 + u. Suppose -26 = b + 5*v - 1, 3*b + 4*v + 20 = s. Is b smaller than 2/9?
True
Let a = 214 + -362. Is -148 at least as big as a?
True
Let u(l) = -l**3 - 11*l**2 - 2*l + 7. Let s = 8 + -5. Let r(m) = m**3 + 10*m**2 + m - 7. Let a(g) = s*r(g) + 2*u(