ose 3*n - 3*k - 1053 = 0, n + 4*k - 188 = 183. Is 355 at least n?
True
Let b = -10592474/1195 + 8864. Is 0 <= b?
True
Let o be (-10)/(90/(-99)) - 3896388/354216. Is o equal to 1?
False
Let x be (34/6)/((-1)/(-3)). Let g be -4 - (x - 21)/(34/11). Which is bigger: -4 or g?
g
Let t be (237 + -255)*256/(-6). Which is smaller: t or 771?
t
Let d(s) be the first derivative of -s**3/3 + 3*s**2 + 13*s - 2. Let t be d(8). Let y be ((-28)/8 - t)/((-21)/48). Which is smaller: y or 1?
1
Suppose -2*k - 4*p = 4, 5*k + p + 4*p = -15. Let o be 4 + k + 2/1 + 1. Let r = o + -10. Is -7 != r?
False
Suppose -2*i + 52 = 4*y + 2*i, 3*y = -i + 41. Let t be ((-2)/(-4))/((-7)/y). Does 2/9 = t?
False
Let m = 14.5 + -13.53. Let l = m + -35.97. Are l and -2/7 nonequal?
True
Let q = -159.1 - -225.1. Is q > 0.3?
True
Let u(w) = -w**2 - 11*w + 15. Let t be u(-12). Let g(b) = -b**3 + b**2 + 6*b + 5. Let d be g(t). Let m be 54 + 1 + -1 + d. Do m and 59 have the same value?
True
Let n = -7653 - -7653. Which is greater: n or -3/925?
n
Let k(j) = -4*j**2 + 381*j + 382. Let n be k(-1). Is -526/117 bigger than n?
False
Let m(n) = n**3 - n**2 - 3*n - 3. Let p = -43 - -46. Let l be m(p). Suppose 0 = -l*w + 8*w + 30. Do w and -0.2 have the same value?
False
Let p = 3047 - 2996. Which is bigger: p or -5/3?
p
Let t be (-2847)/9 + (-1)/(-3). Let y = -414 - t. Which is greater: -96 or y?
-96
Let t = 0.00576 - 0.01876. Is t at most as big as -25?
False
Let c(i) = i**2 + i + 1. Let u(o) = o**3 + 14*o**2 + 6*o + 5. Let r(k) = 6*c(k) - u(k). Let b = -12 + 4. Let w be r(b). Do -2/21 and w have the same value?
False
Suppose -2*a - 3*a = -3*z + 3, 2*a = 6. Suppose 0 = -b - 1 + z. Suppose 5*o = 10 - b. Which is bigger: o or 2/255?
o
Suppose -2309*k = -2010*k. Let c be 3/(-66)*(-36)/39. Which is smaller: c or k?
k
Let f(n) = 5*n**2 + 13*n + 3. Let b be f(-2). Let p = -38/13 - b. Let c(m) = 2*m + 1. Let x be c(-1). Is p less than x?
False
Let v be (-10)/45 + -2*(-634)/36. Suppose -b + 19 = 3*h, 5*b + 3*h - 155 = -0*h. Let c = v - b. Is 9/4 at least c?
True
Suppose 0 = -28*c + 71124 + 37012. Which is smaller: c or 1/4?
1/4
Let b = 13 - 11. Let t be 334/26 - 34/(-221). Let w be b + 2 - (t - 9). Is w < -49?
False
Let b = -127.6 + 121. Let g = -223.2 - -223. Which is bigger: b or g?
g
Let w = 40 + -41.99. Let v = 1.9 + w. Let y = 151.8 - 151.6. Is v less than y?
True
Let o = 901/18 - 1811/36. Which is bigger: o or 376?
376
Let u be 3 + 0/2 - (-4 - 11). Let l = u + -36. Let o be (-6)/l*-3 + (-2 - -1). Is -5/7 >= o?
True
Let z = 47894 - 240742/5. Which is bigger: z or -254?
-254
Let t(r) = -31*r**2 + 153*r - 89. Let i be t(3). Let u = -137 - -227. Do i and u have the same value?
False
Let z be 1 + (-1 - 4 - -3). Let i be ((-36)/(-35244))/(z - (-79023)/79021). Let s = i - 444/11. Which is smaller: s or 1?
s
Let i be -3*55/(-33) + (-15254)/(-6). Is 2547 at least i?
False
Let r be 2457 + 60/55 + (-3)/33. Which is smaller: r or 2464?
r
Suppose 1220*d - 1216*d + 3*g + 38059 = 0, 18 = -2*g. Which is greater: -9510 or d?
d
Let a = 549 - 557. Suppose 2*n - 32 = 8. Let r be 5/n - (-70)/(-8). Which is smaller: a or r?
r
Let r = -719/17914 - -2/169. Let c = 120 - 119.9. Are r and c non-equal?
True
Suppose -72*p = 4437 + 324 + 3951. Is p less than or equal to -115?
True
Let f(n) = 22*n - 225. Let i be f(-3). Is -293 greater than i?
False
Let k be 2 + 40/(-21) - 60/630. Suppose -13*h + 89 + 171 = k. Which is smaller: h or 27?
h
Let p = -1104 - -2235/2. Let t(f) = -4*f - 24. Let n be t(-7). Suppose -n*h + 26 = -34. Do h and p have the same value?
False
Let r = 24090 + -29624. Which is smaller: r or -5535?
-5535
Suppose -15 = 17*n - 20*n. Suppose -2*r - 10 = 0, -n*r + r = 4*h - 4. Is -4/9 at most h?
True
Let u = -0.02 + -0.08. Let f = 1763/58 + -1099/29. Which is bigger: u or f?
u
Let w = -5843 + 5698. Do -158 and w have different values?
True
Let q = -6 + -79. Suppose -8*s + 15400 = -192*s + 9*s. Do s and q have the same value?
False
Suppose 636 = -11*r + 7*r - h, 0 = 3*h + 24. Is -98 < r?
False
Let h = -255.536 + 255.4. Suppose 180*o = 182*o. Are h and o equal?
False
Let k = 12.05 + 688.85. Let z = k + -701. Which is smaller: -0.21 or z?
-0.21
Let h be 568/(-22) - -5*(-50)/1375. Let r = -63 + 36. Which is greater: h or r?
h
Let s = 158 + -880. Is -3609/5 at least s?
True
Let p be (-63)/28 + 2/8. Let g be -111 + (55/25 + p)*-5. Is -112 greater than g?
False
Let y = -265.6 + 264. Let l = y + -4.4. Which is smaller: l or 0.1?
l
Let k = 36/35 - 2918/2905. Let g be (-4)/(-16)*(4 - 0). Is k <= g?
True
Let d = -7621/833895 - 5/2349. Which is smaller: d or -1?
-1
Let d be (-4)/7 - (-21 + (-7190)/(-35)). Let t(u) = -46*u. Let n be t(4). Is n less than or equal to d?
False
Let k = 2217 + -2183. Suppose 11*g + 5*g = 464. Is k > g?
True
Let d = 1472 - 5843/4. Let g be 2*(-1 - 0)/(4/(-22)). Is g equal to d?
False
Suppose -42*l - 1426016 + 388995 = 197*l. Is l at least -4337?
False
Let y = -0.06741 - 12.93259. Which is greater: y or -6.1?
-6.1
Let a = 520.484 + -520. Let v = a + -0.384. Do v and 31.5 have the same value?
False
Let w(u) = u**3 - 28*u**2 + 30*u - 48. Suppose -11*b + 12*b = 27. Let p be w(b). Suppose -170 = -7*f + 2*f. Is f equal to p?
False
Let n be ((-6)/4)/((-12)/(-1120)*2). Let i be (-4)/7 - (-1710)/n. Let k(t) = t**3 + 24*t**2 - 26*t - 26. Let h be k(i). Is -5 less than h?
True
Let u be -5 - -17 - 22 - -11. Let z = -16 - -16.38. Do z and u have the same value?
False
Let i be (16/(-696))/((-10)/(-27561)). Let v = 317/5 + i. Which is smaller: v or 1?
v
Suppose 6*q - 10*q = 0, 0 = n - 4*q + 6. Let d be 0/((-4*2)/2). Suppose d - 9 = s. Which is smaller: n or s?
s
Suppose -5*z + 268 + 622 = 0. Let y be 1 + -4 - 2/(8712/(-2172) - -4). Is y greater than or equal to z?
True
Suppose -5*c + 2*q = -17, 3*c + 358*q - 357*q - 8 = 0. Let y be 5 - 1/(2 - 1). Suppose -y*t + 7 = 4*p - 9, -c*t - 12 = -5*p. Are 20/7 and p equal?
False
Let b = -5595.8 - -5594.8. Let i = -0.01 + 0.81. Which is smaller: i or b?
b
Suppose 0 = 3*g - 4*u - 11, 2 = -3*u + 5*u. Suppose 3*j = -3*a + j + g, 2*a + 2*j - 6 = 0. Let n be a*3 + (-36)/(-6) + -5. Is -3/4 >= n?
True
Let y = 35.7 - -197.3. Let o = y - 280. Which is bigger: o or 0.5?
0.5
Let j = 54 - 53. Let l = 11638507/23169 - -18/7723. Let g = l + -128089/255. Is j greater than or equal to g?
True
Let t be (5 + -3*108/63)*-14. Which is smaller: -1034 or t?
-1034
Let r = -13 + 22. Suppose 4 = 4*h, h = 3*u + 5 - 31. Is u greater than r?
False
Let r be 68*-1*(14 + -26). Let a = r - 822. Is a bigger than -33/7?
False
Let m = 503/45 - 97/9. Suppose 2*x - 7 = -3, -49 = 5*n + 3*x. Is n at most m?
True
Suppose -14 = -3*o + 106. Suppose 3*h = -h - o. Let k be (2 + 25/h)/(3/(-144)). Is 20 <= k?
True
Let d = -14.68 + -2.42. Let l = d + 17.2. Is l bigger than 0.9?
False
Let w be 0*(-2)/(-4) - 1. Let s = -4520209/58 - -77935. Is w > s?
False
Let d = -47 - -46. Let t be (-3)/(-6)*(2 - 2)/d. Which is smaller: 2/551 or t?
t
Let x = -1013.9 - -1015.9. Is -2/269 < x?
True
Suppose 2*p - 96 = 5*p. Suppose 401*b - 24 = 402*b. Let q = b - p. Is 10 at least as big as q?
True
Suppose 33*i + 415 = 38*i. Let v = i - 72. Suppose -7*g + v = 46. Is -14 less than or equal to g?
True
Suppose -8*o + 8 = -4*o. Suppose j = i - 47, o*i - j = -51 + 140. Let y be (-14)/6 + (-3 - i/(-18)). Which is greater: y or 3?
3
Let h = -17 + 9. Let a be (9/6 + -3)/(h/(-16)). Let z = 20 + -13. Which is greater: a or z?
z
Let h(r) = r**3 - 29*r**2 - 61*r - 28. Let d be h(31). Let m be d/((-27564)/55120) - -6. Is 1 <= m?
False
Let t = -49202/205 - -640/41. Is t < -224?
True
Let u = 113993/5923468 - 9/8273. Is 1 equal to u?
False
Let m = 61 - 55. Let f be (900/40)/(m/40 - 0). Suppose -c - 5*n + 58 = 0, 3*n = 2*c + 3*c - f. Is 31 at most c?
True
Let l be (-3)/(-15) + 142/(-410). Suppose 11*k - 7 = 4. Is l greater than k?
False
Let l(h) = -h**3 - 8*h**2 + 9*h + 9. Let s be l(-9). Suppose -2*x - 30 = -4*n, 0 = -3*x - 3*n - s. Let v be 6/7 - ((-13)/x + -2). Which is smaller: v or -2/87?
-2/87
Let a = 1 + -11. Let k = a - -9.7. Let b = -1362 + 1362.08. Is k at most as big as b?
True
Let l be 81/12*-2*(-200)/(-30). Does l = -535/6?
False
Let r = 204 + -203.8. Is r < 291?
True
Let m(u) = -u**3 + 4*u**2 + u + 17. Let l be m(5). Let c be l*((-22)/3 - -4