 z < 0?
True
Suppose -12*m - 24 = -14*m. Let s be ((-46)/m - -4)/((-2)/4). Which is smaller: s or 5/6?
s
Suppose 4*h + 18*h = -15202. Is -691 smaller than h?
False
Suppose -21 = -3*f - 3*j, -5*f = -4*j + j - 51. Let o(q) = -q**2 + 7*q + 5. Let h be o(f). Let n = h - -15. Is -4 <= n?
True
Let w = -3 + 15. Suppose 13*i - 1 = w*i. Let n be (3 - i) + 525/(-270). Which is greater: 1 or n?
1
Let p be -4 + ((-125)/50)/((-2)/4). Let j be 10/(-4)*4/(-405). Are p and j nonequal?
True
Let p be -14*6/4 + 2 + 1. Let f be 1/p*(-22)/33. Are f and -1 equal?
False
Let t(a) = a**3 - 5*a**2 - 7*a + 3. Let d be 0 + (-4 - -1 - -3). Let c = 6 - d. Let l be t(c). Is -3 at least as big as l?
True
Suppose 5*n - 108 = -7*n. Let m(u) = 2*u - 5. Let l be m(n). Do l and 13 have different values?
False
Suppose -4 = 3*n - 10. Is 45/13 less than n?
False
Let l be (4/(-6))/((-60)/(-145370)). Let s = l + 1617. Are 1 and s unequal?
True
Let f be (-42)/104 - 2/(-8). Suppose 15 = -c - s, -3*c + 13 = -4*c + s. Let q(g) = 4*g**2 + 55*g - 14. Let r be q(c). Is r > f?
True
Let m = -21 - -17. Let t be (-3 + -2)*m/30. Let f = -3.1 + 3. Which is bigger: f or t?
t
Let a(h) = -h**3 - 14*h**2 - 7. Suppose 0 = 4*s - 3*z + 59, 2*z = -5*s + 6*z - 74. Let o be a(s). Is -9 at most o?
True
Let o be ((-6)/(-5))/(114/(-1425)). Which is smaller: o or -290/19?
-290/19
Let o be (-2)/17 + (-4254)/(-34). Let t = -123 + o. Is 14/25 at least t?
False
Suppose t = -3*t. Let g be -3*4/12*-8. Suppose -12*s = -g*s. Is s at least as big as t?
True
Let y be (-7)/20 + 51/204. Which is smaller: y or 0.5?
y
Let n(q) = 32*q - 80. Let x be n(9). Let b = x + -201. Suppose -4*c = 2*w - 26, 9*w = 4*w - 2*c + 41. Is b greater than or equal to w?
True
Let o(m) = m - 24. Let i be o(0). Let s = 26 + i. Suppose -2*c = g + 2, -s*g - 8 = 2*g - 3*c. Does g = -1?
False
Let c = -2663 + 284946/107. Do 0 and c have the same value?
False
Suppose 5*u = -13 - 42. Let k = u - -14. Let b(h) = -h - 2. Let s be b(-4). Which is smaller: k or s?
s
Let l = 1.44 - 1.372. Let t = 16.068 - l. Is t less than or equal to 1/3?
False
Let s be 64/20 + (-3)/15. Suppose -3*f + 6 = 0, -2*a = -3*a - s*f + 3. Is a not equal to -3?
False
Suppose 13 = 6*s + 25. Do -7/11 and s have different values?
True
Let i = -3620/539 + 338/49. Let p = 0 - 1. Which is greater: i or p?
i
Let z be (186/775)/(3/5). Which is greater: z or 424?
424
Let d be ((-1422)/(-869))/(7/11). Which is smaller: d or 1/30?
1/30
Let m = 3839.79 + -3661. Let f = m - 178. Let k = f - 0.09. Is k greater than 1/6?
True
Let s = 140 - 145. Which is greater: s or 12?
12
Let l = 407 - 408. Are l and 177 non-equal?
True
Let u(a) = 9*a + 4. Let p(x) = 4*x + 2. Let g(s) = 7*p(s) - 3*u(s). Let h be g(4). Suppose 0 = -h*t + 4*t. Which is smaller: t or -4/3?
-4/3
Let t = 2151342/409 + -5260. Is t smaller than -4?
False
Let d(r) = -5*r + 48. Let v be d(-5). Is v < 74?
True
Let n = 354 + -1961. Is n less than or equal to -1607?
True
Let z be 1*(-2)/(-2) + 1. Let d be 0*(-4 + 3/1). Let r be d - -3 - (-3)/(-1). Does z = r?
False
Let o = 2 - -3. Suppose o*r = g - 23, 2*g = 4*g + 4. Suppose 4 = -3*s + 1. Which is smaller: r or s?
r
Let w = -3.42 - -2.8. Let m = w - -0.12. Suppose 4*k = k + 6. Which is smaller: k or m?
m
Let a = 36 - 26. Let r = 6 - a. Let q = -1.4 + 1.3. Is r less than or equal to q?
True
Let l = 573 + -569. Let a = 0.2 + 0. Let x = a - 0.3. Does l = x?
False
Let m = -3 - -93. Which is smaller: 89 or m?
89
Suppose 5*a - 10 = -5*w + 3*a, 2*w + 5*a = 4. Let o be ((-18)/15 + w)/(22/5). Is -1 at least as big as o?
False
Let r = -5 + 10. Let i = 5 - r. Let v = -58/161 - -5/23. Is v bigger than i?
False
Let b = -15.31 + 4.41. Which is bigger: b or 1?
1
Let v be 1 + (-1897954965)/914223084 + 1. Let f = 185/50221 + v. Let b = f - -3/164. Which is smaller: 1 or b?
b
Let z be -11 - (-1)/(9/945). Which is smaller: z or 844/9?
844/9
Let q = -1914819 + 2050771571/1071. Let w = q + 6/119. Which is smaller: -1 or w?
-1
Suppose 50 = 3*g + r, 49 + 17 = 4*g + r. Let o = -10 + g. Suppose 2*a + 2 = 2*y - 2*a, -5*y = 5*a - 35. Are o and y non-equal?
True
Let d = 7072 - 106124/15. Is -3 > d?
False
Suppose 13*y = 16*y + 18. Let z = y - -6. Is z >= -3?
True
Let c = 1137/4 + -11621/36. Which is smaller: c or -38?
c
Suppose -3*v + 16 = 1. Let j be -2 + v - 1836/(-2). Let m = j - 8281/9. Which is bigger: 0 or m?
m
Let a = 21 + -26. Let l be a/(-20) - 2/4. Which is smaller: 0.2 or l?
l
Let r be 3/((-15)/397) - -2. Let d = r - -75. Suppose -83*j + 89*j = -12. Does j = d?
False
Let s(k) = 3*k**2 - 1. Let g be s(-1). Let z(l) = -8*l + 2. Let p be z(g). Let w = 203867/2 - 101946. Which is greater: w or p?
w
Let s = 125 - -49. Which is smaller: s or 4?
4
Let d = -0.15 - -2.65. Let q = d - 2.5. Which is smaller: q or -17?
-17
Suppose o - 6 = 2*m - 0, m + 12 = -4*o. Let i(g) = -3*g - 4. Let x be i(o). Suppose -20 - 8 = x*d. Is -14 < d?
False
Suppose -3*g + 2 = -f - 0*f, -3*f + 5*g = 10. Let u(m) = -4*m - 13. Let z be u(f). Do z and 1 have different values?
True
Let x = -51/771259 + 21626920386/707244503. Let l = 214/7 - x. Which is smaller: 0 or l?
l
Suppose 5*q - 8 = 5*n - 2*n, -5*n - 10 = -5*q. Let w(y) = 2*y. Let k be w(q). Suppose 0 = -i, -k*o - i = -6*i. Which is bigger: 1 or o?
1
Let u = -39.676 + 39. Which is greater: -1/2 or u?
-1/2
Let u be 850/483 - 605/363. Is u smaller than 1?
True
Suppose 2*n - 4*n - 6 = 4*w, -25 = 4*n - 5*w. Let p = -6 - n. Which is smaller: p or 0.01?
p
Let j(z) = -13 + 2*z**2 - 13 + z**3 + 43 - 2*z - 13. Let r be j(-3). Is 1 greater than or equal to r?
True
Let c be 7/(-28)*8 + 2/2. Let z be (3/6)/((-49)/4). Is c greater than z?
False
Let b = -0.09 - -18.09. Let z = 49 - b. Which is bigger: z or 0.2?
z
Let m(o) = -o**2 - 6*o - 1. Let u be m(-6). Let a be (-12)/30*45/(-1530). Which is smaller: a or u?
u
Let t = 1.23 + -1.19. Which is greater: -31 or t?
t
Let i(m) be the first derivative of m**4/4 + 2*m**3/3 + m**2/2 - m + 11. Let t be i(-2). Which is greater: t or -2?
-2
Suppose -114*t - 30 = -99*t. Which is bigger: -19/9 or t?
t
Let x be 12/(-2)*(-10)/15. Suppose 2*l - 2*m - 2 = l, m = 3*l + x. Let g(n) = -n**3 + 14*n**2 + 14*n + 13. Let r be g(15). Are r and l unequal?
False
Let u = -273 + 252.1. Let j = 19 + u. Which is bigger: j or 2/3?
2/3
Let c(i) = 10*i - 6. Let y be c(9). Let s be 8/(-28) - (-16)/y. Let a = 3 - 3. Which is smaller: a or s?
s
Let v be -1 - -8 - 1140/152. Let b = 17.7 - 17. Which is smaller: v or b?
v
Let v be 33/44*28/(-21). Let a = -22522/27 + 834. Which is greater: v or a?
a
Suppose -4*v + 0*v = 24. Let n be 76/v*(-12)/8. Is n >= 19?
True
Suppose 752 = -2*d - 2*x, -1128 = -8*d + 11*d + x. Is d <= -377?
False
Let h(n) = -2*n**2 - 13*n + 14. Let d be h(-10). Let y = 53 + d. Which is smaller: y or -13/4?
-13/4
Let o be 8*1 + 7588/(-952). Suppose g + 7 = -2*c, -4*g - 4 = -3*c + 5*c. Is o smaller than g?
True
Let h(b) = -2*b**2 - 14*b + 1. Let s be h(-7). Let r be (-172)/60 - (s + -4). Which is bigger: r or -0.9?
r
Suppose -b - 4*b - 5 = 0. Let w = -1.415 - -12.415. Is w at least b?
True
Suppose -5*j = 4*z - 0*j + 175, z + 28 = 4*j. Which is greater: z or -38?
-38
Let c = 92 - 90. Let z be (-3 - 8/25) + (5 - c). Is -1 bigger than z?
False
Suppose -5*u - 1843 + 78 = 0. Which is bigger: -355 or u?
u
Let w be (-8)/12 - (-801)/(-54). Is w smaller than -2?
True
Suppose 2*t + 4*a + 76 = -0*a, 5*t = a - 168. Suppose 0 = -3*k + 3, -4*d - k = k - 98. Let v = t + d. Is v at most as big as -9?
True
Let z be 0 + ((-594)/(-36))/(18/16). Which is smaller: 15 or z?
z
Let z = 0.43 + -0.29. Let l = 11.24 + -11. Let c = z - l. Are 9 and c nonequal?
True
Let y(u) = -u**2 - 10*u + 11. Let b be y(-11). Suppose b*s - 2*s = -24. Let m = 10 - s. Is -7 not equal to m?
True
Let r be 2/114*18/4. Let k = 37/29469 - -13/94. Let a = k - r. Is a greater than 1?
False
Suppose -13*m + 16*m + 2*v = -342, -5*m - 565 = 5*v. Do m and 0.1 have different values?
True
Let l = 1.78 - -0.12. Let d = -0.073 - 32.927. Let z = d + 32.9. Is l at least z?
True
Suppose 3*v - 1 = -i + 6*v, -5*v = -15. Let r(k) = -4*k**2 + 61*k - 5. Let b be r(15). Is b bigger than i?
False
Let y = -2665/329 - -57/7. Let r = 14 + -12. Suppose r*h - 3*g + 14 = h, 0 = -5*h + 2*g - 5. Which is bigger: y or h?
h
Let p(b) = 13*b - 21*b**2