4.12 + f. Which is bigger: 2 or t?
2
Let o = -6007 + 7978. Are -1 and o equal?
False
Let o(i) = -10*i**3 + 19*i**2 - 2*i + 4. Let q(y) = -3*y**3 + 6*y**2 - y + 2. Let r(v) = 2*o(v) - 7*q(v). Let j be r(5). Which is greater: 35 or j?
35
Suppose -4*v + 29 = -5*q, -3*q + 0*q = 4*v + 11. Let f be q - (-3412)/(-36) - (-8)/(-36). Is 0 at most f?
False
Let p = -21 + 20. Let c = 2/29263 - -56412/30930991. Which is bigger: c or p?
c
Let m = 1195 - 2749. Which is bigger: m or -1553?
-1553
Let r = -383/884 - -627953/1105. Let n = -568 + r. Are 0 and n equal?
False
Suppose -3*v - 24 = 15*n - 18*n, -5*n - 3*v = 0. Suppose -n*w = 5*z - 5*w - 246, -w - 3 = 0. Is 2 at most z?
True
Let j be (-3)/(-7)*(6 + (-2)/(-2)). Suppose 5*x + 4*d = 26, d - 3 = -4. Suppose j*i + 3 - x = 0. Are 2/33 and i unequal?
True
Let o be 15/1770*13563/(-30). Let y = o - -79/20. Is 0 < y?
True
Suppose -6*d = -2*d + 8. Suppose -22*h + 1207 = 1119. Let j be 1*d/h*0. Is j bigger than -5/44?
True
Let k be (-26)/(-8) + 1/(-4). Suppose 0 = 4*r + 3*m + 694, -2*r - 349 - 9 = -4*m. Let q be ((-275)/r)/((-1)/(-2)). Which is greater: k or q?
q
Let r = 149 - 240. Let x = r + 116. Which is smaller: 23 or x?
23
Suppose -25 = -5*b, -114*u - 35 = -119*u + b. Suppose 5*w - 4*z - 19 = 2*w, 4*w = 2*z + 22. Suppose 35 = w*g - 4*k, -4*k + k = g - 7. Which is bigger: g or u?
u
Let m(i) = -2*i**2 + 12*i + 13. Suppose 82 - 16 = 3*h - v, 3*v - 44 = -2*h. Let o = h + -15. Let n be m(o). Which is smaller: 13 or n?
n
Suppose 68 = 5*u + 348. Let f(d) = d**3 - 23*d**2 + 18*d + 78. Let x be f(22). Let j be (-2870)/u*(-2)/x. Which is smaller: j or 9?
9
Let q = 2/619 - 10533/3095. Suppose 17*n = 6*n + 22. Let u be (-1 + n)*(21 + -3)/(-9). Do q and u have the same value?
False
Suppose 5*f - 4*v - 11 = 1, -2*f + 10 = v. Suppose -g - 47 = l, -f*g + 3*l = -5*g - 57. Which is bigger: -41 or g?
-41
Suppose -25 = 9*n - 34*n. Let m be (1/2)/(n - -14). Is 0 <= m?
True
Let i = 22.39 + -22. Let x = i - -0.01. Let w = 5660/7 + -808. Are w and x non-equal?
True
Let r(l) = l**2 + 40*l + 75. Let k be r(-38). Let b be ((-100)/(-16) - 6)/(5 - k). Is b smaller than -2/5?
False
Suppose 0 = 2*q - 2*s - 80, 4*s = -4*q + 161 - 1. Let n be ((-428)/q)/(7/(-2) + 4). Which is bigger: -21 or n?
-21
Let i = 125 + -85. Suppose -b + c = -23, -c = 3*b - b - i. Let t = 0.03 + 2.97. Which is bigger: b or t?
b
Let b = 158 - 109. Let u = b + -79. Let x be 1 + u/(-12)*(-10)/19. Is x >= -1?
True
Suppose j = z + 42, 2*z + 0*z = 5*j - 99. Let l(g) = g**2 - 6*g + 26. Let c be l(-11). Let d = -247 + c. Is d less than or equal to z?
False
Let k be (-1)/2*(18 + 0). Let a be k/12*(0 - 8). Which is smaller: 0 or a?
0
Suppose -19*s = -28*s - 162. Let g = s - -10. Which is smaller: g or -9?
-9
Let w = 205.9 + -227.037. Let k = 0.057 + w. Let d = k - -21. Which is smaller: -3 or d?
-3
Let b = 78 - 148. Let g = -188 - -189. Suppose 0 = -3*w - g + 4. Which is smaller: w or b?
b
Suppose -2*w - 4 = 0, 5*r + 6*w - 2*w = 1357. Suppose 0 = -7*v - 273 + r. Which is smaller: -10/21 or v?
-10/21
Suppose -4 + 12 = -n. Let x = 128 + -123. Which is smaller: n or x?
n
Let h(t) = t**3 - 11*t**2 + 9*t + 7. Let v be (5/(-4))/((25/(-40))/5). Let q be h(v). Let n be q/(-15) - (78/(-70))/3. Which is smaller: 2 or n?
n
Let r be 5/(-40)*4*6. Let g(h) = -h**3 - 3*h**2 - 9*h - 27. Let y be g(r). Which is smaller: 22 or y?
y
Suppose -5*j + g + 378 = -2473, 1713 = 3*j - 3*g. Let b = -271 + j. Are b and 300 equal?
False
Let z be (2/3)/((-4)/6). Let c = 559 + -614. Let g be 46 + c - (-165)/18. Which is greater: z or g?
g
Let y be 6/(-10)*-3*(-605)/(-33). Suppose -5*p + 62 = -y. Which is smaller: p or 18?
18
Suppose 13*c = 15*c + 2. Which is smaller: -4/10291 or c?
c
Suppose -1 = 3*c - 1. Suppose c = 2*n - 3*s + 8313, -2*n - 4747 - 3590 = 5*s. Let t = n - -37487/9. Which is smaller: t or 4?
4
Suppose -3*y = -2*u - 28, -y + 11 = 2*u - 1. Suppose -y*w - 2 = -82. Suppose -10 = 3*v + w. Which is greater: v or -0.3?
-0.3
Suppose 37*d = 94476 - 93662. Let c = 10 + 6. Are d and c unequal?
True
Suppose 5*r = 41 + 19. Suppose 0 = 11*q - 13*q - r. Is -9 smaller than q?
True
Let h be 2*(-3 - -1)/(-16 - -14). Let n(x) = -42*x - 475. Let z be n(-12). Which is bigger: h or z?
z
Let b be (-378)/(-72) - (2/8 + 0). Let v be (2/b)/((-5)/375). Let m be ((-8)/(-20))/(24/v). Do m and 1/4 have different values?
True
Let u = -3557.981 + 3558. Which is smaller: u or -1?
-1
Let x be (-12)/(-3) - (-1 + 4). Suppose 2*j = 4*i - 4, 13*j - 9*j + 3*i = 3. Suppose y - 5*b - 16 = j, -b + 0 = 2. Which is smaller: x or y?
x
Suppose -4*p + 23 = y, 30*y - 20*y - 3*p = -28. Let l = 1 - 1. Is l >= y?
True
Let p(f) = -5*f + 20. Let m be p(13). Let w = 69 + m. Let k be (-8)/w*3/33. Which is bigger: 1 or k?
1
Suppose -113 = 37*t - 70 + 142. Which is greater: -156/25 or t?
t
Let a be (-3)/23*84/1386. Is a < -1?
False
Let j = 939.018 + -939. Is j not equal to -53/4?
True
Suppose -5*x - 52 = 19*x - 28. Which is smaller: x or 1/3515?
x
Let o(a) = -a**3 - 7*a**2 + 9*a + 5. Let p be o(-8). Let y be p/((-6)/(-4))*22. Let f be (y/(-12))/(1/3). Does 10 = f?
False
Let b = 628/7 + -45167/504. Which is smaller: -0.1 or b?
-0.1
Suppose -3*t - 12 = -30*y + 27*y, t = -3*y. Is y > -3/6046?
True
Let v = -126 + 312. Is 2782/15 >= v?
False
Let y be 3 + 266/(-24) - (-3)/36. Let v be 63*((-80)/(-30))/y. Is v at least -9?
False
Suppose 0 = 3*m + 2*m - 19995. Suppose -3526 = -5*i + m. Let b be (i/(-378) - -4)/(2/8). Is b equal to 0?
False
Let f = 2.01 - -71.29. Let m = 73.4 - f. Is m bigger than 33?
False
Suppose -1127 - 168680 = 154*v + 319*v. Suppose 0 = -j - 0*s - 3*s - 374, 0 = -4*s - 20. Is j less than or equal to v?
True
Let m = 100937449/111 + -431830975763/475080. Let y = -3053/8 + m. Is -1 <= y?
True
Let j = 5183 + -4855. Are 363 and j equal?
False
Let q = 9852 + -9833. Which is greater: 787 or q?
787
Let t be -2 + ((-2)/3)/((-1)/3). Suppose t = -8*d - 160 + 16. Let i be 57/d + 1 - 4/(-2). Is 1 at least i?
True
Let y = -133 + 459. Let x = -342 + y. Is x bigger than -2?
False
Let v = -41/9 - 143/18. Which is smaller: -13 or v?
-13
Let z be (-7 + 4 - -4)*624. Let d be (-6)/10 + z/40. Suppose 3*v - d = v + 5*b, 5*b = -v + 30. Which is bigger: -1 or v?
v
Let m be 12/66 - 54/(-66). Let h be (7086/1)/(-2 + 19). Let k = h + -417. Is m less than or equal to k?
False
Let d = -35041 + 32877. Which is smaller: -2165 or d?
-2165
Let t be (34/(-68)*(12845 - 1 - 2))/(-1). Which is bigger: 6422 or t?
6422
Suppose -4*i - 4*r + 52 = 0, -4*i + 19 + 37 = 5*r. Suppose i*t - 7*t + 8 = 2*x, -12 = -5*x + 3*t. Let n = 47/5 - 173/20. Are x and n non-equal?
True
Let o be -1 - (2 + -2 + 0). Let q = -599216 - -19774115/33. Are q and o nonequal?
True
Let t be (7443/54)/((-2)/(-4)). Let i = t - 275. Suppose -3 = -4*q + 5. Is i at least q?
False
Let j = -2155/15006 + -1/366. Suppose -f + 19 = 2*w, f - 10 = 3*f. Let x be (1 + (-24)/w)*2/2. Which is greater: x or j?
j
Let t be 13/(52/(-420))*54/(-18). Which is bigger: t or 320?
320
Suppose -3*q - 1549 = 5*b, -4*b + 388 + 134 = -q. Let t = q - -784. Is -0.1 >= t?
False
Let g be (-2)/(-16)*(0 - -1). Let v = 1.203 + -100.503. Let s = 99 + v. Is s < g?
True
Suppose -2 = -0*u + 2*u, 5*d = 2*u + 287. Let v = 413/2 + -263. Let a = d + v. Are a and 42 equal?
False
Let c be -2*(0 + -1) + 3. Let o = 33 - 26. Let i(g) = -g**2 - 5*g + 92. Let b be i(o). Which is smaller: c or b?
c
Let t = -1369.8 + 1505. Which is smaller: t or 3?
3
Let g = -0.7 + -0.3. Let n = 442/81 + -2453/405. Is n > g?
True
Suppose 8*l - 1 = -9. Let n = -2594/221 - -176/17. Is l at most n?
False
Let q(r) = r**2 - 8*r + 17. Let o be q(5). Let k be o - -1*(-1 - -1). Let b be (-671)/(-495) - (-2)/10. Is b > k?
False
Let m(k) = k - 6. Let f be m(5). Let v(q) = -2*q - 27. Let t be v(-17). Let c be 520/96 - t - 3/(-4). Which is smaller: c or f?
f
Suppose 2236 = -41*o - 45*o. Let u = -15 - -35. Suppose 3*w - u = -w, 5*t = -w - 120. Is o <= t?
True
Let h(a) = -2*a**3 - 26*a**2 + 93*a + 522. Let i be h(-20). Is 4262 at most as big as i?
True
Let w = 322 - 239. Let n = -5.5 + 3.5. Are w and n unequal?
True
Suppose -4*b = -2*q - 3146, 5*b - 1324 - 240 = q. Which is bigger: q or -1580?
q
Let s be 6 - 81465/10185 - -2. Which is bigger: 4 or s?
4
Suppose 0 = 3*r + z - 1, 8*r - 12