Suppose t = -903 - 1016. Let s be 3 - (-1921)/t - (-10 - -12). Is s != 1?
True
Let c be 1 + 389/(-7) - 3/7. Let m = -55 - c. Let z be 58*(-1 - m/(-1)). Which is smaller: -59 or z?
-59
Let r be (-13)/((-30420)/(-14955)) - (-3)/36. Which is smaller: -6 or r?
r
Let l = 17 + 269. Let a = l + -287.1. Do a and 0.13 have the same value?
False
Let p = -726 + 752. Which is bigger: p or 34?
34
Let n(i) = -i**2 + 21*i. Let c be n(21). Suppose -24 = -c*q - q + 5*x, -3*q - 5*x = 28. Which is greater: q or -0.25?
-0.25
Let o = 19621 - 19177. Which is greater: 436 or o?
o
Let f be (4 + 144/(-4))*48/(-208). Which is greater: f or 8?
8
Let y = -297909/6604171 + 110/2597. Is y less than 0?
True
Let v = -20 + 1. Let h = -16 - v. Suppose 4*s = h*j - 21, j - s - s = 9. Which is bigger: 11/3 or j?
11/3
Let j be -1 + 12 + 52 + -30 + 151. Is j smaller than 30?
False
Let u = 5759 - 5067. Are u and 691 non-equal?
True
Let a = 1786.8 + -1790. Is 32 >= a?
True
Suppose 0 = 91*w - 71*w - 6420. Do w and 324 have the same value?
False
Let s = -6.311 - -6.261. Let z = -1 - -0.8. Is z at least s?
False
Let y = -0.752 + 0.45. Let z = y - -0.172. Which is smaller: -1/6 or z?
-1/6
Let x be 6*(-2)/22 - ((-278350)/(-110) + -29). Is x <= -2502?
True
Let t = 312 + -307. Let w(c) = c**3 - 6*c**2 + 6*c - 7. Let b be w(t). Suppose g = -2 - 0. Do g and b have the same value?
True
Let u = -10579 - -41903/4. Let k = u + 14479/140. Which is bigger: 1 or k?
1
Let o be ((-1)/2)/((-1)/4). Let z be o/((-6)/57*1) + 3. Are z and 6 non-equal?
True
Let g be (-2 - 10)*(-8 - 495/20*-10). Which is greater: g or -2875?
g
Suppose -11 = -5*p - 1. Let y be 4/(-1) + 2 - -11. Suppose -9 = 4*j + 5*x - 2*x, -p*j = -3*x - y. Is -1/17 <= j?
True
Let y be 162/9*3/(-3). Is 224 at most y?
False
Let o be (174/8312)/((-8)/(-4 - -68)). Let z = 586544/3490001 + o. Does z = 1?
False
Let q(y) = -y - 2*y - 83 + 2*y**3 + 74 - 4*y**2 - 4*y**2. Let z be q(6). Let s be (9/(-81))/(1 - 120/z). Which is bigger: s or -2?
s
Let q = 237 + -222. Let c be 2/(-1 + 11) - (-12)/q. Which is smaller: -1/4 or c?
-1/4
Let u = -32336 + 13807470/427. Which is smaller: -3 or u?
-3
Let d = 5614.6 - 5615. Which is smaller: -6/85 or d?
d
Let z(i) = 4*i - 1. Let y(b) = 5*b - 2. Let l(x) = 6*y(x) - 7*z(x). Let u be l(4). Let k be u - 7/(-8) - 4. Is 1 < k?
False
Let p = 94.3104 - -0.0896. Let x = p - 59.5. Let q = x - 35. Which is bigger: q or -10?
q
Let x = -3941 - -3953. Suppose -g + 8 + 0 = 0. Let k be (-54)/20*2*g/x. Is k at most as big as -2?
True
Suppose 0*q = 5*q. Suppose q*i - 2*i = -5*k - 3, -4*i - 5 = k. Let z(r) = -5*r + 46. Let g be z(9). Is k smaller than g?
True
Let q = 1802 - 1800.7. Is 2/805 < q?
True
Suppose -3297*a + 3281*a - 448 = 0. Which is smaller: 10 or a?
a
Suppose -79*l + 77*l = 4*o + 5886, 0 = -3*o - 12. Is -2935 at most l?
True
Let b = 3149/4 + -664575/844. Which is greater: b or -1?
b
Let d = 193 + -349. Let a = d - -196. Which is greater: a or 37?
a
Suppose 3*p - 2*f + 8 = 0, 4*f - 8 = 2*p - 0*f. Let n be (p/(-4))/((-8)/12*3). Let v = -141 - -196. Is v > n?
True
Let v be 27/12 + -2 + 804/(-16). Suppose 5*j + 112 = 7*j. Suppose 0 = 2*z + j + 40. Are v and z unequal?
True
Let j = 186.618 + 10.382. Do -7 and j have different values?
True
Let f = 22.7366 - -1.2634. Which is greater: 31 or f?
31
Let q = -5.51 + 18.53. Let d = 13 - q. Is 0.5 at least as big as d?
True
Let n = -127 + 132. Let q be (-147)/171 - (n - 6). Do -1 and q have different values?
True
Suppose 303 - 4 = -13*g. Which is smaller: g or -12?
g
Let g = -16113/677 + 2/3385. Let k = g - -491/20. Which is smaller: 0.16 or k?
0.16
Let m(g) = -g**2 - 4*g + 15. Suppose p = 2*w - 8, 5*w + 5*p + 5 = -5. Suppose 5*k + 15 + 22 = w*n, 2*k + n = -13. Let b be m(k). Which is bigger: b or -4?
-4
Let p = -918 + 564. Let t = p + 419. Do t and 1 have the same value?
False
Let b = -927 + 926. Let u = -41 + 33. Let s be 22/77*(u - -1). Is s bigger than b?
False
Let l(h) = -h**3 - 3*h**2 + 11*h + 10. Let x be l(-5). Let v = 45809/326 + -3/163. Let o = -136 + v. Which is smaller: x or o?
o
Let h = -2038/649 - -104/33. Let y = h - 889/354. Let a be -6*(2/(-12))/(2/(-6)). Which is greater: a or y?
y
Let a = -240 - -253. Suppose a*f = 6*f - 392. Which is smaller: f or -53?
f
Let k be (-16)/24 + 1 + (46280/34725)/(-4). Is k equal to 0?
False
Let w be (-1)/((-2 + (-57)/(-29))*-1). Suppose -281 = -29*t - 1122. Is w equal to t?
True
Let l be 3982/(-20) - ((3626/70)/7 - 7). Is l greater than -199?
False
Suppose -2*x - 44 = x - 4*w, 7 = -4*x - 5*w. Let q be (-1)/(9 + 95/(-20) - 4). Is q at most x?
False
Let y = -3364544084 + 1833678093743/545. Let r = 2877 - y. Which is smaller: r or -1?
-1
Let s(r) be the first derivative of 2*r**3/3 - 3*r**2 - 23. Let d be s(-8). Let u be 4/3 + d/(-24). Is -6 <= u?
True
Suppose 2*z = -4*h - 446, -z + h = -2*z - 224. Let o = -165 - z. Which is bigger: o or 61?
61
Suppose 0 = 3*z - n - 46, 173*n + 26 = z + 170*n. Is z >= -1?
True
Suppose -8*d + 99 - 83 = 0. Let y be (d/(-38))/((-40)/(-480)). Which is smaller: 0 or y?
y
Let x = 3872.1 - 3871.8. Are x and 1/1749 non-equal?
True
Suppose 14 = -5*y - 4*h, -4*y + 3*h - 5 = -0*h. Let l be 0*2*y/8. Suppose 2*r = g - 4*g - 125, 3*g - 5*r + 139 = l. Is g < -44?
False
Let a = -12269 - -9134. Is -3133 < a?
False
Suppose -2*m - 3*v + 22 = 0, -4*m + 2*v = -7 - 5. Suppose z = 2*r, -r - 6 = -4*z + r. Let y(o) = 2*o**2 + 3*o - 3. Let w be y(z). Is m bigger than w?
False
Let a = -1.1336 - 0.9664. Are 29 and a nonequal?
True
Let y be (-3 - (-866)/287 - 3) + (-6)/(-2). Do y and 0 have different values?
True
Let o = -0.095 + 0.126. Let v = o + -1.031. Do -10 and v have different values?
True
Let n be (-18)/(-15) - (-440)/(-1200). Which is smaller: 62 or n?
n
Let k(f) = -f**3 - 12*f**2 - 11*f + 16. Let y be k(-11). Suppose 3*g + 12 = 6*t - t, 4*t + y = -4*g. Which is smaller: t or -14/11?
-14/11
Let p be 8/(-32)*56/14. Is 1.184 not equal to p?
True
Let i = -0.355 - -386.355. Let k = i + -330. Which is greater: -0.3 or k?
k
Let w(k) = 80*k + 4644. Let q be w(-56). Which is smaller: q or 327/2?
327/2
Suppose -5*k + 64 = 3*k. Let o(a) = -4*a - 9. Let i be o(-4). Suppose -k*d = 9 + i. Which is bigger: -12/13 or d?
-12/13
Let a be (-1 + 44)/((-21)/(-5958)). Let d = -12129 + a. Let l = -4595/63 + d. Which is smaller: 1 or l?
l
Let s = 15 + -97. Let n = s - 31. Let z = n - -91. Is z less than -1/3?
True
Let y = 62 - 60.8. Let z = -0.9 - 0.3. Let a = z + y. Is a at least 32?
False
Let m be 85175/585 + (-14 - 1980/(-143)). Is 144 less than or equal to m?
True
Let i be (-18)/(-144)*(-108)/387. Let q = 0 + 1. Which is smaller: q or i?
i
Let b be ((-9)/(-10))/(3/(-5))*318. Is -953/2 greater than b?
True
Suppose -10 = -4*g + n, 4*g - 34 = 390*n - 385*n. Which is greater: g or 7/1565?
g
Let c be (10/2)/(16 + -17). Let g(i) = -i**2 - 3*i + 4. Let q be g(c). Let b be 7/42 + (-185)/q. Which is bigger: 30 or b?
b
Suppose 234*i + 5*u = 237*i + 52, 0 = -2*i - 3*u - 79. Is i equal to -28?
False
Let f = 47 - 121. Let x = f - -43. Which is smaller: x or 2?
x
Let c = 219027/638 - -3415/58. Which is smaller: 403 or c?
c
Let g be 0 + (-36438)/(-12766) + 194/1261 - 3. Is g != -1?
True
Let q be (20/8)/1*(-32)/(-40). Suppose q*v + 5 = 9, -4*c - v - 2 = 0. Is c equal to 2/355?
False
Suppose -22 + 6 = -4*h. Let f be (-6)/(-70) - h/(-20). Let s = 15482 - 15483. Which is smaller: s or f?
s
Let k = -82.6382 - -0.6382. Which is smaller: k or 28?
k
Let d be (-1 - (-4)/8)*32. Let n be ((-100)/(-130))/5*2/4. Is n >= d?
True
Let d(c) = c**3 - 10*c**2. Let n be d(10). Let q = -274 - -442. Suppose -27*r + 23*r = -q. Is n at least as big as r?
False
Let x = 8 - 13. Let k be ((-70)/x)/((-1)/2). Let u(h) = -h**3 + 3*h**2 + 14*h - 5. Let y be u(6). Which is bigger: y or k?
k
Suppose -33*w - 87*w - 57706 = -34*w. Do -664 and w have the same value?
False
Let m = 8976 + -2781. Is 6195 smaller than m?
False
Let k = 3586601 + -28650649/8. Let f = -5283 + k. Which is greater: f or -13?
-13
Let o(n) = -25*n + 216. Let s be o(10). Suppose -c = -3*c + 68. Let k = c + s. Which is bigger: k or 3/103?
3/103
Let v(d) = -2*d**3 - 118*d**2 - 196*d + 135. Let p be v(-58). Is p at most as big as 5/2?
False
Let d = -106527/29 - -3673. Is 0 greater than d?
True
Let r be 2 + ((-24)/84)