 f be a(s). Which is smaller: 64 or f?
f
Let w be (-5 - -1)*3/(-6). Let f be (w - (-3)/(-4)) + 6/(-24). Let j be 12 + -13 - (-1)/(-10)*-19. Is f != j?
True
Let b be 10/(-15) - (-87608)/131448. Is b equal to 0?
False
Let p = -12558 - -11450. Is p smaller than -2213/2?
True
Let f = -2911/18 - -323/2. Does -11 = f?
False
Let b = -19.9 - -211.9. Let d = b - 180. Which is greater: d or -0.03?
d
Let t = -1/131 - -269/917. Let m be -13 + 1 - (17 - (-30 - -53)). Is t less than or equal to m?
False
Let n be ((-442)/85)/(1/5). Let s = 16 + n. Let o = 2/77 - 2470/231. Which is smaller: o or s?
o
Let o(a) = -a**2 - 10*a + 19. Let b be ((-1)/2)/((-4)/(-112)). Let x = 1 + b. Let t be o(x). Which is bigger: t or -21?
t
Suppose 3*v = -2*v + 5. Suppose 0 = -5*l - 4*u - 12, -2*l + 5*l + 2*u + 6 = 0. Let a = v - l. Are a and 5/3 non-equal?
True
Let q be 116688/231 + 40/4. Which is bigger: q or 514?
q
Let o = -16 - -12. Let a be (o/6 - -1)/(1/102). Suppose 2 + 3 = y, 2*y - a = -3*v. Which is bigger: v or 10?
10
Suppose 0 = 284*b - 277*b - 21. Suppose -2*w - 86 + 84 = -3*k, -4*w - 4 = b*k. Is k != 1/395?
True
Let m = 4 - 0. Let q = -536 + 852. Let p be 11/(-143) + q/52. Is m greater than p?
False
Let s be (0 - 10) + -217 + 16. Which is smaller: -215 or s?
-215
Let v = -103 - -99. Let b be (v/(-25))/((-32)/48). Are 0 and b non-equal?
True
Let d = -9.016 + 8.996. Which is bigger: -145 or d?
d
Let t(q) = -q**2 - 9*q - 51. Let b(z) = -16*z + 198. Let a be b(13). Let v be t(a). Which is smaller: -62 or v?
-62
Suppose g - 2*n + 7*n = 2, -3*n + 14 = -g. Let m(k) = -k**2 - 9*k. Let r be m(g). Suppose d - 3*x - 30 = 4*d, 2*x + r = 0. Which is greater: d or -3?
-3
Let u = 239 - -504. Let s = -742.94 + u. Which is greater: -3/10 or s?
s
Suppose j + j + 5*p = 56, 5*j - 2*p = 227. Let o be -2 - 102 - 1*2. Let h = -63 - o. Is j at least h?
True
Let y be (-103)/1236 - (-647)/7524. Are y and -1 equal?
False
Let h(t) = 6*t + 30. Let z be h(10). Let j = z + 147. Let q be j/(-7) + (-4)/28. Is -35 > q?
False
Let a(r) = 3 - 8 + 4*r - 11 - 20. Let m be a(9). Let o be 1 + (-8 - -6) + 2 + m. Is 0 smaller than o?
True
Suppose -29 = 5*x + 11. Suppose 31 = -3*u + 2*f - 70, -3*f + 43 = -u. Let d = u - -61/2. Is d bigger than x?
True
Let y(d) = 64*d - 5597. Let v be y(24). Is -4064 smaller than v?
True
Let j(c) = 54*c + 165. Let n be j(-3). Suppose -2*q = -40*d + 35*d - 601, n*d - 593 = -2*q. Which is bigger: q or 299?
299
Let c be 3/(-7) + (8 - (-592)/(-56)). Let r be ((-9)/(-1128)*4)/(c/8). Which is greater: -1 or r?
r
Let y be 3 + (-1 + -4 - -1). Let j(v) = -9*v - 1. Let w be j(y). Let x be 24/(-100)*2/(w/(-10)). Which is bigger: 0 or x?
x
Let y be (-8)/(-8) - 6 - 20. Let o(f) = -f**3 - 6*f**2 + 5*f + 4. Let w be o(-6). Let u = y - w. Which is bigger: u or 4?
4
Let r be 1 - (-250)/(-26) - 89/((-89)/(-4)). Suppose -40 - 20 = 5*v. Which is smaller: v or r?
r
Suppose 2*v = -w + 78, 2*w = -4*v + 9*v + 165. Let j be 64/w + (-2)/(-10). Which is bigger: j or -2/877?
j
Let m = 484 - 1457. Which is greater: -5 or m?
-5
Let h = 579 + -629. Which is greater: -54 or h?
h
Let z = 659962/926887 - 1080/1517. Which is greater: z or -1?
z
Suppose -1602 - 7569 = -56*l + 1973. Which is smaller: l or 95?
95
Suppose -39 = 5*r - 5*x + 211, -3*r + x - 164 = 0. Which is smaller: -77 or r?
-77
Suppose 3*z = 5*p + 26, -5*z - 20 = -9*z + 3*p. Suppose a - 4*a + 2*t - 721 = 0, -4*t - 454 = z*a. Which is smaller: a or -235?
a
Let l = -164 + 159.84. Let y = l - -0.16. Let s = -1 - -6. Which is bigger: y or s?
s
Let t = 267 - 251.9. Let i = t - 15.1. Are i and 21 equal?
False
Let s = -157 + 159. Let h be s/24*6*-2. Let z = -15063/34 - -443. Is z >= h?
True
Suppose -10*h = -82*h + 4248. Suppose 0 = n - 3, 4*n - 106 + 38 = -w. Which is smaller: w or h?
w
Let c = -1262.7 - -1262. Which is greater: c or 1.5?
1.5
Let s = 2/6743 + 13076/1382315. Let q(b) = b**2 + 17*b - 19. Let r be q(-18). Is s at least as big as r?
True
Let s be 5/20*12 + 9/(-1). Let b be 8 - s/(36/807). Is 144 <= b?
False
Let r = -0.05 + 2.05. Let m = 1.01 - -10.99. Let p = m + -8. Which is bigger: r or p?
p
Suppose -3*w + 83 - 2869 = -4*p, -3*w = 4*p - 2822. Is p > 711?
False
Let n be (55656/(-2292))/2 + 12. Do 1 and n have different values?
True
Let p = 165 - 111. Let q = p + -44. Suppose -2*h + q*h + 8 = 0. Which is bigger: h or 2/23?
2/23
Suppose -18 + 2 = -2*d. Let h be -33*(-93)/612 - 6/(-2). Let q = h - d. Which is smaller: q or 1?
q
Let d(z) = z - 31. Let t be d(-13). Let h be 4/(-22) + (-272)/t. Let r be ((-16)/(-12))/(16/h - 2). Which is bigger: r or 4?
4
Let f = 5762 + -5763. Is f greater than or equal to 0.031?
False
Suppose -3*t + 5*v + 13 + 4 = 0, -4*t - 12 = 2*v. Is 29/23 at least t?
True
Let b be (-1 + 9)*(-225)/(-60) + 0. Let s be (-2)/(-4) + 77/14. Let r be (-58)/(-2) - s/(-6). Is r less than b?
False
Let c(m) = -9*m**3 - 3*m**2 + 1. Let y be c(-1). Suppose 0 = 12*g - 11*g + y. Let n = 0.9 + 0.1. Which is smaller: n or g?
g
Let o = -98345 - -298127/3. Is o greater than 1?
True
Let c(w) = -424*w + 1432. Let x(k) = 47*k - 159. Let b(s) = 3*c(s) + 28*x(s). Let h be b(-12). Are h and -684 non-equal?
False
Let j = 12490 - 14133. Is -1643 not equal to j?
False
Let x = 4.67 - -43.63. Let p = -36.1 + x. Which is greater: p or 2/3?
p
Let x be 9/(-12)*(-9419)/963. Let p = 1964947/428 + -4591. Let k = p + x. Are 7 and k non-equal?
True
Let t be (6/(-9))/((-5)/(-3)). Let u = -67 + 172. Let w be 7/(u/62) - (-4)/(-1). Which is bigger: w or t?
w
Let l be -4*((-6)/6)/((-3)/(-6)). Suppose r = -l*r - 18. Is -2 equal to r?
True
Let g(d) = d**3 - 10*d**2 - 4*d + 38. Let k(q) = -q**3 - 8*q**2 - 11*q - 17. Let i be k(-7). Let y be g(i). Which is greater: 113 or y?
y
Let s be (-707)/(-63) - 7 - (-2)/(-9). Let w be (-6)/s*(-30)/(-2376)*6. Is 0 < w?
False
Let g = 1269/5 + -74741/295. Which is smaller: g or 0?
0
Let n = -91881/2 + 45961. Let c be -1*((-16)/(-6) - 2). Which is smaller: c or n?
c
Let y(f) = 784*f + 734. Let s be y(2). Which is smaller: s or 2306?
s
Suppose -9*u - 78 = -48*u. Which is smaller: 36/19 or u?
36/19
Let p = -248.0508 + 0.0508. Let h = p - -248.08. Which is smaller: 0.8 or h?
h
Let s be (-17544)/(-340)*(-30)/9. Is -163 greater than s?
True
Let v(k) = -9*k**3 - 4*k**2 - 3*k - 9. Let u be v(4). Let h = u + 56845/86. Suppose -3 + 5 = -a, 4*w = -5*a - 14. Which is smaller: w or h?
w
Let z = -55 - 15. Let l = -65 - z. Suppose 0 = -l*p - 110 - 55. Is p at most as big as -33?
True
Let d = 19 + -4. Suppose 0 = -5*b + d, 2*b - 2 = -2*h + 12. Suppose -h*f = -3*z - 0*z - 19, -4*z = -4*f + 20. Is 1/9 >= z?
True
Let q = 0.03275 - -101.96725. Is 8 != q?
True
Let i = 6/385 + -1179/1540. Which is smaller: -535 or i?
-535
Let a be (-1)/((-18)/4) - (-2560)/(-900). Which is greater: a or -2?
-2
Let x be ((-29350)/(-14673) + -2)*(13 - (-1675)/(-130)). Which is smaller: x or 1?
x
Let m = 1083/7 - 156. Let d = -202390 - -202390. Which is greater: d or m?
d
Let d(w) = 9*w + 112. Let r be d(-8). Let t be (-348)/(-5) - (r/25)/(-4). Are 70 and t equal?
True
Let k = 15172 + -15175. Let f = 0.5 - 1.2. Let g = 0.1 - f. Which is bigger: g or k?
g
Let h be (((-96)/72)/(-1))/(-2). Which is smaller: h or -3400?
-3400
Let m be (195 - 19) + 8/10. Let y = 179 - m. Let v = y - 9/5. Which is bigger: 6/7 or v?
6/7
Suppose -4*y + 740 = -8*s, -s - 2*y - 85 = -4*y. Which is smaller: -158 or s?
-158
Let h be (((-385)/110)/((-7)/8))/201378. Which is bigger: h or -1?
h
Suppose 199 = -23*n - 307. Let u(g) = -g**3 - 23*g**2 - 20*g + 44. Let o be u(n). Is o > 4?
False
Suppose 2372 + 20267 = -124*w + 6147. Which is bigger: w or -140?
w
Let u be 11 - (-2 - -6) - (-7 + 3673740/262409). Is u greater than 0?
False
Let z = 8516 + -8516. Which is bigger: -437/5 or z?
z
Suppose 7 = 5*h + 2*o, 925*h - 923*h = 4*o - 26. Which is greater: 10/827 or h?
10/827
Suppose 43 = 25*w + 2368. Which is smaller: w or -5?
w
Let l = 187/19 - 64477/6555. Is 1 less than l?
False
Suppose 4*m = -3*g + 167, -4*m - 286 = -5*g - 3*m. Suppose -d - g = 5*n, 0*n + 4*d = -2*n - 30. Let j = -19 + 9. Is j equal to n?
False
Suppose 5*z = -l - 5 - 0, 16 = 4*l + 2*z. Let r = 9 - l. Let i = r + -6. Is i greater than -12/11?
False
Let y = -91 - -94. Suppose y*q + 5*q = -40. Let j be (2/(-4))/(q - (-546)/108). Is -9 at most 