 + q*z + 1067 = 0. Is -96 > z?
True
Suppose 0 = -31*q + 26*q + 3*y + 28308, q + 4*y = 5657. Which is greater: q or 5660?
q
Let w be (120/32)/(1 - 11/8). Let m(t) = -t**2 - 10*t - 15. Let j be m(w). Let y be (-1 - 5)*(j/(-27))/(-5). Which is smaller: y or -0.2?
-0.2
Let g = 47987134 + -41028982472/855. Let v = g - 42/95. Is v smaller than 21?
True
Suppose -21 = 21*u - 0. Let j = -1.05 + 0.05. Let q = j - 0.8. Is q < u?
True
Suppose 2*v = -r + 2, -2*r - 2 = 2*v - 4. Let l = -3013382/11 + 274147. Let y = l - 203. Which is smaller: y or v?
y
Let k = 76 - 74. Let a = -3 + k. Is 1/363 smaller than a?
False
Let x = -24.8 + 11.4. Let h = 16.4 + x. Which is smaller: -22 or h?
-22
Let z be (-3*(-20)/(-21))/((-178)/623). Let n be 210/(-21) - (-185)/z. Let o = 2 + 8. Is o greater than or equal to n?
True
Let u = -11 - -33. Suppose 106 = 4*f + u. Let y = -26 + f. Which is bigger: -7 or y?
y
Let u be ((-256)/512)/(189/20 + 4/16). Is u < 0?
True
Let v = 180 + -225. Let d be 36/v + 3/(-18)*-4. Which is bigger: 2/3 or d?
2/3
Suppose 343 = -4*h + 11*h. Let f = h - 42. Suppose 0 = f*a + 7. Is -4 <= a?
True
Let k = -0.6 + 2.1. Let c = -1.85 + 3.35. Let x = k - c. Which is smaller: x or -21?
-21
Let t(d) = 4*d - 11. Let z be t(7). Suppose -j = w - 4, -3*j - 1 + z = -w. Let n = 1091 - 1082. Does w = n?
False
Let z be (15/(-21))/((-210)/294). Are z and -14918 unequal?
True
Suppose 3*x + 496 = -2*w, -3*w = 2*x + 330 - 1. Is x less than -159?
True
Let j = 370 + -630. Let n be (2 - 28/(-8))/(((-135)/20)/(-27)). Let l be 24/(-132) + j/n. Which is bigger: l or -10?
-10
Let h = 116 + -117. Let j be ((-32)/(-64))/(h/2) - 3. Which is bigger: -42/13 or j?
-42/13
Suppose 80 = 4*k + k. Let n(o) = -25*o + 47. Let l be n(2). Which is greater: l or k?
k
Suppose -36*s - 66*s - 82*s = 736. Let a be 2/6 - 158/42. Is a < s?
False
Suppose 0 = 3*g - 5*l - 18, -3*g = 7*l - 6*l - 36. Which is bigger: g or -1/187?
g
Let t = -1740 - -1739.912. Which is smaller: -11 or t?
-11
Suppose -278 = 25*w - 303. Which is smaller: w or 2/327?
2/327
Let m = -2.1864 - -1.9394. Which is smaller: m or 1.7?
m
Let c = 5.96 + 0.04. Let z = c + -10. Let u(y) = -y**2 + 60*y - 536. Let g be u(49). Which is smaller: g or z?
z
Let o be (438444/45)/(2/15*-3). Which is bigger: o or -24357?
-24357
Let r(i) = -i**3 + 12*i**2 + 5*i - 38. Let k be r(12). Let h = -1749 - -1768. Are h and k equal?
False
Suppose -6*k + 2299 - 16093 = 0. Does k = -2300?
False
Let s(j) = 60*j**2 + 4147*j + 49. Let x be s(-68). Are -22532/5 and x nonequal?
True
Let p = 397 + -687. Let u = 435 + p. Let f = u - 1017/7. Is f != -3.4?
True
Let u be 2*(-2)/(-4) - -10. Let q(l) = -4*l - 62. Let k(g) = 7*g + 114. Let n(b) = 10*k(b) + 18*q(b). Let r be n(u). Is 5/2 >= r?
True
Suppose 20*s = 2*s + 162. Let m be -2 - (0 - s/6). Which is smaller: 66 or m?
m
Let a = -76 + 42. Let j = -5 + a. Let w be -2 - 1*(-3 + (-45)/j). Is 0 smaller than w?
False
Let j(z) = 4*z + 60. Let r be j(-15). Suppose r = 3*c + 1 - 16. Does c = 15/4?
False
Let s(l) be the third derivative of l**6/120 - l**5/12 + l**4/8 + l**3 + 16*l**2. Let g be s(4). Suppose 0 = -g*c - 2*c - 8. Which is smaller: c or -2/19?
c
Let w = 2160 + -3672001/1700. Does w = 0?
False
Let a = -150 - -106. Let s = -45 - a. Which is smaller: -11 or s?
-11
Suppose -1413 - 15336 = -9*r. Let o = 20225/11 - r. Does o = -21?
False
Let n = 53 + -50. Let y be (-5)/((81/(-6))/(-9) + -2). Are y and n non-equal?
True
Let p(w) = 18*w**2 - 6*w - 14. Let c be p(-2). Suppose 4*i - c = -38. Which is bigger: i or 51/7?
i
Suppose 207*b - 247*b - 3360 = 0. Which is smaller: b or -83?
b
Let d = 387.3 + -494. Let t = d - -107. Let p = -0.3 + 1.1. Is t smaller than p?
True
Suppose -5*w = q - 20, 5*w + 7*q - 4*q - 20 = 0. Let p be 135/10 - w/8. Is -6 at most as big as p?
True
Let z = 18.4 - -85.6. Let s = 103 - z. Which is smaller: s or -26?
-26
Suppose 28*z = -72*z + 17*z. Which is bigger: -5/286 or z?
z
Suppose 19 = -5*q - 5*y + 119, 106 = 5*q - y. Let p = q - 16. Suppose -10*l = -p*l + 5. Which is smaller: 3/7 or l?
l
Let t = 579.1 - -22.9. Are 2 and t nonequal?
True
Let y be 1*3/(186/14). Suppose -3*i + 2*d + 6 = 0, 3*i - d - 3*d - 12 = 0. Does y = i?
False
Let h(b) = 4*b - 8*b + 526*b**3 + 3 + b**2 + 520*b**3 - 1047*b**3. Let w = 4 + 0. Let i be h(w). Which is smaller: i or -60?
i
Let z = -128 + 149. Let w be z/7 - 46/42. Which is bigger: 2 or w?
2
Suppose m - 149*t - 11 = -146*t, m + 9 = -2*t. Is -2/13133 at least m?
True
Suppose 112 = -100*k + 114*k. Let l = -28 + 30. Is k less than or equal to l?
False
Let t = -352.43 - -349. Let f = 3.43 + t. Is f > -0.17?
True
Suppose -2421*v + 2499*v = -5928. Which is bigger: -14 or v?
-14
Let l be -1 + (1 - 2 - -5). Let o be (2130/60 - 35) + (-47)/(-42). Are o and l nonequal?
True
Let q be (4 - (-2)/(-3))*(138/(-45) + 3). Let s = -1 + 1.01. Let n = s + -1.01. Which is bigger: n or q?
q
Let f = 32 - -17. Let u = f - 46. Let d be 2 + 4 + 42/(-10). Is d at least as big as u?
False
Let z = -148 - -152.85. Let i = -1012 + 1007.1. Let s = i + z. Are 0 and s non-equal?
True
Let o = 2622 + -2624. Which is smaller: o or -247/84?
-247/84
Suppose -24*o + 2838 = 5*o + 14*o. Which is bigger: 113 or o?
113
Let d(z) = z**3 - 19*z**2 - 20*z - 15. Suppose -7*g - 2*g + 189 = 0. Let t be (4/4*g - 1)*1. Let x be d(t). Is -17 <= x?
True
Suppose 6 = -24*b + 27*b. Let y be b/(-6)*-3 - -47. Let d = y + -56. Which is smaller: 2/5 or d?
d
Let h be -127 + 0 + -2 + 29 + -17. Which is smaller: h or -352/3?
-352/3
Let m(v) = 13*v + 12. Let i be -1*(-6)/24 + (-15)/(-4). Let w be m(i). Is w greater than or equal to 63?
True
Let r be 5 + (2 - 9943/1385) + (-4)/(-30). Which is bigger: 1 or r?
1
Let o = -41 - -44.8. Let s = 131 + -127. Let x = s - o. Is 2/37 at least x?
False
Let z(f) be the second derivative of -f**3/3 - 23*f**2/2 + 21*f. Let y be z(-7). Let c(p) = p**3 + 10*p**2 + 7*p - 18. Let k be c(y). Is 4/9 not equal to k?
True
Let m be 3 - (-10 - 6024/4). Are 1520 and m unequal?
True
Let z = -3716 - -3185. Which is greater: -0.06 or z?
-0.06
Let n = 184 + -13434/73. Let c be (-2 + 3)*-1*2. Which is bigger: n or c?
n
Let f = -27473.77 - -27671. Which is smaller: 0 or f?
0
Let y(x) = -89*x - 5428. Let l be y(-62). Is l at least 107?
False
Suppose -4*z + q + 25 = 0, 4*z + q - 5 = -2*q. Suppose -5*k = -3*l - 44, 7 - 2 = z*k. Is -8 greater than l?
True
Let d be 173/(-175) - (42 + -43). Suppose -3*t - 3 = y, y = 5*t + 1 - 4. Which is smaller: d or t?
t
Let u be (9/12 - (9 + -2)/(-28))/1. Which is smaller: u or 4/873?
4/873
Suppose -2*d + 5*l = -2, -d = 4*d - 3*l + 14. Let m be -33 - 1*(-12)/d. Does -38 = m?
False
Let h = 336189/2267753 - -6/22453. Which is bigger: h or -1?
h
Suppose -25*w + 20 = -5. Which is greater: 41/93 or w?
w
Let z = -35820 - -270620101/7555. Is 1 greater than or equal to z?
True
Let q be (908/(-5902))/(16/(-26)). Which is smaller: q or 19749?
q
Suppose 3*x - 5*k = 24735, 8*x - 8243 = 7*x + k. Let a be ((-6)/(-15))/(16/x). Which is smaller: a or 207?
a
Let a = 14318 - 17274. Which is greater: -2958 or a?
a
Let m = 430711 + -430650. Let c(p) = p**2 - 7*p + 1. Let g be c(-5). Is g != m?
False
Let q = 529.9 + -770. Let o = 240 + q. Do o and 0.03 have different values?
True
Let f be 168/(-196) + (-4 - 56434/(-4557)). Which is greater: 8 or f?
8
Let c be (-12)/300*(-1 + (-5 - -4)). Let u = 3.4 + -3.1. Is c != u?
True
Let k = 11771 - 12031. Let g be 258/(((-4)/2)/2). Which is smaller: g or k?
k
Suppose -31*s = -33*s + 268. Let f = -978 + 1111. Which is greater: s or f?
s
Let k(n) = -n**2 - n - 2. Let u be k(0). Let x(l) = -7*l - 20. Let t(q) = 3*q + 10. Let a(v) = 5*t(v) + 2*x(v). Let b be a(-20). Which is smaller: b or u?
b
Let f = 14.68 - -0.32. Let c = -15 + f. Let g be (-36)/(-120)*4/3. Which is bigger: g or c?
g
Let p be (2043052/510818 + -6 + 2)*-7. Which is greater: p or 0?
p
Let y = -41/12 + 15/4. Suppose 82*z = -4*z - 86. Is y <= z?
False
Let s = -2092 + 1866. Is s < -17?
True
Let a(w) = w**3 + 6*w**2 + 2*w - 2. Let s be a(-3). Let m = 284 + -296. Let i = m + 31. Is s >= i?
True
Suppose -5*h + 149 = 49. Suppose 0 = 7*u + 164 - 31. Let k = h + u. Which is smaller: 2/25 or k?
2/25
Let b be 4/63*(-2)/8. Let r(v) be the first derivative of -v**4/4 + 10*v**3/3 + 3*v**2/2 + 88*v - 31. Let y 