n. Let j = -24 - n. Let h = 0.7 - -0.3. Is h < j?
False
Let o be 10144/(-110) + (5 - (-56)/(-10)). Let u = o + 93. Let m = -8.3 + 8. Is u greater than or equal to m?
True
Let g be -5*-2*(-2)/(-10). Let o(c) = c - 7. Let u be o(10). Suppose 2*z = u*z + g. Do -1 and z have the same value?
False
Suppose -q - 2*z = 96, -4*q - 4*z - z - 381 = 0. Suppose 40*o - 68*o = -33*o - 470. Is o != q?
False
Suppose 0 = 44*d + 50 - 6. Which is smaller: -4/261 or d?
d
Suppose 0 = 8*z - 11*z. Suppose z = 3*q - 62 + 17. Suppose 5*k - 4*m - 6 = 5, 4*k = -3*m + q. Is 5 < k?
False
Suppose -i + 10 = -2*i. Suppose 124 = 41*w + 464 + 193. Which is greater: i or w?
i
Let g(u) = -u**3 - u**2 + 5. Let h be g(0). Let y(l) = l**2 - 4*l - 6. Let w be y(h). Which is smaller: 0 or w?
w
Suppose -3*i = -5*b - 64, 0 = -4*b + 4*i - 22 - 26. Is -1 < b?
False
Let y(z) = -z**2 + 17*z - 124. Let j be y(9). Which is smaller: j or -1?
j
Let g be 40/(-60) + (-650)/6. Let v = g - -159. Suppose -5 - v = 5*p. Is -1 != p?
True
Let u = 17 + -15. Suppose 7 = -u*h + 3*f - 3, -4*h = 2*f + 36. Which is smaller: h or -6?
h
Let t be (3/15)/(16/880). Let x = -0.8 - 0.2. Are t and x equal?
False
Let g be 6/14 - 378/(-147). Suppose 3*c - 57 = 4*w - 156, 0 = g*w + c - 58. Suppose 3 + w = 2*x. Which is greater: 13 or x?
13
Let h(c) = -c**2 + 10*c + 17. Suppose -w = -3, -3*a - 48 + 6 = -5*w. Let t be h(a). Let v be (-1)/(-7) + 1254/t. Is v equal to -1?
False
Suppose 2*g = 7*g - 60. Suppose q + 11 = -3*v + 2*q, 4*v = -4*q + g. Which is smaller: v or -1?
v
Let c be (-19)/4 - -5 - (-1246)/40. Is 32 greater than or equal to c?
True
Let o(h) = h**2 + 4*h - 1 - 2 + 4 + 3. Suppose 6 = 4*x + 22. Let t be o(x). Are t and 4 nonequal?
False
Let g(f) = -2*f - 90. Let x be g(-44). Which is bigger: -11/9 or x?
-11/9
Let g = -24 + 29. Suppose g*u = 10*u - 20. Is -3 < u?
True
Suppose 2*d = -5*q + 300, 3*q - 4*d + 5*d = 180. Which is smaller: q or 62?
q
Let m be 3/(-9) + 334/165. Let h = m + -111/11. Are -7 and h nonequal?
True
Let h = 946/15 - 63. Which is smaller: -1 or h?
-1
Suppose 3*r + 1 = -5*u, 3*r + r - 18 = 3*u. Suppose -r*f - 63 = -3*w, -w - f = -3*w + 46. Let p be 3/4 + w/20. Which is smaller: p or 1?
1
Let z = -5 - -9. Let p = -0.9 + z. Let v = -3 + p. Do v and -2 have different values?
True
Let b = 6 - 6.02. Let p = b + 0.09. Let u = -1.07 + p. Which is smaller: u or 1/2?
u
Let w = -3415/318767 + 8/1103. Is -1 at least as big as w?
False
Let f be (-8)/6*1*1539/(-38). Suppose 11 + f = -5*q. Let i = -7 - -5. Is q <= i?
True
Suppose 10*f + 21 = 17*f. Let j be 1*124/(-44) + f. Which is smaller: j or 1?
j
Suppose -12*k - 36 = 60. Is -16 at least k?
False
Let h = -64171 - -450663/7. Let w = 210 - h. Let q = w - 5/21. Which is greater: q or -8/7?
q
Let q = 1056 + -127777/121. Let o be 1 - (-2 - (-3 - 1)). Is q not equal to o?
True
Suppose -z - 3*w - 534 = 0, 0 = 4*w - 4 - 0. Is z less than or equal to -537?
True
Let a(w) = -w**3 - 6*w**2 - 2*w + 8. Let n be a(-6). Suppose o - 20 = -1. Do o and n have the same value?
False
Let s = -123 - -84. Let y = 24 + s. Let j be (-73)/5 + (-4)/10. Is j at most as big as y?
True
Let s be -4*12/(-60)*(-10)/4. Is 6 >= s?
True
Let h = -0.0316 - -20.1316. Let x = -19 + h. Let w be (-18)/(-2) - (3 + 4). Is x less than w?
True
Let m be -2*(0 - (0 + 1)). Suppose 13 = 7*a - 15. Suppose 0 = -v - 5*g - 16, a*v + g + 9 = m. Which is greater: v or 0?
0
Let f be (-219)/(-621) - 174/783. Which is bigger: f or 1/2?
1/2
Suppose -2*i = i - 9. Suppose 5*a - i*a = 0. Let c be ((-3)/3)/(2/(-4) + 3). Which is greater: c or a?
a
Let f = -937 - -723. Which is greater: f or -1?
-1
Let d be (-4677)/30 + 6/8. Let n = 155 + d. Is -0.1 greater than n?
True
Suppose 4*z = -s + 41, 0 = -2*z - 2*s - 7 + 29. Let j be (-5)/(25/15) - -13. Suppose j = 2*a + 2*v, -2 = 3*a + 2*v - 21. Which is smaller: z or a?
a
Let f be (-1)/((-2)/(-6)) + -2. Let s be 4/(-32) - 506/176. Which is smaller: s or f?
f
Let c = 444800/101 - 4404. Which is bigger: -1 or c?
c
Suppose 3*i - 3*f - 12 = 0, 5*i - f + 2 = 6. Suppose -4*g - 39 = 2*a + 13, -5*g - 25 = i. Let z = -37 - -21. Is a != z?
False
Let c = -112/3 + 38. Let i = -91 - -90. Is i equal to c?
False
Suppose -4*i - 51 = 3*f, 12 = -4*i + 2*f - 34. Let r = -59 - -16. Let b be i/(-20) + r/55. Which is smaller: b or -1?
-1
Let m be (-3 - 235/(-80))/(-1). Let k = -61/48 - m. Does 7 = k?
False
Let k be (1/(2/(-4)) - -2) + -3. Are k and 9 unequal?
True
Suppose 120 = 7*t - 181. Which is smaller: 40 or t?
40
Let m = 488238 + -21972589/45. Let b = 8489/95 - 896/19. Let h = b + m. Which is greater: 0 or h?
h
Let f be ((-24)/(-9))/(2/3). Suppose 2*z + v - 3 = z, f*v = 4*z + 12. Suppose 2*j - 4*j = z. Which is bigger: 1/3 or j?
1/3
Suppose 2*l - 11 = 3*j - 3, -2*j = l + 3. Let p be 15/(-4) + 2/(-8). Which is bigger: p or j?
j
Let z be (-4)/42 - (-14118)/(-819). Which is greater: -11 or z?
-11
Let r be 18/30*15*2/(-27). Is -186 smaller than r?
True
Let o = -7 + 25. Suppose -2 = -4*c + o. Let r(j) = -j**2 + 4*j + 5. Let n be r(c). Which is smaller: -5/8 or n?
-5/8
Suppose 11 + 9 = 5*x. Suppose o + o + x = 0. Let d be (72/(-11))/(-3) + o. Is 0 at most as big as d?
True
Suppose 3*v - 2*v = -3, -4*b = -v - 23. Suppose -b*s = -0*s. Let o be 10/12*21/(-14). Is s at least as big as o?
True
Let z = -272466/17 - -16033. Which is greater: 6 or z?
6
Let x = 4.82 - 0.42. Let b = x - 2.5. Let i = -1.6 + b. Is i >= 0.2?
True
Let l = 262 + -160. Is l < 103?
True
Let g(f) = 2*f**2 - f - 6. Let s be g(3). Let r = s - 8. Which is bigger: -1 or r?
r
Suppose -3*h = -a + 3 - 7, 12 = 4*h. Are 52 and a equal?
False
Suppose 4*m = 2691 + 901. Let a = m + -16159/18. Which is bigger: -1 or a?
a
Let x = -1/2 - 0. Is x > -0.41?
False
Let h = 302474/19 + -15916. Is 4 at most as big as h?
False
Suppose -22*x = -17*x - 15. Suppose -5*o - j = -87, j + x = -0. Do 16 and o have the same value?
False
Let i = 17 - 22. Let f(d) = -3*d - 15. Let z be f(i). Which is greater: 2 or z?
2
Let t = 1853 + -1481. Which is greater: t or 373?
373
Let d = -223 - -256. Which is smaller: 100/3 or d?
d
Let t be ((-110)/1)/(-2) + -2. Suppose 6*l - 31 - t = 0. Which is smaller: l or 16?
l
Let l be -3*1 - (-8)/4. Let f be 3 - (-1 - (2 + l)). Suppose 5*p = -4*h + 36, -4*h - 12 = p - 32. Are p and f equal?
False
Let h be (-2)/6 + (-1)/3. Let u = 37.51 - 40.51. Which is bigger: u or h?
h
Let p(u) = -u**3 + 9*u**2 + 2*u + 3. Let l be p(9). Suppose 2*s + g - 3 = 0, 0*s + 4*s = 3*g + l. Let i be 170/(-105) + 1/s. Which is greater: -1 or i?
-1
Let t = -6439/20057 + -1/647. Let o = t - -112/155. Which is bigger: o or 0?
o
Let v be (-2 + (-3 - -2))/3. Are -10 and v nonequal?
True
Let t be 514/(-8) - 6/(-24)*1. Let m = -97 - -34. Is m at least t?
True
Suppose -4*t - 10 = -6*t. Suppose -k = 5*f + 9, 3*f - t*k + 6 = 23. Is f not equal to -1?
False
Let h(p) = 3*p**2 + 7 - 3*p + 4*p**2 - 4 + p**3 - 5*p. Let j be h(-8). Is j >= -2?
True
Let q(d) = 11*d**3 - d**2. Let n(k) = 22*k**3 - 2*k**2. Let h(u) = 6*n(u) - 10*q(u). Let j be h(2). Let y be ((-16)/j)/(3 - 1). Which is smaller: y or -1?
-1
Let z(a) = a - 21. Let l(p) = p - 43. Let b(j) = -4*l(j) + 7*z(j). Let r be b(-10). Let q = -2.3 + -0.7. Which is bigger: r or q?
q
Suppose 10 = b - 18. Let d = -21 + b. Which is smaller: 5 or d?
5
Let l be (-2 - -4) + (0 - -6). Let i = -5 + l. Let c be i - (-1)/3 - 3. Is c smaller than -2?
False
Let p be 1 + 2/(-3)*12/(-8). Suppose p*v = 5*d - 11, 7*d - 15 = 2*d. Which is greater: 4 or v?
4
Let z be (33/(-6) + 2)*-18. Suppose -z = -3*j + 3*s, j - 20 = 2*s - 0. Suppose j*i = 27*i + 40. Is i != -7?
True
Let i(x) = 2*x**3 - 10*x**2 + 2*x - 31. Let g be i(6). Which is greater: g or 54?
54
Let j(v) = -v + 18. Let o be j(9). Let i be (5 + 2)/((-2)/(-4)). Let m = -6 + i. Which is greater: m or o?
o
Let b = 203.5 + -188.2. Which is greater: b or -1?
b
Let j = 2/3 - 1/6. Let y = -16 + 7. Let l = -7 - y. Are j and l non-equal?
True
Let m = 0.32 + 3.68. Let o = 4 - 2. Let u = m + o. Are -0.1 and u nonequal?
True
Suppose -c - 4 = -3*c. Let w be (56/(-10))/(c/10). Let r = 24 + w. Is -3 > r?
True
Let y be 3/(-6) - (-100)/116. Let t = y - -4/29. Which is smaller: t or -0.1?
-0.1
Suppose 5*a + 2*s + 578 - 490 = 0, 0 = -2*a - 3*s - 33. Let q be (-2)/(-3) - (-150)/(-9). Which is smaller