/574 + 4513/56826. Which is bigger: -1 or u?
u
Let u(p) = 75*p**3 + p - 1. Let t be u(1). Let l = -73 + t. Let y be ((-342)/(-9))/(5 - (0 + l)). Is 14 at least y?
True
Let f = -1138.1 + 1140.2. Is f < -1.06?
False
Let p = 2639 + -2687. Which is smaller: -1/8 or p?
p
Let d = -1 + 2. Let a(l) = -129*l - 294. Let r be a(-6). Let x be (-10)/(-125) + 0 - r/(-250). Which is smaller: d or x?
d
Let o be (-480)/(-360) + 8/(-6). Is 18/949 less than or equal to o?
False
Suppose r - 16 = -11. Suppose 24 - 90 = -r*a + 3*z, 28 = 2*a - 2*z. Suppose 0 = -14*o + a*o - 2. Is 4/27 not equal to o?
True
Suppose 5 + 4 = 3*q, -4*l - 4*q + 40 = 0. Suppose 0 = -2*m + 5*d + 25, -5*m + 11 = -d - 17. Suppose l*g = m*g - 2. Is -2 at most as big as g?
True
Let s = -20 - -36. Let q(j) = -j**3 + 7*j**2 - 7*j + 14. Let l be q(6). Suppose g = -2*b + 10, -4 = g + 5*b - l. Is g greater than s?
False
Let i = 224.45 - 4970.45. Do -1 and i have the same value?
False
Let z(l) = l**2 + 4*l - 10. Let m be z(-6). Suppose 4*q + 15 = 5*n, -5*n + 3*n - q + 6 = 0. Which is greater: n or m?
n
Let c(n) = -n**2 - 10*n + 1. Let l be c(-5). Let b = 1414 + -1414. Suppose b = -25*u + l*u - 1. Which is bigger: 2/3 or u?
u
Let t(l) = l**3 - 3*l**2 - 11*l + 8. Let y be t(5). Suppose 0 = -3*v - y + 18. Suppose -2*x = 2*q - 4, -8*x - 9 = -v*x. Do q and 3 have the same value?
False
Let m be (-1 - 2950/24) + ((-162)/9)/216. Let h(z) = -z**2 - 23. Let x be h(10). Is m <= x?
True
Let h = 2.92 - -3.48. Let x = 6.8 - h. Which is smaller: 19 or x?
x
Let i = -31.68 - -31.664. Is -0.04 at least i?
False
Let o = -13.149 - -0.249. Let v = 77.21 - 68.31. Let w = v + o. Which is greater: w or 0?
0
Suppose 2*u - 15 = 3*w, 3*w - 4*u - 9 = -30. Let s(x) = 6*x**2 - 21*x + 38. Let p be s(2). Let c be -2 + 10/p*4/6. Which is bigger: c or w?
c
Let o = -1388/15 - -18164/195. Let q(l) = l**2 + 6*l. Let k be q(-5). Let d = -3 - k. Is o != d?
True
Let v(j) = -140*j - 844. Let x be v(-6). Which is greater: 239 or x?
239
Suppose 6*i = 4*j + 3*i + 185, 4*j - 5*i = -183. Let d = -21 - j. Let c be d/(-40) - 42/(-105). Is 7 <= c?
False
Let k = -151059 - -1658601/11. Do -277 and k have different values?
True
Suppose -3*a + 3 = -6. Let g = -186 + 189. Let n be 18/g + (a - 0). Is 3 at most as big as n?
True
Suppose -6828 = -4*y + d, 5*y + 62*d = 58*d + 8514. Suppose y = -36*n - 5926. Does -213 = n?
False
Let p = -635 + 27307/43. Let n = -53 - -74. Let i = n - 20. Which is greater: p or i?
i
Let m(b) = -b**3 + 30*b**2 + 18*b - 478. Let h be m(30). Let o = -31 + 60. Let u be (h/o - 3) + 1. Which is greater: u or 1?
1
Let j be (8/(-2))/(-1*10/5). Let c be 10/(1/((-3)/(-18))). Is c at most j?
True
Let o = -1365 + 32765/24. Let y(l) = 8*l**2 + 414*l - 104. Let d be y(-52). Which is bigger: o or d?
o
Let r be 7 - -3 - (-40 - -49). Which is smaller: 1/3910 or r?
1/3910
Let h be 6/16 - (-354049)/11688. Suppose 5 = 2*c - 7*c. Which is smaller: h or c?
c
Let j = -1.177 - -1.277. Let m = 13.7 - 1.7. Let x = 11 - m. Which is greater: j or x?
j
Let z be (30/18)/(6/(-5418)). Which is bigger: z or -1510?
z
Let y be (42 + -14918)*2/(-4). Is 7438 less than or equal to y?
True
Let q be 12 - ((-112)/(-36) + (-84)/27 + 3). Let l(j) = -j + j**3 - j + 6*j**2 + 8*j. Let g be l(-4). Which is smaller: g or q?
g
Suppose 4*l = h + 102003, -2*l - h = -30914 - 20089. Is l < 25500?
False
Suppose -269*f - 463*f = 423828. Do -1 and f have different values?
True
Let a be ((-4)/(-34244))/(57/798). Which is bigger: a or 0?
a
Let g = -16.4124 + -9.5876. Let p = 0.13 + -8.13. Is g != p?
True
Let w(r) = -r + 6. Let i = 38 - 50. Let z be w(i). Let g be (-42)/z - -3*1. Is g at most as big as 0?
False
Suppose 2*y - 2563 = 5*k, 10*y - 5*y - k = 6465. Which is smaller: 1291 or y?
1291
Let u be (-6)/33 - (-192)/(-33). Let v be ((-2)/(-9))/((-4)/u). Suppose 23*j = 20*j. Is v at least as big as j?
True
Let i(z) = -z**2 + 123*z - 818. Let m be i(7). Which is smaller: 331 or m?
m
Let n = 70 - 72. Let b be (-5 + 2 - -1)/n. Let h be (-13)/(-12) + (-7)/28. Do h and b have the same value?
False
Suppose 70*x - 127 + 386 = -301. Which is greater: x or -49/6?
x
Let i be (-4 - -7) + (-206)/72. Let h(g) = g**2 - g - 3. Let u be h(2). Let w be ((-3)/1 + 4)*u. Which is bigger: w or i?
i
Let a = -1744 - -1745. Which is bigger: 2/5405 or a?
a
Let n = -23990 - -23994. Let k be (16/10)/(1/5). Which is bigger: k or n?
k
Let o = 314 - 219. Let k = o - 135. Let t = k - -39.7. Which is greater: t or 2/5?
2/5
Let x = 3409 + -3441. Which is smaller: -30 or x?
x
Suppose 945 = -9*r + 2*r. Let f be (4/(-40))/(6/r). Which is smaller: 3 or f?
f
Let j(m) = -8*m + 94. Let t be j(33). Let n = 150 + t. Are -14 and n nonequal?
True
Let q = -42374 + 30094. Is q at most as big as -12279?
True
Let d = 0.1 - 0.2. Let j be (-135)/(4/80*5). Let k be ((-3306)/j)/19 - (-4)/(-18). Is d at least as big as k?
False
Suppose z + z + 88 = 0. Let v = 28 + z. Let f be (135/20)/((-6)/16). Are f and v equal?
False
Let w = 0.23953 - 0.33953. Which is greater: -2/871 or w?
-2/871
Let n = -258.35 - -1598.35. Which is bigger: 0.04 or n?
n
Let a = 178514.47 - 177796.4339. Let f = -718 + a. Is f equal to -1/4?
False
Let s be 3 - (-2)/((12/(-693))/(-2)). Let m be (-1050)/s - -5 - (-6)/39. Is m equal to -136?
False
Let k be (6 - (26 - -3)) + 40/10. Is -204/11 bigger than k?
True
Let m be -39 + 22 - 1885/(-111). Is m at most 0?
True
Suppose 2*l = 6, -6317*l + 6321*l + 68703 = 5*p. Are 13744 and p non-equal?
True
Suppose -5*x - 3*l + 83 = 0, 5*x + l = -l + 82. Let w be (x - 12) + 4*-11. Which is smaller: -38 or w?
w
Let c be (-2545)/(-1527)*(-2223)/(-5). Which is smaller: c or -7?
-7
Suppose 872 = -4*p + 8*p. Suppose 5*a - 1070 = -4*c, 3*c = -10*a + 6*a + 857. Is a not equal to p?
False
Let o = 458.31 + -456. Let a = 0.19 + o. Let w = 5.5 - a. Which is smaller: w or -0.1?
-0.1
Let i = 5214275/4382 + -16655/14. Which is greater: i or -1?
i
Suppose -2*l - 15*n + 237 = -16*n, 5*l + n - 596 = 0. Which is smaller: l or 120?
l
Let m = 1569/2 + -112969/144. Is m bigger than 2?
False
Let o = 22359 - 40768. Is o >= -18409?
True
Let o = -909 - -95443/105. Let a be -3 + ((-12)/(-3) - 0). Let c be -3*(a + (-8)/6). Is o > c?
False
Let z = 16182 - 13786. Do z and 2398 have the same value?
False
Let j = 44 + -38.6. Let r = 0.026011 - 2.026011. Which is bigger: j or r?
j
Let r = -111 + 36. Let u = -84 - r. Do u and -4 have different values?
True
Let m be -3 + (2 - 1) + 13752/6710. Let z = m + -4/305. Let u = -10 - -11. Are z and u non-equal?
True
Suppose -3*a + 0*a + 488 = -64*a. Is a at least as big as -392/55?
False
Suppose -391 = -5*a + 3*w, -2*w + 389 = 5*a - 4*w. Suppose 0 = 18*o - 21*o + 237. Is a less than o?
True
Let x(v) be the third derivative of -53*v**7/5040 - v**6/240 + 13*v**5/60 - 5*v**2. Let s(q) be the third derivative of x(q). Let i be s(1). Is i at most -57?
False
Let v = -4783/7161 + 3/2387. Which is smaller: 681 or v?
v
Suppose 4*i + 62 = -22. Let v = -10 + 19. Let c = -13 - v. Is c bigger than i?
False
Let d = -191 + -51. Let k = 242 + d. Let s be 18/(-852)*8/(-6). Which is smaller: k or s?
k
Let b = -11 + 113. Let f = -101.01 + b. Let h = -1.05 + f. Which is smaller: h or -1?
-1
Suppose 2*y - 3*s + 11 = 4*y, y + 2*s = 7. Which is smaller: y or 537?
y
Let j be 42/(-28)*40/(-15)*(0 - -1049). Is j greater than 4197?
False
Let y be (-10707)/510 - (34 - 55). Which is smaller: y or 3/7?
y
Let y(x) = 18 - 4*x - 13*x + 1 + 14*x. Let m be y(4). Let z be 7/m - (-1 + 3). Is z greater than -2/121?
False
Let k = -72 + 66. Suppose -5*i = -5*x - 15994 - 15291, 25036 = 4*i + 4*x. Let s be 2/k - (-2128)/i. Does s = 1?
False
Suppose 0 = 2*i - 12*i + 15870. Suppose 17*h + 62 = -i. Which is greater: h or -96?
-96
Suppose -5*u - 5*z - 25 = 0, 5*u + 3*z = 5 - 20. Suppose u = 7*r + 192 - 10. Which is smaller: r or -28?
-28
Let w = -554 - -779. Suppose 0*o + w = 3*o. Is 75 > o?
False
Suppose 0 = 14*l - 18*l + 140. Let w(u) = 12*u - 24. Let k be (3/(-4))/((-9)/60). Let x be w(k). Which is smaller: l or x?
l
Let a = -4243 - -3209. Is -1036 greater than a?
False
Let z be ((-156)/(-8) + -21)*(-1712)/54. Which is smaller: z or 48?
z
Suppose -46*k - 8 = -50*k. Let p be k/(-3) + (-9)/(-27). Do p and -4 have the same value?
False
Suppose -40 = 6*q - q. Let i