f be b(14). Which is smaller: -83/391 or f?
f
Let x = -132 - -230. Suppose 0 = -4*v + x + 946. Which is smaller: v or 262?
v
Let b = 93/776 + 976131/3880. Let p = 252 - b. Is 1 != p?
True
Let b be (0 - 2)*(0 - -2). Let y be -10*27/12 + 2/b. Which is bigger: y or -24?
y
Let o be -2 + (-1)/((-54)/106). Let h = 11218 - 11218. Which is smaller: h or o?
o
Let f(o) = 10*o**2 - 4*o + 3. Let m be f(1). Let k(j) = 9*j - 4. Let l be k(2). Which is greater: l or m?
l
Let v = -150 - -121. Let m = -28 - v. Which is smaller: m or -7/20?
-7/20
Suppose -3*i = -6*h + 3, 5*h + 17 = 13*i - 17*i. Which is smaller: i or -6/11?
i
Let k be 122/(-3) - (-36 - -32). Let q = k + 42. Are q and 5 non-equal?
True
Let f(b) = 2*b**3 - 14*b**2 - 29*b - 25. Let k be f(9). Let w = -27 + k. Let i = 0 - 1. Is w bigger than i?
True
Suppose -78 = -521*d + 518*d. Let z be (-15)/(0 + 5) + d. Which is smaller: z or 22?
22
Suppose -g - 5*d = 473, -4*g - 2*d - 896 = 978. Is g < -461?
True
Let l be 1/(5/15) - 4 - -60. Let z = l + -11. Is 49 greater than or equal to z?
True
Let j be (3 + (0 - 23))*-4. Let n be j/(-4)*(-4)/90. Let a be -3 - (3/(-7) - (-100)/(-84)*3). Which is greater: n or a?
a
Let t = -167/350 + 21/50. Suppose 0 = -55*m + 17*m - 2*m. Is m less than or equal to t?
False
Suppose 0 = -4*v - 4*m - 980, m - 45 = -40. Which is smaller: v or -249?
v
Suppose -2*x + 5*o - 34 = -29, -2*x + 2*o + 4 = 0. Suppose 0 = -2*y + x*c - 12, 4*c = 4*y + 5*c + 2. Which is greater: y or 92?
92
Suppose k + 4*y + 20 = 7, 2*y = 2*k + 66. Let h be -6 + 9 - 0/(-1). Suppose -h*m + 53 + 43 = -4*a, 3*a + 93 = -3*m. Which is smaller: k or a?
k
Let y be 24/3 + (-13)/1. Let d be (-108)/33 + (2 - 22)/y. Which is bigger: 0 or d?
d
Let i = 2225 + -2525. Which is bigger: -299 or i?
-299
Let t = 0 - -0.2. Let f = -277 - -279.965. Let h = 0.035 + f. Which is smaller: t or h?
t
Let a = 39.2 + -35.2. Are -2 and a unequal?
True
Suppose -86*s = -87*s + 46. Suppose s*y - 39*y = 70. Are 5 and y non-equal?
True
Let g = -53 - -52. Let u(i) = i**3 + 32. Let s be u(0). Suppose -f - 2*b - s = 3*f, f + 5*b = -26. Is g > f?
True
Suppose 60 = 2*u + 2*u. Let s be 16*(-2 + u/6). Let n(r) = 5*r**2 + 53*r + 135. Let a be n(-7). Is s smaller than a?
True
Let y = 0.054 + -0.214. Let l = -0.75 + y. Let t = l + -0.09. Is -17 at least t?
False
Let c = -233.2 - -232.2. Does 1236 = c?
False
Suppose -3 = a - 2*a. Let n be ((-28)/12)/(-7)*6. Suppose -a - n = r. Do 4 and r have different values?
True
Let d = 117 + -112. Suppose -d = -y - 41. Are y and -112/3 nonequal?
True
Let n = 21 + 36. Is 39 bigger than n?
False
Let i(q) = -3*q**3 - 94*q**2 - 32*q - 37. Let f be i(-31). Which is greater: -185/27 or f?
f
Let l = 9/22 - -69/154. Let h = -4 + 6. Suppose h*g + 1 = 5. Is g < l?
False
Suppose -428*w + 454*w + 3510 = 0. Let k be (8/10)/(1/(-170)). Which is greater: k or w?
w
Let w = -50.56 - -2.56. Is w less than -44?
True
Let v(j) = -j**2 - 10*j - 21. Let a be v(-6). Let g be (26/(-10) + a)*5/2. Let b be (382/192 - 1) + -1. Which is bigger: b or g?
g
Let v be 3510/81*(1 + 20). Let r be 5/(-38)*(-14)/v. Is 1 equal to r?
False
Let c be (8*-1)/(-2)*(-6 - -2)/(-68348). Which is smaller: -1 or c?
-1
Suppose 24*i - 3510 = 102*i. Let n = 0.3 - 0.4. Is n smaller than i?
False
Let p = -254185723511525300439463/14688817255623201 + 380/1993866873303. Let f = 17304710 + p. Let t = f + 1/139. Which is smaller: t or -0.2?
-0.2
Let n = 31 - 26. Let w be ((-6)/(-99))/(n/(-51)). Let p = -4/5 - w. Is p less than or equal to -0.1?
True
Suppose -2*m = -2*j + 4*j - 66, 3*m + 189 = 5*j. Let f be (-820)/264 - (-30)/j. Is -3 at most as big as f?
True
Let b be (64350/200)/(((-4)/26)/(1 + -17)). Is 33462 at most as big as b?
True
Let f = -3968277/871 - -4556. Which is greater: 1 or f?
1
Let x = -8.6 + 127.6. Let y = 118.8 - x. Let n = 0 - 5. Is y > n?
True
Let d = 22 - 28. Let b(h) = h**2 + 4*h - 14. Let r be b(d). Let z = 79 + -80. Which is smaller: r or z?
r
Let m(q) = q**3 - 3*q**2 + 4*q. Let r be m(3). Let x(c) = 2*c**2 + 15*c - 17. Let o be x(-8). Let a = o + r. Is 5 less than or equal to a?
False
Let n = 96 + -361. Let x = n - -147. Let y = -118 - x. Which is smaller: y or 15?
y
Let a(c) = 2*c**3 + c**2 - c - 3. Let b be a(0). Let y = -42 - -58. Let l = 17 - y. Which is smaller: l or b?
b
Suppose 0 = q - 5*q + 8. Let o be (1 + -2)*-4 - (29 + -22). Let v be 17/(-1530)*o/q. Which is smaller: 0 or v?
0
Let p be 11*3/9*-3. Let m(f) = -f**2 - 7*f + 27. Let s be m(p). Let z be ((-1)/(-2))/(s/34). Is 1/23 != z?
True
Let w be 23140/2925 - 16/2. Is w < -0.3?
False
Let z be (-72)/(-16)*16/(-12). Let b be (472/(-16) - 5)*8/z. Which is bigger: -1 or b?
b
Let h(k) = -k**2 - 9*k - 7. Let a be h(7). Let b = -406 + 288. Which is smaller: a or b?
a
Let u = 4660035560/14677 - 317506. Which is bigger: u or 0?
0
Suppose -5*d + 59 = -k, -k + 29 = -164*d + 167*d. Is 36 smaller than d?
False
Suppose -4*v = -2*m - 9*v - 12, -8 = m + 3*v. Let j be 5 - m/(-3)*(-105)/35. Is 6/43 not equal to j?
True
Let l(y) = -53*y + 95. Let c be l(52). Are -2660 and c non-equal?
True
Let p = -0.15542 - -4035.15542. Do p and 1 have the same value?
False
Suppose -g + 409 = -6*g - 2*q, 2*g - 5*q + 152 = 0. Let v = g + 47. Let d be (-554)/18 + v/153. Which is greater: d or -32?
d
Suppose 18*x + 6*x = 48. Let g be 2 + (1653/(-203) - x/(-14)). Is 17 greater than g?
True
Let m be (20/98)/(((-40)/4)/70). Which is smaller: m or 8/39?
m
Let o(k) = 1068*k - 849. Let a be o(1). Is a not equal to 194?
True
Suppose -26 = y + z + 3*z, 5*z - 13 = 2*y. Let u be (-55)/15*(50/y - -4). Are -2 and u equal?
False
Suppose -g + 27 = 96*t - 98*t, -5*t - 60 = -g. Which is smaller: -138/13 or t?
t
Suppose -3*q + 7 = 40. Let a be (-2)/(-4*1*6/72). Let n be (-14*a/16)/((-6)/(-16)). Which is smaller: q or n?
n
Let m = -3134 - -3133. Which is smaller: -2/1529 or m?
m
Let d = -620.0645 - -1.1645. Let u = -662 - d. Let z = u + 43. Which is smaller: 0.2 or z?
z
Let t be 175/10*152/10. Let q = 531/2 - t. Which is greater: 1.96 or q?
1.96
Let y be (117/18 - 6)*-296. Which is smaller: y or -145?
y
Let q = -84515/6 + 14120. Let g = -16833 + 16866. Is q greater than or equal to g?
True
Suppose 4*c = -3*w + 47, 3*w + 6 = 3*c - 3. Suppose 23*z = 15*z + c. Which is smaller: -1 or z?
-1
Let u = 0.01597 + 16.98403. Which is smaller: u or 1/161?
1/161
Let h = 195247/72645 - 116/2505. Let k = h + -6/145. Let a = 148209 + -148205. Is k > a?
False
Let s be (-2)/(-1*4/18). Let n be 4 - (-1)/(64/60 + -1). Suppose 0 = 3*h + 9*y - 10*y - n, 2*h - 10 = 2*y. Is s greater than or equal to h?
True
Let m(s) = 535*s - 38488. Let t be m(72). Suppose 0*f = 5*a + 4*f - 148, -f = -3*a + 99. Is t less than a?
False
Let r(a) = -4*a - 1. Let l be (4 + 20/8)*2. Suppose y - 5 = 2*y - 3*o, -4*y + 5*o - l = 0. Let f be r(y). Does 7 = f?
True
Let f = -304.5 - -1766.5. Which is smaller: f or 2?
2
Let z = -90 + -99. Is 11 <= z?
False
Let y = 414 - 281. Let f = 37 - y. Let n be ((-3)/(-4))/((-8)/f). Which is smaller: n or 5?
5
Let t = 149/36 + -11/9. Let m(c) = -c**3 + 706*c**2 - 2836*c + 115. Let i be m(4). Which is smaller: i or t?
t
Let h be (-1)/8*230 - (-5)/(-4). Let r be (-42)/(-100) - (-15)/h. Which is smaller: r or -1?
-1
Suppose -4 = -2*m + 4. Suppose 0 = 6*p - m - 20. Let d = -274 + 271. Which is smaller: d or p?
d
Let a = -518885.937 - -518506. Let b = 380 + a. Let f = -4 - -3. Which is bigger: b or f?
b
Let i be 4*(-4 + 20/4). Let y be 0 - (0 + -2) - i. Let j(c) = -c**3 - 2*c**2 + 2*c + 3. Let s be j(y). Which is bigger: s or 2/145?
2/145
Let s be (-2 + 0)/((-4)/10). Let t = 39 - 19. Suppose 0 = -52*h + 57*h - t. Is h at least as big as s?
False
Let w = -13940 - -13942. Are w and -294 equal?
False
Let n = 505 - 524. Let y = 22 - 32. Let i = 10 + y. Which is smaller: n or i?
n
Let w(o) = o**2 - 9*o - 2. Let t be w(-13). Let c be 1137/t - 24/6. Which is bigger: c or 1?
1
Let a = -1704307/926 + 3681/2. Do a and 1 have the same value?
False
Let f(s) = -s + 4. Let y be f(3). Suppose -4*j + 2*j = -4*c, 0 = 3*c - 2*j - y. Let a = -515974 + 515974.58. Is a bigger than c?
True
Suppose 12223*j + 32838 = 12184*j. Is -840 at least j?
True
Suppose 7*f = 13*f + 12. Let l be -6*f/15 - (-16)/(-140). Is 1 greater than l?
True
Let b(i) = 5*i**2 - 116*i + 24. Let a be b(23).