 516/40*(-680)/(-255). Are 34 and f non-equal?
True
Let a = -130.953452 - 0.046548. Let c be 0 + 0 - (-6)/27. Is a >= c?
False
Let j(r) = 89*r**2 + 802*r + 9. Let b be j(-9). Let p(x) = -21*x - 1. Let q be p(1). Which is smaller: q or b?
q
Let v be ((-2)/4)/((-454)/480 - 32/(-40)). Is 14 <= v?
False
Let q = -14.6 - -14. Let l = q + 0.6. Let j = -959 + 959. Are l and j nonequal?
False
Let x(w) = 2*w**2 - 31*w + 113. Let b be x(8). Suppose -4*g + g = 6. Let l be (189/(-15) - g) + 3. Is b at most l?
False
Suppose -w = -5*k - 0*w, 9 = -k + 2*w. Let g = 98 + -62. Suppose 34*i = g*i. Is i > k?
False
Let j(u) = 51*u + 36. Let b be j(-3). Which is bigger: 1/5 or b?
1/5
Let k = 265.4 - 300. Let t = -41 + 6. Let r = t - k. Is r smaller than 3?
True
Suppose 472 = -38*s + 1460. Is s greater than -9/8?
True
Let g(a) = 2*a**3 - 7*a**2 + 30*a - 71. Let r be g(4). Let u(q) = q**3 + 19*q**2 + 15*q + 14. Let c be u(-18). Which is smaller: r or c?
r
Let s = 3168 - 3167. Let u = 107/6 + -8845/498. Which is bigger: u or s?
s
Let w = 337 - 354.79. Let x = 1.21 - w. Let n = x - 28. Is 0.5 at least n?
True
Let h = 138 - 435. Let j = h - -889/3. Which is bigger: -54 or j?
j
Let h = -72 - -13. Suppose -5*p - 4*i - 287 = 0, -p + 5*p - 2*i = -240. Is h at least as big as p?
True
Let h = 34 + 33. Let d = -29 + 36. Suppose 2*m + 3*p = d*m - h, -5*m + 39 = 4*p. Which is bigger: m or 12?
12
Let h be (-8)/36 - (88/9 + -3). Let n be (h - (-170)/20)/((-42)/(-8)). Let p be (-33)/3*(1 + -3). Is n equal to p?
False
Let a = -164 - -120. Let n be (-8)/a + (-106)/(-22). Do 8 and n have different values?
True
Let f be (12 + -3 - 8)*-1. Do -13/148 and f have the same value?
False
Let b be (-12 - -13)/6*258. Are b and 46 non-equal?
True
Let s = 4.247 - 3.647. Is s equal to -32/3?
False
Suppose 25*c = 4*k - 33, -5*c - 19 + 8 = -3*k. Which is greater: c or 3/1261?
3/1261
Let d be 10 + 7124/(-880) + 4 + 6/(-1). Is 1 smaller than d?
False
Let f = -66/31 + 24983/11749. Suppose -267*m + 6 - 6 = 73*m. Is m at most f?
False
Let k = 3/5060 + -2533/5060. Is -15/167 not equal to k?
True
Let o = -5437 + 38061/7. Let k = -37/4 + 17/2. Is k less than o?
True
Let q = -0.0655 - 45.9345. Let l = -113.9 + 159.98. Let b = q + l. Is b equal to -0.2?
False
Let l = -207 + 219. Suppose 2*r = 4*r, -4*y + r - l = 0. Which is smaller: -48/17 or y?
y
Let v be 32/(11/((-1276)/8)*1). Let q = 430 + v. Which is greater: -35 or q?
q
Let i be 322/(-154) - ((-4)/3 - 4/6). Are -0.04 and i non-equal?
True
Let m = -8265.6 - -8272. Is m at most 1/42?
False
Let d be (-95)/(-6 + 4 + 1). Let y be ((-1)/d)/((-52)/(-20) + -1). Which is smaller: y or -1?
-1
Let y = 108 - 105. Suppose -5*i - y*g = g + 93, -2*i + g = 45. Are -23 and i equal?
False
Let o = -7 - -9. Suppose -4*m + 0*h - 25 = -h, -10 = o*m + 2*h. Let x be 30/4*(390/50 + -9). Does m = x?
False
Suppose 2*b - 11*b = 6*b - 285. Let n be 768/42 + 4/2. Which is smaller: b or n?
b
Let q(f) = f**2 + f + 2. Let u be q(-3). Let d be 16/8*(-15)/(-6). Suppose 5*b = -d*k - 40, -u - 21 = 3*k + 4*b. Do k and -9 have the same value?
False
Let b = -29.1 + 29.7. Let g = b + -0.4. Is g bigger than 58?
False
Let n(i) = 14*i**2 + 42*i - 184. Let d be n(10). Which is smaller: d or 1634?
1634
Let k = 9931860519 - 2532620558843/255. Let n = 182305/12 - k. Let y = n + -3/680. Is 0 at most y?
True
Suppose 21180 = 15*p + 5*p. Let h = p + -87899/83. Is h greater than 0?
False
Suppose 0 = -5*b + 9*x - 245, 5*x = 27*b - 25*b + 98. Which is smaller: b or -77?
-77
Let y(u) = u**3 - 3*u**2 - 4*u + 1. Let d be y(4). Let h = 45044417/195 - 230997. Which is smaller: h or d?
h
Suppose 2*a = -8*a + 870. Let y be a/(-60) - (42/15 + -3). Which is smaller: -9/5 or y?
-9/5
Let n = -47 + 47.14. Let m = n + -0.44. Let f = -3 + 3. Which is greater: m or f?
f
Let m = -32693 - -850233/26. Is 8 greater than or equal to m?
False
Suppose 3*x - 3*s = -24, 0*s + 3*s = -5*x. Let f be 791/(-1017) + x + 1. Which is smaller: f or -3?
-3
Let n(k) = 777*k + 3110. Let s be n(-4). Are s and 27/25 equal?
False
Suppose 0 = 3*q - 7*q + 8. Let a be ((-778)/(-1548) + q/(-4))*1. Let d = a - -1150/4257. Is 1/2 greater than d?
True
Let a(v) = v**3 + 21*v**2 + 37*v + 46. Let p be a(-19). Let w be p/715 + 2949/(-32681). Which is bigger: -1 or w?
w
Suppose 183*k + 144140 + 89734 = 0. Is k bigger than -2?
False
Suppose -24 = -48*f + 56*f. Let c be (f/(-1) - 3) + 198/105. Is c not equal to 1?
True
Let i be (-932273)/3572 - 4/2. Let u = i - -263. Is u <= 1?
True
Let m(l) = -3*l + 4. Let v be m(1). Let d = 16/349 - -6068/19893. Is d at most v?
True
Suppose -4*l = -3*n - 26, -5*n = -3*n - 5*l + 15. Let z be -9 - 2 - -10 - 118/n. Which is smaller: -1 or z?
-1
Let x be (-16466)/8 + 5/20. Let w be 4/112*4 - (-292)/x. Let l = 3776/3087 - w. Which is smaller: l or 0?
0
Let x = 0.35 + -0.45. Let u = 9.334 + 0.676. Let o = 10 - u. Which is smaller: x or o?
x
Let j(t) = -3*t**2 - 24*t - 10. Let d be j(-7). Let g be d/(-33)*(-4 + -128). Which is smaller: 0 or g?
0
Let i be (-3 - 0 - 0 - -3) + 6. Let d be (-1 - -6)/(i/18). Let x = d + -21. Is x at most 1?
True
Let s = -606 - -605. Let u be (s + 255/219)*(-8)/(-16). Which is smaller: u or -1?
-1
Let c be (-10)/(-5)*1 - 43. Let k = c + 61. Suppose -5*x - k = 5*x. Are -20/7 and x unequal?
True
Suppose -8*j + 5*j - 2*y + 399 = 0, 5*y = -3*j + 390. Let z be (j/(-6))/((-15)/(-20))*-5. Which is greater: z or 2/7?
z
Let g = -6 - -9. Suppose -5*d + g*j + 324 = -0*j, 3*j = -4*d + 270. Suppose 0 = -29*l + 17 + 1868. Which is bigger: d or l?
d
Let h be 1047/((-3)/(-3))*(-13 + (-164)/(-12)). Is h smaller than 4195/6?
True
Let p = -251.89 - 0.11. Let i = 236 + p. Which is bigger: -1/2 or i?
-1/2
Suppose -3*z + 186 = -5*z. Suppose -1410 = 8152*a - 8137*a. Which is bigger: a or z?
z
Let p = -7.644 - -6.394. Which is smaller: -1 or p?
p
Let z(f) = 3*f**2 + 17*f + 3. Let t be z(-7). Let m = t - 27. Suppose y + 4 = -y, u + 7 = -m*y. Do u and -1/8 have the same value?
False
Let s = 2/38013 - -40027681/152052. Suppose 4*g = -3*l - 1038, 6 = l + 2*l. Let j = s + g. Which is smaller: j or 1?
1
Suppose 4*j - 62 = 5*j. Let l = -121 - j. Let m be l/20 + (-3)/(-15). Are m and -3 unequal?
True
Let m = -236743651 - -5673088111325/23963. Let s = -3/773 + m. Do 0 and s have the same value?
False
Let h be (696/(-580))/(2/80). Suppose 147 = 6*u - 3*u. Let m = u + h. Which is smaller: -5/3 or m?
-5/3
Let m = 8066 - 9651. Does 2 = m?
False
Let i = -10907947/25387 + -2/76161. Which is smaller: -431 or i?
-431
Suppose 83*p = 154*p + 1704. Let q(o) = 6*o**2 - o - 2. Let v be q(-1). Which is greater: v or p?
v
Let p = -82 - -212. Let m be 3/(16 + 848/(-32)). Is m not equal to p?
True
Let i(k) = -k**3 - 55*k**2 + 78*k + 570. Let t be i(-56). Which is smaller: t or -667?
-667
Let n be (850 - -8) + 30 + -43. Which is bigger: -0.1 or n?
n
Let z(k) = -k**2 - 12*k - 12. Let g be z(-10). Suppose -4 = -5*u + 3*w, 2*w + 0 + 6 = 0. Let i(y) = -7*y**3 + y**2 + y. Let x be i(u). Which is smaller: x or g?
x
Let t = 0.5 - 0.1. Let z = t - 0.9. Let a be (-16)/5 - -2 - (-396)/264. Which is greater: z or a?
a
Suppose 35*f + 69*f - 53*f = 2550. Is 48 > f?
False
Let u = 41/5 + -8. Suppose 12*m + 67 - 379 = 0. Let y be m + -20 + (-9 - -2). Which is smaller: u or y?
y
Let p = 35/9 + -157/45. Let b be 3 + (-11)/(374/(-34464)). Let k = -1017 + b. Are p and k unequal?
True
Suppose 2*b + 315 = -p, -b - 4*p = 284 - 109. Let f = b + 253. Is f at most 98?
True
Let c = 7370 + -29851/4. Which is smaller: c or 1/6?
c
Suppose 96*x - 88*x = 0. Suppose 0 = 2*g - x*g - h + 45, -2*h = -5*g - 111. Let d = 4 + -3.8. Is d bigger than g?
True
Let v = -5/269 + -134/7263. Suppose 0*y = -2*y + 2*m - 4, 8 = 3*y + 4*m. Suppose y = -b + 6*b. Which is smaller: v or b?
v
Let o = -201.75 + 201.269. Are o and -1/2 nonequal?
True
Let d = -115 + 111. Let l be ((-170)/107525)/(1 - d/(-5)). Is l less than -1?
False
Suppose -2*n - 3*n + 405 = 0. Suppose q - k + 5*k = -n, -k - 298 = 3*q. Is -103 >= q?
False
Let y be (((-8)/(-6))/2)/((-16988)/885294) + 7. Which is bigger: y or -28?
y
Let r(w) = -90*w**3 + 918*w**2 + 8*w - 16. Let u be r(10). Are u and 13039/7 equal?
False
Let p = -7 - -22. Suppose -5*w - s + p = 0, w = s - 3*s + 3. Suppose 0 = -12*f + w*f. Is 0 >= f?
True
Let h = 159 + -279.