is bigger: f or 13?
f
Suppose 0 = 44*h + 359 + 433. Let l be (h/(-135))/((-1956)/20). Which is smaller: l or 0?
l
Suppose 7*h - 3*h = 0. Suppose -4*f - 5*i = -38, 5*i + 3 - 20 = -f. Suppose -9*o + f*o = h. Which is smaller: o or -4?
-4
Let k be -25 + ((-14392620)/(-17440))/33. Is k != 0?
True
Let u = -10283 - -10248. Let x(p) = 7*p - 3. Let o be x(6). Let q = o + u. Which is smaller: q or 0?
0
Let t(w) = -3*w**2 + 17*w + 6. Let f be t(6). Let z = 612058/11 - 55319. Let s = -323 + z. Is s at most as big as f?
True
Let t be (-44)/(-77)*(-7)/2 + -61. Let s be -1 + t/(-15) - (10 - 7). Which is smaller: s or 10?
s
Let b = -13323 + 13305. Let j(x) = x - 15. Let h be j(9). Which is smaller: h or b?
b
Suppose 0 = 9*j - 7*j - 6, -o = -4*j - 368. Which is smaller: o or 379?
379
Let w(d) = d**3 + 36*d**2 - 18*d + 2203. Let j be w(-38). Let c = 265/14 - 52163/2758. Is c at least j?
True
Suppose -3*v = -m - 729, -4*v - 2948 = 3*m + m. Let j = m - -2941/4. Which is bigger: -98 or j?
j
Let m(o) = -o**3 - 6*o**2 - 5*o + 9. Let b be m(-5). Suppose -2*l - 5*l = 238. Let k be l/(-4) + -16 + 15. Which is smaller: b or k?
k
Suppose -8*q - 52 = -3*s - 6*q, -3*s - q = -55. Let w = -11 - 4. Let l = w - -34. Is l at most s?
False
Let l(z) = z**2 + 4*z - 18. Let u be l(6). Let j = 26 + -21. Suppose -h - 20 + 62 = t, -206 = -j*h - t. Which is greater: h or u?
u
Let c be 4/(-16) + (-507)/(-684). Let p = c - -772/285. Let o = 79 + -75. Which is smaller: o or p?
p
Let m = 763.7 + -763.6. Which is bigger: -18.61 or m?
m
Suppose -j = 2*m + 203, m + 603 = -3*j - 2*m. Is j at most as big as -207?
False
Let k = -6260.1 + 5848. Let o = k - -412. Which is smaller: -19 or o?
-19
Let z be (-10)/(-195) - 1557044/156. Which is greater: z or -9980?
-9980
Let v = -446 + 284. Let i = v + 161.961. Is -2/3 equal to i?
False
Suppose -i - 5*r = -229, -r + 395 = -14*i + 16*i. Is -30 > i?
False
Let x = 28511.21 - 28294. Let b = -217 + x. Which is greater: b or 2/7?
2/7
Suppose 6*z - 10 = z. Let p = -156 - -100. Let r be z/((-20)/(-110) - p/55). Which is bigger: r or 3?
3
Let p = -8.9 + -1.1. Let t(q) = q**3 + 110*q**2 + 5*q + 552. Let k be t(-110). Which is greater: k or p?
k
Let y = 543 + -235. Let f = y - -220. Let u = -10030/19 + f. Which is greater: 0.2 or u?
0.2
Suppose -5*h = -20, 2*h + 196 = x - 3*x. Let p = -611/6 - x. Which is smaller: 9 or p?
p
Let c = 1061 - 293. Let k = c - 776. Suppose x - 1 = h + 10, -51 = 5*h - x. Which is smaller: k or h?
h
Let q(f) = -2*f + 21. Let h be q(10). Let w(n) = n**2 - 3*n. Let v be w(h). Let b be (-119)/(-455) + v/(-10) + -1. Which is greater: b or 0?
0
Let n = 10747 + -10684. Which is greater: n or 119?
119
Let c(r) = -4*r**2 - 18*r - 11. Let a(h) = -4*h**2 - 17*h - 10. Let g(b) = -5*a(b) + 4*c(b). Let d be g(-4). Is 16 less than d?
True
Suppose 8*y = 4*y + 28. Suppose -3*v + 3*h - 5*h - y = 0, 3*v - h = 8. Are v and 3/80 non-equal?
True
Suppose -12 = 27985*s - 27973*s. Which is bigger: s or -150/227?
-150/227
Let i(p) = 35*p - 79. Let x be i(2). Let l be (-120)/(-135) - 1/x. Let k = 162 + -1456/9. Is l < k?
False
Suppose g = -7*g + 3800. Suppose -4*t = 2*p + 9 - 27, -t - 6 = -3*p. Let x be 5 + -1 + (t - g/35). Which is smaller: x or -2/7?
x
Suppose -105 = 4*a - 2*a + y, 3*a + 159 = -2*y. Let l = 53 + a. Let j be 2 + (l - -1)*(-18)/27. Which is smaller: 2/23 or j?
j
Let d = 3/5681 - -11353/17043. Which is bigger: d or -3.38?
d
Let n(l) = 3*l**2 + 313*l + 625. Let w be n(-56). Is w < -7494?
True
Let r be 4/(-16) - 611/52. Let w be (r - -12)/(5 + -2). Which is bigger: w or -3/521?
w
Let f be 1/2*(-2)/(-1). Let g(k) = 3*k**2 + 12*k - 10. Let q be g(-5). Suppose q*z + 4*o + 14 = 11, -o - 7 = -5*z. Is z not equal to f?
False
Let i be -2 + (1/4 - 135/(-36)). Let d be i - ((-16)/(-6) + (-15 - -14)). Is -20/17 not equal to d?
True
Let c = -2.27 + 0.37. Let s = c - -9.9. Let b be 63/105 + 14/(-40)*1. Is b greater than s?
False
Suppose -25*j + 4*p + 79 = -24*j, 5*j - 357 = p. Let x = 11/7124 + 8605605/121108. Let n = j - x. Which is smaller: n or -1?
-1
Let x = 5 + -4.15. Let p = 76 + x. Let m = p + -77. Which is bigger: 2 or m?
2
Let c be 682/(-11) - (-5 + (2 - 1)). Let x(b) = 25*b - 883. Let r be x(33). Is r greater than c?
False
Suppose 98 = 4*y + 5*c + 12, -124 = -5*y + 2*c. Let w = 76 - 111. Let a = w + y. Is -12 at least as big as a?
False
Let k be 70/24 - (-471)/314*(-2)/12. Which is greater: k or -0.88?
k
Let c be (-10)/(-15)*(-168)/(-16). Suppose 58 + 299 = c*j. Let u be -2 + -2 + 54/1. Is j < u?
False
Let j = 21.39 - 58.39. Is j bigger than -32?
False
Let y be (1 - (90/20 + -3))/((-3)/(-8742)). Is -1458 at most y?
True
Let p be 3/((-5)/(-35)*-3) + 5. Is -17/32 equal to p?
False
Let m(x) = 114*x - 1878. Let a be m(12). Which is smaller: a or -3?
a
Let m = -6 - -2. Let g(t) = 3*t**2 - 11*t - 19. Let d be g(9). Let k = -122 + d. Are k and m nonequal?
True
Let t = -0.105 - 30.695. Let u = 1200.8 - 1197. Let i = u + t. Is -0.2 at most as big as i?
False
Let k(a) = a**3 + 25*a**2 - 188*a - 15. Let r be k(-31). Suppose 0 = -2*b + 4*b - 98. Are b and r non-equal?
True
Let n(j) = 11*j - 22. Let q be n(2). Suppose q = 80*f - 86*f + 18. Is 0 less than f?
True
Let c be (-21)/16681*4/(-12)*2. Let m = c - -2091/347918. Which is greater: -1 or m?
m
Let b = -425 + 90. Let u = b + 335. Which is smaller: u or -0.029?
-0.029
Suppose 2*b - 7 = -4*g + 3*g, 26 = 3*g + 5*b. Let u be (-1*45/6)/(1/(-2)). Which is bigger: g or u?
g
Let f = 0.07 + 0.13. Let n = 0.324 - 0.271. Are f and n non-equal?
True
Suppose -2*g - 142 = -832. Let w be (-322)/g - (4/6 - 1). Which is bigger: -0.09 or w?
-0.09
Let p(q) = 4*q**2 - 3*q + 3. Let x be p(7). Is 179 smaller than x?
False
Let s = -7075/13 - -545. Let h = 143 - 76. Let l be 1*5*1 - 335/h. Which is greater: l or s?
s
Suppose -1 = -4*t + 3*r, 0 = -6*t + 5*r + 11 - 10. Does 6226 = t?
False
Let o = -2326 - -39526/17. Let m be 27/(162/(-48)) - -1*8. Is m <= o?
False
Suppose 56*n - 2 = -44*n - 2. Let x(o) = o**3 + 8*o**2 + 4. Let c be x(-8). Let t be 12/(-5) + c/10. Is t greater than n?
False
Let d be (-1 - 0)*-4 - (14 - 21). Suppose d*g - 4*g = 364. Which is smaller: g or 53?
g
Let p(l) = -13 + 23*l**2 + 0*l**2 - l**3 - l**2 - 21*l + 9. Let t be p(21). Which is smaller: t or 11?
t
Let w be 4046/656 + (2/5)/(352/110). Is 5 at least w?
False
Let v be (-102)/(-136)*(1 + 6/2). Let k be (1204/(-21))/(-2 + 13/v). Is k equal to -26?
False
Let c be -5*(-7 + 266/30 + (-1)/(-3)). Suppose z + 5 + 1 = 0. Do z and c have the same value?
False
Suppose -10*b + 4*b = 18. Let h = -0.03 - 1.47. Let p = h + 1.7. Which is smaller: p or b?
b
Let h be ((-2)/(-6))/(3/78). Suppose -5*o - 4 = -f, 6*f - 5*o = -8829 + 8878. Which is bigger: f or h?
f
Let f be (-36)/(-6 + 15)*(2 - (-556)/(-624)). Which is smaller: -4 or f?
f
Suppose -51*z + 12 = -47*z. Which is greater: z or -174?
z
Suppose -5*l + 2*k = -601, 486 = 5*l + 2*k - 103. Let y = l + -122. Is y < 10?
True
Suppose -w + 3*w - 2*a = 608, a = -3*w + 928. Let t be (w/(-16))/(-7)*4. Suppose -l - t = 2*l + 2*x, -3*x - 9 = -3*l. Is -7/6 equal to l?
False
Let i = -299/153 + 16/9. Suppose 13*h = 11*h + 10. Suppose -j + 3*w = 7, j + w - 3*w + h = 0. Which is bigger: j or i?
i
Suppose -3*m + 5*t - 10 = 2*m, 3*m + 2*t = -1. Let v = m + -6. Let q be 82/3*3/(-10). Are v and q non-equal?
True
Let l be (-6765)/44 - (-6)/(-24). Let h(o) = -o**2 + 3*o. Let v be h(14). Is v at most l?
True
Let a be 299/2*30/(-15). Which is greater: a or -297?
-297
Let r(k) = k**3 + 25*k**2 - 883*k - 339. Let a be r(20). Let v = 953/9 - 12329/117. Are a and v equal?
False
Let t be ((28 - -26)/(-1 + 11))/(9/45). Which is greater: 253/9 or t?
253/9
Suppose -2*d = -3*r - r - 12, -2*d = -2*r - 8. Let f be (r - -7)/(374/1221). Let q = f + 20/17. Which is bigger: 19 or q?
19
Suppose 53*g + 62*g + 71280 = 95*g. Is g equal to -3565?
False
Suppose -s + 27 + 103 = 4*q, -4*q + 522 = 5*s. Which is bigger: s or 2?
s
Let i = 2/177 - 364/885. Suppose 6*r + 7 = 31. Suppose 0*q + r*q - 24 = 0. Which is smaller: i or q?
i
Let n be 36*2 - (-3 + 48/12 + -6). Is n > -2/5?
True
Let u = -174 + 173.4. Let x = 0.2 + -0.7. Let q = x - u. Which is greater: q or -1/3?
q
Suppose -2*s = 187*k - 191*k - 2882, 4*s = 5*k + 3595. Is -722 != k?
True
Let r be 3/12 - 10/((