= -75 + 91. Suppose 21*k - w*k + 5 = 0. Let g be 1*3/9 + 22/(-3). Do g and k have different values?
True
Let x = -5986.8 + 648.8. Is x bigger than 2?
False
Let h = 15150749/549 - 27597. Which is greater: h or 0?
0
Let k = 7.816 - 8.666. Which is greater: k or -56?
k
Let b = -83 - -53. Suppose 14*g - 10*g - 6 = -y, 0 = 3*y + 6*g - 12. Which is bigger: b or y?
y
Let i be (-57)/(4788/(-112)) - (-43192)/6. Is i > 7200?
False
Let z = -122.66 - -122.72. Do z and 58 have the same value?
False
Let s = 6147/19225 + 1/3845. Let r(t) = -2*t - 34. Let q be r(-19). Suppose 4*l + 0 = q. Is s at most as big as l?
True
Let i be (1 - 5/15)/((-2)/(-15)). Suppose g - 89 = 4*z, -g + 129 = -i*z + 41. Which is greater: g or -2?
g
Let g = 3205 - 3206. Which is greater: 3/589 or g?
3/589
Suppose 329*d - 306588 + 75630 = 0. Is d > 702?
False
Let c be (-18)/(-36) - -1*(17 + 0). Which is smaller: 1 or c?
1
Let u = -94/25 - -24/25. Let s = 171 + -174. Let h be 1 + -1 + (s - -6) - 5. Which is bigger: h or u?
h
Let r = -121.27 + 122.27. Let j = 12 - 8. Which is smaller: j or r?
r
Let k = -19947 - -418897/21. Let u = 2 - 1.9. Is u greater than k?
False
Suppose 4*n = -3*o + 90, -3*n = -o + 9 + 8. Let w = -15540 + 77829/5. Is o at most w?
False
Let h be 12 + -25 + 3254 - 8. Which is smaller: h or 3235?
h
Let x(r) = r**2 - 14*r + 5. Let i be x(15). Suppose 25*a - i*a = 0. Is 5/6 less than a?
False
Let y = 0.52258 + -16.52258. Let h = -5 - -3. Let l = -2 - h. Are l and y nonequal?
True
Let l(g) = -6*g**2 + 54*g - 2. Let o be l(9). Let x(r) = r + 4. Let z be x(-2). Is o at most as big as z?
True
Suppose 22 = -40*v + 182. Let g be -110*4/12*(-18)/v. Is g < 166?
True
Let k be (-42)/2*9396/2436. Which is smaller: k or -1057/13?
-1057/13
Let l = 727 - 296. Is 431 equal to l?
True
Suppose -24*u + 70 = 22. Let r be ((u - -3) + -4)*15. Which is smaller: r or 16?
r
Suppose -2*x = 3*z - 523, -2*x - 2*x = z - 171. Let v = 867/5 - z. Let g(t) = -t**3 + 6*t**2 + 12*t + 30. Let h be g(8). Which is smaller: v or h?
h
Let m be 50/60 + (-14)/6 + 2. Let x be (-12)/(-96) + 146/(-400). Which is bigger: m or x?
m
Let b(m) = -8*m - 14. Let v be b(-2). Let j(h) = -h**2 + 4*h + 1. Let i be j(v). Suppose -2*q + i - 7 = 0. Which is smaller: -1/42 or q?
q
Let d(a) = 7*a - 43. Let k be d(11). Suppose 2*y + 0*y = 64. Is y >= k?
False
Let x(z) = z**2 - 6*z - 33. Let o be x(11). Suppose o*q = 26*q - 44. Is q less than or equal to 8?
False
Let y = -3114 - -3114.1. Are 1689 and y nonequal?
True
Let d = 1229280 + -30723024/25. Let w = d + -359. Is 0 at least w?
False
Suppose -109*b + 70 = -102*b. Suppose b*t = -8*t - 1278. Let u be 142/(3 - (-1 + 6)). Do u and t have the same value?
True
Let t be (96/4)/((-3)/(-16)). Let g(w) = w**3 + 5*w**2 - 227*w + 893. Let l be g(4). Is l less than t?
False
Suppose -21 = h - 3*r, 5*r = 2*h + 16 + 24. Let d = -792 + 1879. Suppose o - 1075 = -d. Which is bigger: o or h?
o
Let j be 2/(4256/3931) - 2. Let h = j + 3/304. Do h and 0.14 have different values?
True
Let j be 12/(624/(-17563)) + (-2)/8. Which is smaller: j or -341?
-341
Let h be -1 + (-17 + -2 - -19). Is h at least 9/920?
False
Suppose 2*k + 37 + 215 = -4*u, -5*u = -4*k - 465. Let p be (-2)/10*1 - (-156)/k. Which is greater: -2 or p?
p
Let y be 180/(-450) - (-3)/20. Suppose 2*c = -5*t + 172, 5*c - 107 = -6*t + 3*t. Let r = t + -852/25. Is y not equal to r?
True
Let l be -6 + 48/4 - -2. Let o(t) = -3 + 1 + 7*t**2 + t**2 - 7*t**2. Let q be o(-2). Are l and q unequal?
True
Let a(g) be the first derivative of g**3/3 - 3*g**2/2 + g + 110. Let v be a(-2). Which is greater: 35/3 or v?
35/3
Let f = 24013 + -25922. Which is smaller: -1911 or f?
-1911
Let o(d) = -7*d + 25. Let s be o(4). Let j be 350/336 + -1*(s - -4). Suppose 4*i + 5*a = -23, 0*i - 4*a = 3*i + 18. Which is smaller: j or i?
i
Suppose -2*y - 1152 = -2*p, -4*y + 5*p - 2133 = 176. Let i = -38831/68 - y. Is i < 0?
True
Let q(m) = -218*m - 54. Let i be q(-4). Let o = i + -458. Is 361 greater than o?
True
Let b be 42/35 - -8 - (-4)/5. Let c be (b + 4)*((-147)/(-74) + -2). Is 0 greater than c?
True
Suppose 0 = 24*j - 26*j - a - 93, -49 = j + a. Let f be (-11)/j*(3 + 1). Are -4/9 and f equal?
False
Suppose j - 4*j - 4*v - 121 = 0, -v - 4 = 0. Let z be ((-7)/j)/((-1)/(-5)). Which is smaller: 2/25 or z?
2/25
Suppose 5*w - 4*u = -0*w - 579, 114 = -w - u. Let k = 26102 + -26217. Is k >= w?
True
Let g = -2314603841/6481116 - 877508/13173. Let w = g + 1695/4. Is -1 bigger than w?
False
Let j be -6 - 84/18*-3. Suppose -89 = j*g - 41. Suppose -4*p + 18 = -6*t + t, -4*t = 2*p + 4. Which is smaller: t or g?
g
Let p = 114679/138 - 831. Let r = -127/1518 - p. Is r at most as big as -21?
False
Suppose 9*u = 10*u + 33. Let q = u + 32. Let f be (q + (-15)/(-9))*1. Is 1 less than f?
False
Let w = -66.53 + 66.13. Is w bigger than 910?
False
Suppose 3*g = -4 - 314. Let p be 42*(-40)/(-64)*-4. Which is smaller: g or p?
g
Let b be (-3 + 2)/(2/(-58)). Let g(k) = 83*k - 387. Let q be g(5). Which is smaller: b or q?
q
Let k be (-3 - -2)*(896/266 - -5). Which is bigger: -8 or k?
-8
Suppose 4*v = 2*k + 1142, 4*v - v = -4*k + 873. Let m = v + -283. Which is smaller: m or 29/7?
m
Let k(c) = 2*c**3 + 13*c**2 + 6*c - 7. Let y be k(-6). Let v(n) = 8*n + 52. Let f be v(y). Suppose 5*d = 3*t - 20, -4*t = 5*d + 2 + 18. Is d less than f?
False
Suppose u = -2*k - 2*k + 74, -2*k - 260 = -5*u. Let n = 49 - u. Let y(p) = -p**3 - 5*p**2 - 2*p - 3. Let b be y(n). Is b at most 8?
True
Suppose 0 = -236*c + 231*c - v, -4*c - 2*v + 6 = 0. Are 3300 and c nonequal?
True
Let o = 12 - 14. Let z = o - -1. Let f = -9.68 + 9.9. Is z < f?
True
Suppose -348*j + 45496 = -392*j. Which is greater: j or -1032?
-1032
Let b = 45511/7276 - 674/107. Suppose 0 = 5*m + 3 + 2. Which is bigger: m or b?
b
Let t be ((-45)/(-6))/15*6. Suppose 0 = 2*h - o - 4, t*h + 8 = o + 4*o. Which is smaller: -131 or h?
-131
Let x(d) = d**3 - 20*d**2 + d - 13. Let l be x(20). Let f = -735/4 - -9891/52. Is f not equal to l?
True
Suppose -3*g = 2*v - 11645, -72*v + 4*g = -70*v - 11596. Is v < 5813?
True
Let q(d) = 7*d - 145 - 158 + 8*d + 95. Let k be q(26). Is 184 smaller than k?
False
Let y(l) = l**2 + 5*l - 13. Let g be y(5). Let x be 3*(-1)/(-3) - 1. Suppose x = -g*i + 34*i - 21. Are -10 and i non-equal?
True
Suppose -30 = 8*t - 13*t. Suppose -5*b = -j + 1 + 3, t = -2*b - 4*j. Let h be (4/6 + b)*-3. Is h bigger than -1?
True
Suppose 4*p + 559 = h, -166*h + 167*h = 2*p + 557. Is 1/4 greater than or equal to h?
False
Let k = -2 + 6. Suppose k*h - 4 = 2*h. Let z = 27434 + -27431. Which is bigger: h or z?
z
Suppose -5 = -w - i, -59 = 3*w - 2*i - 54. Which is smaller: w or 120/247?
120/247
Suppose 0 = -4*u - 7*n + 45, 2*u - 110 = 3*n - 133. Which is bigger: 3/33484 or u?
3/33484
Let j = -1122 + 1094. Let b = 32.55 + -3.85. Let x = b + j. Do x and -0.4 have different values?
True
Suppose -130021 = 138*s + 45*s - 8692. Which is bigger: s or -664?
s
Let y(u) be the second derivative of -2*u**3/3 + 7*u**2/2 + 15*u. Let x be y(-10). Suppose 42*n - x*n = 85. Is n >= -18?
True
Let z = -9942283/287 + 34642. Is z >= 0?
False
Let f = -121 + 113. Let u = f - -12. Let s be (u + 1 + -1)/106. Which is smaller: 0 or s?
0
Let q = -80298 + 80105.988. Let s = 192 + q. Is s >= -0.2?
True
Let r = 29757 - 29519. Is 4530/19 at most as big as r?
False
Let p be ((-8)/(-25))/((-2)/(-5))*-15. Let q = -40 - p. Suppose -4*j = 3*u + 68, 8*u - 10*u + 4*j - 72 = 0. Are u and q equal?
True
Suppose 5*x - 2169 = 2*c - 1293, 0 = 5*x + 40. Is -463 bigger than c?
False
Suppose -8*h + 10*h = 2. Is h not equal to 3/26?
True
Let y be ((-7 - (6 - 18)) + -9)/4. Is 13/342 at most as big as y?
False
Let y = 13 - 14. Let w(o) = o**3 - 4*o**2. Let r be w(4). Let j be (r + -1 - -1)/y. Is j greater than 1/53?
False
Let i = -553 - -547. Which is greater: i or 0.071?
0.071
Let s = 9.23 - 1.23. Let u = 0.14 - 0.32. Let q = u + 0.22. Is q >= s?
False
Suppose 2*z + r - 4 - 343 = 0, 2*z = -2*r + 352. Suppose 178 + 329 = 3*i. Which is bigger: z or i?
z
Let h = -931/6 - -155. Which is bigger: -1 or h?
h
Let o be -1 - (-6 - 0/(-1)). Suppose o*x = x - 76. Suppose -386*u = -385*u + 5*l + 104, -8 = 4*u - 4*l. Do u and x have different values?
False
Let s = -7 + 6.83. Suppose -5*b + a + 29 = 0, -4*b - 4*a +