s greater: x or c?
c
Let f be -1029*(-12)/14*42/231. Which is bigger: f or 159?
f
Let c = -16.73 + 16.53. Let t = -2/543 + 380/4887. Which is smaller: c or t?
c
Let a = 36 - 33. Suppose -10 - 40 = -5*r - 5*v, 44 = 4*r + a*v. Let w be 14/r*(1 - 2/2). Is w less than -1/15?
False
Let s = 2538 - 7613/3. Which is greater: s or 1.92?
1.92
Let i = -3401 + 3479. Which is greater: i or 387/5?
i
Suppose -128*n - 23814 = -149*n. Is n at least 1133?
True
Let i(x) = -54*x + 2. Suppose 40*z - 7 = 47*z. Let f be i(z). Which is bigger: f or 57?
57
Suppose -z - i + 8 - 10 = 0, 0 = -i - 5. Let x = -2 - -1.8. Let h = x - -0.3. Is h != z?
True
Let z = -410349 - -410349.021. Let c(r) = r**2 - r - 2. Let t be c(2). Which is bigger: z or t?
z
Suppose 3*t + 2*t = 5*z - 25, -z = -3*t - 11. Suppose 2*j + 5*v + 6 + 21 = 0, -j - 11 = z*v. Do j and 2/3491 have the same value?
False
Let a = -255 + 240. Let f be a + -1 + (-15)/(-5). Is -3/11 at most as big as f?
False
Let b be 174/495 + 2/11. Let j be -6 - (-1 - 1 - -5). Let a = j + 10. Is b greater than or equal to a?
False
Suppose -153*x - 30*x = 0. Which is bigger: -4/2299 or x?
x
Let r = 0.311 + -0.255. Let m = r + 7.944. Let p = -1 + 0. Which is smaller: p or m?
p
Let i = 0.1 + -0.2. Let c = -200 + 182. Let d be 14/6*(-17)/(3213/c). Are d and i unequal?
True
Let g = 0.068 + 2.072. Let r = g + -2.35. Do r and 7 have the same value?
False
Let l = -38719 + 7276. Let h = -221709/7 - l. Let k = h - -229. Which is greater: k or -1?
k
Let o be 5*(-9)/1371*6/(-18). Which is smaller: o or 1?
o
Suppose -16 = -3*n - 2*h, -n = -3*n + 5*h + 36. Let m be 58/(-2) + 7*n/56. Is m at most -33?
False
Let o(q) = q**3 + 8*q**2 - 8*q - 16. Let n(v) = -v + 6. Let m be n(-22). Suppose -m = -6*c - 82. Let g be o(c). Is g at most -25?
True
Let p be (13/(-4) - -1)/((-23)/((-2760)/(-315))). Which is greater: p or 229?
229
Let d = -11 - -11. Let h be (((-32)/(-60))/2)/((-6)/(-27)). Let y = h + -1. Is d at most as big as y?
True
Let r be (-4 - (-970)/(-15))/(3/(-81)*-6). Is -1239/4 bigger than r?
False
Suppose 0 = 5*s + 5*i, s = -0*i - 3*i + 6. Let t be 1/s*0/4. Suppose t = -0*u - 5*u. Which is greater: u or 1?
1
Let z = -14502 - -14372. Which is greater: z or -113?
-113
Suppose 6 - 41 = 5*t. Let b(x) = 19 - 146*x + 60*x + 77*x. Let v be b(2). Do t and v have the same value?
False
Let u = -0.81 + 1.06. Let r = -21.88 - -22. Let w = r - u. Which is bigger: 2/3 or w?
2/3
Let d be (-7)/((-70)/(-150))*(-1)/3. Suppose 2*t = -d*n - 2, -2*t - 1 = 3*n + 1. Let r be -1 - ((-4)/19 - 1). Is n greater than r?
False
Let y = 634 + -303. Let o = -338 + y. Which is greater: o or -0.01?
-0.01
Let j be (-11698)/19505 + (9 - (-3 + 15))/(-5). Is j < -1?
False
Suppose 44*o = 174*o + 57590. Is o at least as big as -448?
True
Let u be (-13218)/9*(-27 + (-11 - -41)). Is u equal to -4404?
False
Suppose g = 4*k - 140, 2*g = 4*k - g - 132. Let a be 0 - 1 - (-10 - (4 + -8)). Suppose -a*o - 2*p + 125 = -60, 2*o = 5*p + 45. Which is bigger: k or o?
k
Let c(p) be the third derivative of -11*p**4/24 - p**3/6 - 29*p**2. Let f be c(-1). Suppose -5*a - 10 = -f*a. Does -0.1 = a?
False
Let q = 6454 - 6453. Do 128/67 and q have different values?
True
Let n = 115 - 115. Suppose n*s + 4*s + 486 = 3*d, 5*d - 490 = 4*s. Is s bigger than -120?
False
Let y be (-2)/(-4*(-5)/(-10)). Let m be (16/(-12))/((-30)/(-18) + -2). Is y at most as big as m?
True
Let i = -13 + 9.5. Let m = -0.5 - i. Let f = -2734 - -2733.9. Which is greater: f or m?
m
Let b be 6/4*10 + (-15 - -19). Suppose -45 = -a + b. Is a < 65?
True
Let p = 184598995/687 - 268703. Which is smaller: p or -0.1?
-0.1
Suppose 15 - 36 = 3*t + 3*f, -29 = 3*t + 4*f. Is t > 140/197?
True
Let s be (18/(-45))/((2/5)/(-2)). Suppose 2*d + s*t - 894 = 0, -3*d + 292 = t - 1055. Suppose k + d = -9*k. Which is smaller: k or -46?
-46
Suppose 0*v - 75 = -3*v. Let d = -23 + v. Let l be ((4*-1)/12)/(d/6). Is 2/63 bigger than l?
True
Suppose 3*f + 27 = 4*i, -10*i + 26 = -2*f - 6*i. Which is smaller: f or -2/21?
f
Let h = 4927/31 - 159. Let d be ((4 - 7) + -2)/1. Let n be (d + 301/63)*18/(-4). Which is smaller: n or h?
h
Let g = -42409 - -141942922/3347. Which is smaller: -1 or g?
-1
Let w = 3052 - 3540. Which is bigger: w or 2/7?
2/7
Let x(f) = -3*f**3 - f - 2. Let u be x(-2). Let v(b) = -3*b + 57. Let s be v(u). Which is bigger: s or -41/3?
-41/3
Suppose 4*v = 904 - 896. Let q be (-36)/(-108)*84/(v + 0). Which is greater: 3 or q?
q
Let y be (-180 - 1)*((-320)/10 - -31). Which is bigger: 204 or y?
204
Suppose 3*u - 29*d - 18 = -24*d, -d = -5*u + 8. Which is greater: 53/317 or u?
u
Suppose 4*i = 20 + 4. Let j = 4 + i. Suppose -3*s + 36 = 9. Which is smaller: j or s?
s
Let h be ((-63)/(-1302))/((-9)/(-6) + -3). Which is greater: -1 or h?
h
Let m = 6913 + -6913. Is -9/1057 equal to m?
False
Let u = -11981 - -9437. Which is smaller: u or -3?
u
Let c = -5 - 5. Let s be (1755/(-220) + 5)*4 - (-4)/(-44). Let o be (c/6)/(4/s*-1). Is o smaller than -9?
False
Suppose 666 = 3*g + 5*q + 117, -3*q = -4*g + 703. Suppose -5*w = 198 - 1083. Which is smaller: g or w?
w
Let o(y) = -y**3 - y**2 - y - 43. Let l be o(0). Let h = -41 - l. Let b be (-6)/45 + h/6. Which is smaller: b or 0.1?
0.1
Suppose -5 = 58*l - 63*l. Suppose 0 = 5*a - 4 - l. Which is smaller: -8/31 or a?
-8/31
Let t = -4200 - -16801/4. Which is bigger: t or 2488?
2488
Let w = 8263 - 8258. Is w smaller than 71?
True
Let z = 61 - 50. Suppose -c + z = -3*j + 10, 2*j = 3*c + 11. Which is smaller: j or -1?
j
Suppose 1 = -2*v - 1. Let d be -2 - (-6)/4*(v - -3). Let x be d - (-5 + 21)/4. Are -7 and x nonequal?
True
Suppose -8*m - 5 = -5*d - 3*m, -4*m - 4 = -3*d. Let f be 2/(-1)*-1 + d. Let h(w) = w**3 - 2*w**2 - 2. Let g be h(f). Is g smaller than 5?
True
Let l be -1 + (6 - 3) - (-43)/(-4). Let p = -9 - l. Is 4 at least as big as p?
True
Let r be (5/100)/(66/(-192)). Which is greater: r or 37?
37
Let a = -2369 + 2370. Which is smaller: a or 24/637?
24/637
Let p = 1203 + -1204. Which is bigger: -139 or p?
p
Suppose 15*t + 62877 = -35223. Is t at least -6539?
False
Let s = -55 + 60. Suppose -n + 16 = s*p, -2 = 5*p - 17. Is -5/36 <= n?
True
Let v(m) = 7*m**2 - 327*m + 230. Let p be v(46). Is p greater than 1/12496?
False
Suppose -5*u - 12*m + 8560 = -7*m, 0 = 3*u - 3*m - 5154. Which is smaller: 6865/4 or u?
u
Let g = 35.545 + -2.545. Are g and 20 nonequal?
True
Suppose -4*d = -3*k + 31445, 3*k - 31433 = -15*d + 13*d. Is k not equal to 10478?
True
Let i be (-4)/(-6)*(-45)/80. Let r = -395.189 - -395. Let d = 1.811 - r. Which is smaller: i or d?
i
Let r = 0.15516 + -0.09516. Which is bigger: r or -16?
r
Suppose 10*s - 8*s - 1508 = 4*s. Which is smaller: s or -758?
-758
Let u be (7 + 198/(-30))*62/5890. Let l(v) = v. Let s be l(0). Which is smaller: s or u?
s
Let g be (-249800)/64 + (-3)/(-24). Let s = g + 18812/5. Let l = 141 + s. Which is greater: -1/26 or l?
l
Let c(s) = -23*s**2 - 847*s + 148. Let y be c(-37). Let p = 350 + -853/3. Is p not equal to y?
True
Let a = 36051 + -36050.92. Which is greater: a or 167.3?
167.3
Let y = 30 - 35. Let h = y + -13. Let u be 4*2/42*h. Is u > 1?
False
Let i = -11605/9 - -1287. Let z be 1 + -1 + (-106)/36. Let v = z - i. Is -22 at most v?
True
Let s = -33 - -39.8. Let x = 128.7 - 122. Let g = s - x. Is 0.031 less than or equal to g?
True
Let x(q) = 230*q + 1245. Let h be x(-3). Is h less than 554?
False
Let j(g) be the third derivative of -g**5/60 + 11*g**4/12 - 35*g**3/2 + 86*g**2. Let o be j(7). Is o not equal to 4/15?
True
Let g = -48 - -71. Suppose -4*s + g = -41. Let y = 18 - 5. Which is smaller: y or s?
y
Let m = -4047 + 4101. Which is smaller: m or 2/9?
2/9
Let w(p) = p**2 - 18*p - 25. Let n be w(17). Let c = -25 - n. Do 15 and c have the same value?
False
Suppose 6 = m - 4*m. Suppose -p = -5*r - 37, 0 = p + 3*p - r - 110. Let n be (-6)/p + (-2)/72. Is m less than n?
True
Let y = 303 + -171. Let k = -136.9 + y. Which is smaller: 1 or k?
k
Let s = -278/21 - -41/3. Let n = 32 + -32. Suppose -87*c + 85*c + 2 = n. Is s less than c?
True
Let z be (-28)/((-23)/((-54832)/(-64))). Which is smaller: z or 1046?
z
Suppose -27*z - 72 = -33*z. Suppose 6*m + 66 = z*m. Is 11 smaller than m?
False
Let f = -273 - -70. Let v = f + 189. Is 1 smaller than v?
False
Suppose 0*p + 28 = -4*u - 