ler: -65/2 or c?
c
Suppose -3*a + 4 = 7. Let j(o) = 7*o**2 - 6*o - 7. Let u be j(-1). Suppose 5*g = f - 9, u*f = -2*g + 10*f - 18. Are a and g nonequal?
False
Suppose 3*d - 3*m - 213 = 0, 102 = d - 5*m + 11. Let j = 66 - d. Is j != 13/25?
True
Let x be 22/(-24) + 10/15. Let i = 265/27 - 88/9. Is i less than x?
False
Let m be (-15)/(-6)*6*20/25 + 1. Which is smaller: 163/14 or m?
163/14
Suppose 4*w - 4 = -0, -4*w + 4 = -4*j. Let z be (j - 1)/(2 - -1). Let c = 1239/494 + -2/247. Are z and c equal?
False
Let n be (-5)/15*3*-5. Suppose 0*f - 5 = -n*f. Let b be 4 - (-3)/(-1) - ((-93)/102)/(-1). Which is greater: b or f?
f
Let v be ((-658)/(-63) - 10)/(-764). Is 1 not equal to v?
True
Let q(i) = -16*i + 92. Let v be q(6). Let o be v + (-1 - -1) + (-46266)/(-11583). Do o and 0 have the same value?
False
Let k = 160 - 254. Let r be 3048/(-32) + 60/(-80). Is k greater than or equal to r?
True
Let c be 162/(-24) + 6 + 87/(-12). Let s be -4*4/c + 6/(-2). Which is smaller: -3 or s?
-3
Let y be (2/(-38))/((-53)/159). Let d(o) = -o. Let n be d(-4). Let u = -3 + n. Which is greater: u or y?
u
Let d be -1 + (22/2 - (-2 + 2)). Let v(p) = p**3 - 12*p**2 + 22*p - 10. Let z be v(d). Let n be (84/30 + -5)/(4/z). Which is smaller: n or -0.2?
n
Let o(c) = -28*c**3 - 2*c**2 + 8*c + 21. Let q be o(-2). Let w(n) = 16*n - 17. Let x be w(15). Is x bigger than q?
True
Let g be -3 - (-5 - 16) - -2. Let n be 4 - ((-21)/(-5) - (-4)/g). Is -21 at least as big as n?
False
Suppose -2*b - 13 = -d, 82 = -2*b + 72. Is 267/115 != d?
True
Let n(o) = -5*o + 175. Let v be n(35). Let q(w) = w**2 + 3*w - 8. Let t be q(v). Let a be (2/8*1)/1. Which is smaller: t or a?
t
Let h = -771 - -408. Let o be -364 + 3/1 + -3. Which is greater: o or h?
h
Let y = 2145.6 - 2144. Is y less than or equal to -3/32?
False
Let u = 21580 - 29623. Is u != -8043?
False
Let f = -16/255 - 398/1785. Which is smaller: 7/68 or f?
f
Let w be (14/(-10) + 4/10)*-2. Suppose w*k - 3 = -9. Which is greater: k or -39?
k
Let b(k) = -k**3 + 28*k**2 - 53*k - 66. Let y be b(28). Let r = y + 20162/13. Let u(s) = -s**2 - 2*s. Let j be u(-2). Do j and r have different values?
True
Let w = -11691 - -7854. Let g = w + 656129/171. Which is greater: -1 or g?
g
Let t = 166.899 + -167.5. Are 0 and t equal?
False
Let v = 301/5 - 60. Let j(x) = -5*x**2 + 5*x - 16. Let d be j(4). Let a = d + 75. Which is bigger: v or a?
v
Let f = 5403 - 5401. Is f less than or equal to 43/61?
False
Suppose -6*a + 3*a - a = 0. Let n be (a - 0)*(-4)/8. Which is smaller: -7/20 or n?
-7/20
Let x = -51/28 + 541/420. Let s = 20491/570 + -690/19. Let a = x - s. Which is smaller: 2 or a?
a
Suppose -4*l - 2*t = -226, l + t = 97 - 43. Let q be (0 - 3/2)*-40. Which is smaller: q or l?
l
Let i(r) = -2*r**3 - 44*r**2 + 102*r + 166. Let h be i(-24). Let m(j) = 4*j**2 - 4*j + 1. Let x be m(3). Which is smaller: x or h?
h
Let l be (-6)/(-8) - (-203)/28. Let s be (-12)/16 - 2/l. Suppose 6*b = -b + 14. Which is smaller: b or s?
s
Suppose 0 = 7*z - 12*z. Suppose -1474 = -0*i - 11*i. Which is smaller: z or i?
z
Suppose 154*n - 76*n = 68*n + 590. Is n less than 1464/25?
False
Let j be (68/10)/(99/(-495)). Is -8 greater than j?
True
Suppose 17*k - 352 + 161 - 1186 = 0. Which is smaller: 108 or k?
k
Let d = 1046743817441/2001117838899 + -2/340847869. Let o = d - -1/309. Let s be 1 + 1 + -2 + 1. Are s and o equal?
False
Let v = 651/104 + -41493/2392. Does -10 = v?
False
Let v be -15 + 92/26 + 11. Which is bigger: v or 778?
778
Suppose 2*l - 1547 = -2*b - 1545, l + 3*b - 5 = 0. Which is smaller: -2/5829 or l?
l
Let z = -4.253 + 4.008. Which is bigger: 0.26 or z?
0.26
Let z be (-5 - -1 - -1) + 5318/1774. Let d = z - -10658/6209. Is d >= -2/3?
True
Suppose 4*i + 4 = -0. Let v be 90/(-12) + 30/12 + -1 + 32. Is i smaller than v?
True
Let f = 19077396251/1074781465275 + 3/50737925. Let a = f - 1/307. Which is greater: a or -1?
a
Let c(h) = -2*h**3 - 5*h**2 + 3*h + 21. Let d be c(4). Is -173 at most as big as d?
False
Let f = -0.09737 + -11.90263. Which is bigger: f or 33?
33
Suppose -5*s = -7*s - 652. Let w = s - -169. Let b = -949/6 - w. Which is bigger: b or -1?
-1
Suppose 389*u - 377*u + 2616 = 0. Which is smaller: u or -214?
u
Let v be ((-386)/(-1930))/((-2)/40). Is -187/36 <= v?
True
Let z = 2212 + -5648. Which is greater: -3434 or z?
-3434
Suppose -1253 = b + 5*p - 175, 3136 = -3*b - p. Which is greater: -1045 or b?
b
Let o = -1832162779 - -320627619203/175. Let l = -4955 - o. Is l equal to -1?
False
Suppose -129 = -30*v - 129. Let f be (-55)/118 - (-14)/28. Which is greater: f or v?
f
Let m(w) = -25*w**3 + 129*w**2 - 258*w - 1. Let x be m(2). Are x and -1810/9 unequal?
True
Suppose 225 = 25*d + 625. Is 3/2 greater than or equal to d?
True
Suppose 5*p + 2*y - 74 = 0, 2*p = 5*p - 3*y - 36. Suppose -16 = -z - p. Suppose 2*l - o - o + 14 = 0, -z = -o. Which is bigger: -4 or l?
-4
Suppose u = -4, 45*o - 48*o = -4*u + 155. Which is smaller: o or -10?
o
Let q(f) = -f**3 + 7*f**2 - 2*f + 9. Let m be q(3). Let p be 0*(-1)/(-7) - m. Is -40 at least p?
False
Let c(n) = 35*n - 245. Let x be c(7). Let g be (-9)/27 + 278/870. Which is greater: g or x?
x
Let p be 6 + (40 - -19)/(3/(-411)). Is p less than -8076?
True
Suppose 267*n + 5278 = 297*n - 4712. Is 326 equal to n?
False
Let x(b) = 22*b**3 + b**2 - 3*b + 2. Let v be x(2). Let i be (1 - 0) + -14*190/(-15). Let y = i - v. Is 3 at most as big as y?
False
Suppose 5*c - 45 = 4*w - 6*w, 0 = 2*c - w - 9. Let r = c - -1. Suppose -146*b + 160 = -1154. Is b not equal to r?
True
Let i be ((-7)/(-4))/(6468/(-672)). Which is smaller: 221/7 or i?
i
Let m = -2083 - -1624.6. Let r = m + 458. Is -14 < r?
True
Let f be -6 - 13 - -9 - (-1 + 4 + -8). Are f and 0.331 nonequal?
True
Let m = 23678/369 + -385/6. Let i = 14/369 - m. Which is smaller: i or 1/2?
i
Let f = 4510 + -4510. Which is greater: 7/1314 or f?
7/1314
Let p = -448 + 493. Suppose -236 = p*c - 11. Which is smaller: 0.05 or c?
c
Let t = 615 - 615.1. Which is smaller: -1687 or t?
-1687
Suppose 43*f = 42*f + 183. Let w = 256 - f. Are 72 and w equal?
False
Let q(l) = l**2 - 30*l - 327. Let y be q(37). Do y and -76 have the same value?
False
Suppose -77*q + 554023 - 194048 = 0. Which is bigger: 0 or q?
q
Let z(f) = -15*f**2 - 143. Let t be z(-9). Is t at least -1358?
True
Let l(w) = 3*w**2 + 2*w + 1. Let v be l(-1). Suppose -n + v*s + 12 = 0, 0*s = 4*s + 20. Let h be 30*1/(n + -4). Which is smaller: -16 or h?
-16
Let r = 913914770/4900973 - -2/2100417. Let u = r - 550/3. Are u and 6/5 unequal?
True
Suppose p + 5839 = 3*f, 6*f + p - 14784 + 3118 = 0. Which is bigger: f or 1942?
f
Let i be (5490/(-1464))/((-4)/20 - (-226)/1080). Which is greater: -409 or i?
i
Suppose 0 = 89*g - 3134 + 10699. Is -432/5 smaller than g?
True
Suppose -179 + 23 = -26*j. Let v(z) = 2*z**3 - 3*z**2 - 8*z - 33. Let s be v(j). Is s less than or equal to 244?
True
Let c be 4/(-6)*45/(-30). Suppose -18*o - c = -19. Which is smaller: 2/349 or o?
2/349
Let d = -55.4 - -53.4. Suppose -3*f = 5*i + 28, f - 5*i = -2 + 6. Is d at least f?
True
Let b be ((-128)/60 - (-4)/30) + 104. Let g be (6/12)/((-3)/b). Let s = 18 + g. Is s bigger than -2/373?
True
Let i = 14.512 - -3.018. Which is greater: 0.2 or i?
i
Let m be ((-141)/12)/(2/8). Let a be (-50)/(-200) + (-11)/(-4). Suppose -3 = -a*c, -8*x - 141 = -5*x - 3*c. Does x = m?
False
Let x(i) = 132*i - 47. Let k be x(6). Let l be k/(-7) + -4*33/(-308). Which is greater: l or -107?
l
Suppose 175 = -17*v - 352. Let x be 1/3*(-5 + 3 + v). Which is smaller: -4 or x?
x
Let h = 27.09 + -27.19. Do h and 936 have different values?
True
Suppose 90 = -8*y + 210. Let l be (-36)/(-6) - y - -3. Are 36 and l unequal?
True
Let v = 893 + -36. Let t = v - 7685/9. Suppose -20 = 14*l - 19*l. Is l at most t?
False
Let a = 61 - 47. Let v be 2 - 2 - (4 - a). Is v > 10?
False
Let u be 247/(-13) + (-785)/(-35). Which is smaller: -3/8 or u?
-3/8
Let t be (-1 - -1)*(-390)/390. Is t at least -1/174?
True
Let v = 255798/7 + -36525. Suppose y = -4*g + 68, g - 6 - 11 = 2*y. Are g and v non-equal?
True
Let b(p) = 120*p**3 - 5*p**2 + p + 2. Let o be b(1). Let h be 0/(-8 - -7) + 2/o. Let c = 8 + -7. Which is bigger: h or c?
c
Let p be 16 - ((-279)/(-9) - 13). Which is greater: -85/52 or p?
-85/52
Let u(r) = r**2 -