 g. Which is greater: i or 0.2?
i
Suppose 3*p + 3*z + 15 = 0, -2*p + 15 = -2*z - z. Let k = -7/3480 - -341/3629640. Which is smaller: k or p?
k
Let x(b) = b**2 - 18*b + 32. Let z be x(16). Suppose z = 5*j - j. Let u be ((-16)/140 - j)/2. Is u equal to 0?
False
Suppose 12980 - 13028 = -12*o. Is o equal to -31?
False
Let i = 1225231279965405/15899 - 77063417889. Let u = 860/13 + i. Which is bigger: u or 0?
0
Let b be (5/6)/5 - ((-5723993)/(-2641782) + -2). Which is smaller: b or 0?
b
Let n = -10230.57 - -11114.7. Let x = 894 - n. Let u = -0.13 - x. Which is smaller: 1/2 or u?
u
Let t be (1/(-3))/((-2)/78). Let v be (8/(-36) + t/18)*6. Suppose -v*n - 12 + 9 = 0. Is n equal to 1/9?
False
Let c be -1*1*(8 - 111). Suppose -3*j - 5*h = c, 3*h = -5*j + 5*h - 182. Let n = 36 + j. Which is greater: n or -1/6?
n
Let g be 5/((-70)/(-4)) + (-195)/(-273). Which is greater: g or 3/2756?
g
Let m = 49 + -48. Let w be (-5 - -3 - -4) + (-12 - m). Let v be 24/w - (-6)/33. Does 5 = v?
False
Let u = 3465 + -3463. Let t = -57 + 60. Are u and t equal?
False
Let z = -8051340169853/594 + 13554449466. Let a = z + -117495/22. Let d = a + 605. Which is greater: -1 or d?
d
Suppose 3*x - 2*x = 2*c + 51, -4*x + 220 = -4*c. Let y = x + -57. Suppose -y*j + 3*j + 46 = 4*d, -4*j = 8. Is d > 9?
True
Let c = 509.2 - 2304.2. Is c greater than or equal to -1?
False
Let m = 1358 - 1418. Let j = -950.1 + 1011. Let r = j + m. Which is smaller: -0.02 or r?
-0.02
Let g = 8661 - 9362. Which is smaller: g or -695?
g
Let j be (-138)/9 - -14 - (-20)/15. Are -0.6563 and j equal?
False
Let h(f) = 31*f - 39. Let l be h(3). Suppose 45*o - l = 51*o. Does -6 = o?
False
Suppose 118*s - 123*s = 2*n + 614, 3*n + 4*s + 949 = 0. Which is smaller: n or -323?
n
Let z = -5426 - -5427. Which is smaller: z or 4560?
z
Let r be ((-2)/6)/((-1)/(-2)). Let y(f) = -4*f**2 + 29 + 7*f**2 - 571*f + 609*f - 6. Let l be y(-13). Is l greater than r?
True
Let f be (8 + 88/(-16))/((-15)/(-12)). Let d(z) = -97*z + 121. Let t be d(f). Are t and -69 equal?
False
Let a(k) = -26*k**2 + 643*k + 46. Let n be a(19). Which is smaller: 0.2 or n?
0.2
Let p = 379291 + -379419. Let s(a) = -15*a**2 - 3*a - 2. Let n be s(-3). Is n less than p?
False
Let l be ((-1)/(-6))/((-636)/36). Suppose -2*y - 1 + 9 = 0. Suppose 0 = 8*q - 4*q + y*v - 24, 12 = -3*q + 3*v. Which is bigger: q or l?
q
Let l = -1/4406 - 2201/8812. Which is bigger: 0.05902 or l?
0.05902
Suppose -42751 + 13242 = -4*y + 3*k, -5*y + 36920 = 3*k. Is 7382 smaller than y?
False
Let l be ((-3)/7 + 1990/8890)*42/(-28). Is l less than 0?
False
Suppose c = -8*c + 45. Suppose 33*d + c = 38*d. Is d at least as big as -2/207?
True
Suppose g - 13 + 10 = 0. Let m be (3 - g)*2/(-4). Suppose -4*s - 8 + 96 = m. Is 65/3 smaller than s?
True
Suppose 0 = 2*u - 79 + 29. Suppose 0 = 30*i - u*i - 5. Let n = 3/89 - -97/2403. Which is greater: i or n?
i
Suppose -451*b + 489*b - 3496 = 0. Which is greater: b or 50?
b
Suppose -3*a = 2*w - 18122, -28*w = -32*w - 20. Which is smaller: a or 6045?
a
Let d = -6 + 8. Let q = -172 + 145. Let b(z) = z**2 + 27*z - 1. Let v be b(q). Is d greater than v?
True
Let a be (-3 - 148/(-28)) + (-12)/42. Let j be (2*(-6)/(-27))/(a/84). Which is smaller: -1 or j?
-1
Suppose 9*z = -2*o + 10*z - 9, -6 = o - 2*z. Let p be 6/(-72)*o*(-12)/(-14). Which is smaller: p or 76?
p
Let p be 42/27 + 0 + (0 - 2). Which is smaller: 2/11 or p?
p
Let b be 2/(4 - 44/12). Let i = -3233/231 - -418/21. Which is bigger: b or i?
b
Suppose -3*j = -7*w + 2919 - 2278, -3*j - 5*w - 761 = 0. Let a be -2 + 2 + 1 + -236. Is j bigger than a?
False
Let c = 6.3 - -154.7. Let r = -169 + c. Which is smaller: -13 or r?
-13
Let y = 174696317/6665 - 26211. Is 1 at least y?
True
Let x be (-6)/(-15) + 29/(-85). Let g = 114 - 111. Suppose 3*u + q - 3 = 3, -4*u - g*q + 13 = 0. Which is smaller: u or x?
x
Let w be (-9 - -9)*1/2. Suppose -5*x - 4*l - 550 = 0, 2*x = -w*x + 2*l - 220. Is -111 greater than x?
False
Let g(l) = -10*l - 94. Let d be g(-9). Let z be (-2 - 2/d)/((-189)/4284). Is z at most as big as -5?
False
Suppose -r + 2 - 11 = 0. Let u = 2.223 - 16.223. Which is smaller: u or r?
u
Let i = -219.913 + 220. Let y = i - 0.287. Which is smaller: y or 3?
y
Let u = 9 - 6. Suppose -6*j + 1597 = 811. Suppose 2*d = -s - j, -u*d - 3*s - 213 = -7*s. Which is bigger: -66 or d?
-66
Let s be ((-1)/(-3))/(24/(-40)). Let n = -101/36 - s. Let q = 0 - 0. Is n >= q?
False
Suppose -62*l - 20871 = 2565. Do l and -375 have the same value?
False
Let f = 44.8 - 304.8. Let v = f - -260. Let p = 2.9 + -5. Which is smaller: p or v?
p
Let k(s) = 10*s**2 + 46*s - 1. Let r be k(0). Are 0.2148 and r unequal?
True
Let s(b) = -8*b**2 + 121 + 7*b - 241 - b**3 + 17*b + 147. Let y be s(-11). Does y = 125?
False
Suppose -2*d + 3*m = 14, 0 = 4*d + 4*m + 4 + 44. Let o be (d/30)/(7/(-267)) - 0. Let y = -13 + o. Is y at least as big as 0.42?
False
Let o be 11308/(-1397) + 1 + 7. Which is smaller: o or 0?
o
Let n(z) = -45*z - 1099. Let t be n(-5). Is t less than or equal to -870?
True
Let u(w) = -w**3 - 6*w**2 - 7*w - 11. Suppose 0 = -l - 3*o + 4, 4*l - 16 = 4*o - 48. Let p be (l - 45/(-12))/(1/4). Let t be u(p). Is -7 at most as big as t?
True
Let t be (-68)/1156 - (-1198)/2448. Is -1 less than or equal to t?
True
Let t = -5 - -14. Let v(h) = t + 16*h - 13*h - 2. Let c be v(-6). Is -12 greater than c?
False
Let a = -3/2794 + -1306159/33528. Let q = -39 - a. Which is greater: q or -1/2?
q
Let n(y) = y**3 + y**2 - 19*y - 10. Let a be n(-5). Let g be (-420)/14*(-3)/(-9). Is a not equal to g?
True
Suppose 9*k = -3541 - 554. Suppose 7*l + 3732 = 540. Which is smaller: l or k?
l
Let v be (85/35 - 2) + (-8100)/35. Let f be v/(-132)*(-54)/(-49). Is f bigger than 1?
True
Let r = 39470 - 34631. Is 24191/5 less than r?
True
Let k be (80/14)/((-34)/(-9758)). Suppose -1648*t + k*t = -152. Suppose -23 = -3*z + 40. Which is greater: t or z?
z
Let j = 215 - 1939/9. Let d = -260/28941 - -2/6139. Let a = -239/924 - d. Do a and j have the same value?
False
Let c = -11 + 3. Let x be (-1)/(2*1/c). Let p be 428/180 + 2/9. Which is smaller: x or p?
p
Let v be (-2 - (-27)/21)*(-258)/430. Is -2/235 greater than v?
False
Let m = -7748 + 7765. Is 1/9 at least as big as m?
False
Let d be -1*2*860/(-40). Let o = 1738 - 1692. Which is greater: o or d?
o
Let a be ((-235422)/(-9270))/41 + 9/(-15). Suppose 2*g - 3*t + 19 = 0, -2*t + 0*t + 10 = 0. Let b be (-2)/(-4) + g/4. Does b = a?
False
Suppose -2*g = 5*o + 165 - 1774, -2*g + 3*o = -1601. Do g and 807 have different values?
True
Let u = 1940 + -1855. Is u smaller than 93?
True
Let o = -607276 - -331572989/546. Let a = -32/39 - o. Which is bigger: -1 or a?
-1
Suppose 0 = 9*l - 4*l, 0 = 3*f + l - 6. Suppose 0*n + f*n = 0. Which is bigger: n or 11/9?
11/9
Let r(x) = -617*x + 4951. Let v be r(-9). Is 10505 < v?
False
Let z be (5372/136)/((-2)/20). Which is smaller: z or -5?
z
Let p(o) = -812*o - 813. Let c be p(-1). Which is greater: c or 6/3059?
6/3059
Let b(l) = -21*l**2 - 40*l - 166. Let f be b(-6). Is -682 equal to f?
True
Let r = -7/4 - -2. Let f be (-806)/1612 - (-41)/2. Is f less than r?
False
Let m(p) = 165*p + 688. Let a be m(6). Which is smaller: a or 0.06?
0.06
Let i = 15782.9 + -15783. Is 2138 at most as big as i?
False
Let b(h) = h**2 + 17*h + 14. Let q be b(-16). Let u be (-5)/(4 + 6)*(q - 8). Suppose 5*o - 2*o - u*t = 256, -o - t + 96 = 0. Are o and 92 non-equal?
False
Let t(x) = -x**3 + 28*x**2 + 333*x - 1. Let g be t(37). Is g smaller than 2/5213?
True
Let y = -1744 + -4296. Are y and -6040 nonequal?
False
Suppose 0 = -6*y + 8*y - 174. Let i be y*5/((-45)/6). Suppose s + l = -57, -3*l = 5*s + 203 + 82. Are s and i nonequal?
True
Suppose 4*t = -9*f + 12*f - 2379, 1546 = 2*f + 4*t. Which is bigger: 787 or f?
787
Suppose -3*a + 12 - 3 = 0, -2*w - 1892 = -4*a. Let s = 68619/73 + w. Let c = -1422 + 1423. Is c != s?
True
Let b = -388.3 - -396.3. Suppose 0 = 2*r - 2*y - 6 - 4, 3*r = -4*y - 20. Is r < b?
True
Let a = -283325/888 - 81/296. Which is greater: -320 or a?
a
Suppose -1714 = -2*i + 1280 + 90. Which is smaller: -0.8 or i?
-0.8
Let l = -778072 + 3112039/4. Let r be ((-1)/(-2))/(2/(-248)). Which is smaller: l or r?
l
Suppose 3*s + 64 = 4*a - 13, 0 = 4*a - 20. Let g = -388 - -368. Which is smaller: s or 