
1/12
Let n = -3397 - -3060. Is 0.08 > n?
True
Let j = 0.09 + 4.91. Let r = -66 + 121. Let g = r - 50. Is g equal to j?
True
Suppose n = 2*s + 198, -276 = -150*s + 153*s + 2*n. Is s != -99?
True
Let y be (-5)/(1 + (13174/(-1316) - -9)). Is y at least as big as 481?
False
Suppose -13*b = -16*b + 24. Let p be 2/b*0*1/2. Which is smaller: -33 or p?
-33
Let v(g) = 0*g - 5 + 3 + 6 - g. Let r be v(7). Suppose 4*k - 52 = -3*s - 42, -12 = 2*s. Is k at least r?
True
Let b be ((-8)/4)/((-2)/(-1)). Let j be ((-5)/5 - -1)/2*b. Which is greater: j or -2/219?
j
Let y(b) = b - 31. Let x be y(-5). Let w be x/(-115) + (1 - 28/20). Let m = -7 + 8. Is m not equal to w?
True
Let z = 25.2 - 2.2. Let q = z - 23. Let v = 638 - 630. Do q and v have different values?
True
Let q = 212 - 208. Let w = 187 + -127. Let m be (-216)/w*10/q. Are -8 and m non-equal?
True
Let c = 3601/1830 + -61/30. Let v be (-2 + 52)/(8 + -6). Let i(j) = -2*j**2 + 50*j - 1. Let g be i(v). Which is smaller: g or c?
g
Let g = -38.6 + 38.599. Let u = -0.001 - g. Is u at least 45?
False
Suppose -q = -3, o - q = -8 + 79. Let x be 12/42 + (-870)/7. Let a = -51 - x. Is o greater than or equal to a?
True
Suppose -10*x - 10*x = -5980. Let r = 285 - x. Is -10 less than r?
False
Let k(s) = 3*s**3 - 4*s - 68. Let w be k(0). Let x = w + 63. Which is smaller: 1 or x?
x
Suppose 6*a = 3*a + 288. Let d = a - 97. Is 2/165 > d?
True
Let o = 27.9 - -2.7. Let x = -35.2 + 4.2. Let w = x + o. Is w >= -2?
True
Suppose 0 = -2*c + 1336 + 370. Let a = c + -844. Are 55/6 and a non-equal?
True
Suppose 3*g + 5*t = 111, -41*t + 70 = 2*g - 39*t. Let l be -2*1 + -41 + g. Suppose -q = -5*h + q - 37, -5*h + 3*q = 38. Is l less than or equal to h?
True
Let v be (-1)/6 + (-62)/(-12). Suppose s + 18 = 5*n, 4 = n - v*s + 10. Let j be 6/15 - (-2)/(-5). Is j at most n?
True
Let b = -13/630 + -1/315. Let f = b + -9/14. Let r = -7.27 + 0.27. Do r and f have the same value?
False
Suppose 3*j - 11*j - 1856 = 0. Let x = j + 159. Which is smaller: -1/4 or x?
x
Let c = 4826425/41 + -117725. Which is bigger: c or -6?
-6
Suppose 6 + 96 = 6*d. Suppose 7*a = d*a - 12*a. Does 17/32 = a?
False
Let t be ((-6766)/(-4))/17*2. Let p = 203 - t. Let f = 4 - 2. Which is smaller: p or f?
f
Let r = -22669/5056 - -564541181/409536. Let f = -1374 + r. Does -1 = f?
False
Let a = -29 + 32. Let j be a/(18/12)*(-168)/(-4). Let h = -135 - -220. Is h bigger than j?
True
Let p be -11 - ((-12)/(-42) - (-19)/7). Let s be (-1)/(18/p - 4/(-14)). Let q be (-1)/(-3)*(-1 + s) + 9. Is 7 < q?
True
Let d be (49 + 427064/(-16))*((-1)/5 + 0). Which is greater: d or 5330?
5330
Let a be ((-202)/3 + -1)*(114898/(-348))/283. Is 79 >= a?
False
Let n = -0.078 - -6.478. Let p = 36.98 + -42.38. Let g = p + n. Which is smaller: -0.3 or g?
-0.3
Let q = -147 - -98. Let f = 48.1 + q. Let u = 2 + f. Which is bigger: u or -0.3?
u
Suppose 29 = -y + 39. Let p be (-224)/(-24) - y/(-6). Let b = 37 - 26. Is b less than p?
False
Let p = 9.46 + -7. Let b(q) = 6*q**2 + 3*q - 2. Let t be b(0). Is p at most as big as t?
False
Let x = 19 + -19. Suppose g - p + 2*p - 3 = 0, 4*g - 5*p = -33. Let j be g/(-6) + 0 + (-560)/528. Which is smaller: x or j?
j
Let n = -1/125581 - -258983/982169001. Are 1 and n nonequal?
True
Let q be (-104)/(-3) + 2/(-3). Suppose -2*o - 18 = 5*s + 17, 3*o + 25 = -2*s. Let g = 30 - o. Is g != q?
True
Suppose q - 10 = -3*q - 3*k, 5*q + 5*k = 15. Suppose 6*s = -7*s + 25961. Let z = -17953/9 + s. Which is bigger: z or q?
z
Suppose -15210 = -14*v + 27*v. Let w = 1175 + v. Let k = 2 - -1. Which is greater: k or w?
w
Let k = -529 - 97. Let b = 629 + k. Let m(r) = r - 4. Let s be m(3). Is s at least b?
False
Let y(m) = -m**3 + m**2 + m - 1. Let v = 6 + -5. Let b be y(v). Let u be 1*(-52*(-45)/(-612) + (-8)/(-2)). Which is greater: u or b?
u
Let p be 2/(-6) - (-35)/(-3). Suppose 215 + 77 = -7*r - 66*r. Which is greater: r or p?
r
Let d = 206106 - 9030946600/43817. Which is greater: d or 1?
1
Let p(d) = -3*d**2 + 4*d. Let r(u) = 4*u**2 - 5*u. Let f(b) = 6*p(b) + 5*r(b). Let o be f(0). Which is smaller: o or -12/55?
-12/55
Let r = -75 - -103. Suppose 3*x - 96 = -9. Let q = r - x. Is q < -1/15?
True
Let u be -3 - (-366*(-2)/84 + -12). Is u at least as big as 5354?
False
Let r = 53479 + -53383. Let x be -2 + 97 + -1 - -2. Is r > x?
False
Suppose -15 = -18*u + 13*u. Suppose -4*l - 13 = 2*t + t, 6 = 3*l - u*t. Is l >= 1/11?
False
Let l = -18.2 - -41.2. Let h = l + -11. Is h greater than or equal to -7?
True
Let b = 123 - -406. Let r = b + -528. Which is smaller: -257 or r?
-257
Suppose -2*o = 204 - 192, -4*y - 2*o = -3960. Is 996 less than or equal to y?
False
Let l be (-3)/2*(-20)/(-3615). Let f be -1 + 5 + -9 + (-68)/(-17). Is f not equal to l?
True
Let x be ((-225)/100)/(6/16). Let h be 30/45*x/238. Let s = -1 - -2. Is h less than or equal to s?
True
Suppose 5969 = 17*o + 11849 - 6390. Suppose m + 98 = 2*m. Let l = m + -68. Is l greater than o?
False
Suppose 0 = -17*d + 937 - 393. Are 2 and d equal?
False
Let u(o) = 43*o**2 - 33*o - 32. Let j be u(-1). Let i(d) = -40*d**3 + d**2. Let t be i(-1). Which is greater: t or j?
j
Let i(d) = d**2 - 3*d - 12. Let h be i(4). Let r(n) = -3*n**2 - 14*n - 18. Let z be r(h). Let g be ((-1)/3)/(z/12). Which is smaller: 1 or g?
g
Let u(v) = 33*v + 193. Let d be u(-6). Let a be 3 - (d + 4) - 4. Which is greater: a or 187?
187
Let s = 64 + -59. Let x be -2 - (-3 - -3)/s. Let l be x/(-6) + (-3)/(-162)*-14. Which is bigger: 0 or l?
l
Let m = -1345/63 - -43/9. Let u be (-6)/27*-15*(-1188)/220. Is u at least as big as m?
False
Let q(l) = -354*l + 4247. Let i be q(12). Which is greater: -3/3272 or i?
-3/3272
Let h(o) = 4*o**2 - 5*o + 3. Let s be h(3). Let p = -2244/13 + 5125/26. Which is smaller: s or p?
s
Let l = -0.537 - -0.279. Let q = l + -6.742. Which is greater: -1/12 or q?
-1/12
Let i(g) = -12*g**2 + 2*g + 45. Let c be i(-3). Which is smaller: -11 or c?
c
Let z = -24477 + 24458. Is 418 <= z?
False
Let i = -174 + 3477/20. Let r(h) = -h**2 - 13*h + 28. Let j be r(-14). Suppose 5*t + 7 + 6 = -2*c, 0 = -2*t + 4*c + j. Is i at least as big as t?
True
Let t = -2621 - 2027. Is t > 1?
False
Let m = 1.5208 - 2.5208. Are m and 8706 equal?
False
Suppose 0 = -11*b + 4*b + 84. Suppose 0*t = -4*t + b. Suppose 0 = -18*k + 21*k + t. Are k and 2/69 non-equal?
True
Let r(b) = 3*b + 21. Let v be r(-3). Let c be (-1 + (v - 6))*1/(-3). Which is greater: -2 or c?
c
Let d = 17419 + -17418.81. Which is smaller: -60 or d?
-60
Let i = 91 - 27. Let c = i + -60. Suppose 4*m = -c*m - 104. Is m smaller than -12?
True
Let d be (-1 + 0)/((-1)/73). Let l = -7078/97 + d. Are 0 and l non-equal?
True
Let p = 1597 + -1614. Is -2 smaller than p?
False
Let v(u) = u**3 - 31*u**2 - 34*u + 73. Let f be v(32). Let r be (f - 21/2)/(2*37). Which is bigger: 1 or r?
1
Let y(p) = 3*p**3 - 166*p**2 - 32*p - 261. Let w be y(55). Is -5046 smaller than w?
False
Let m(c) = -c**3 + 26*c**2 - 85*c + 698. Let n be m(24). Which is smaller: n or -173?
n
Let y(d) = 34*d + 20. Let s be y(7). Suppose -4*n - s = -5*m, 0 = -3*n - 0 - 6. Is 50 less than m?
False
Suppose -3493 + 487 = 44*l + 3594. Is -41 <= l?
False
Suppose 4*s - 2*s = 8. Let h be (-1)/(-10)*(-136)/s. Let q be 12/(-7) - ((-2448)/(-238) - (11 + -1)). Which is smaller: h or q?
h
Let c = 29.6 - 3.6. Let j = c - 26.076. Let z = j + 0.096. Which is greater: 3 or z?
3
Let r be 7/(126/(-60))*(-243)/15. Is -23 at most as big as r?
True
Suppose -5*o + 5 = 5*l - 30, 2*l - 9 = 3*o. Let z be (-30)/35*(-21)/l. Suppose 24 = -3*m + z. Is m <= -8?
False
Suppose -z + 15 = -3*z + 5*r, -4*r = -20. Suppose 1 = -5*y + x, -4*x = z - 9. Does 1/76 = y?
False
Suppose -3*b + 51 = 5*g, -3*b - 6*g + 60 = -4*g. Suppose -6*o + 2*o = 2*c - 56, -3*o + 119 = 5*c. Let x = b - c. Are x and 1/55 equal?
False
Let k = 3.782 + 33.558. Let v = k - 0.34. Let i = v + -37.4. Is 5 less than or equal to i?
False
Let l(r) = r**2 + 7*r. Let n be l(-7). Suppose n = 12*d + 52 + 80. Which is greater: -72/7 or d?
-72/7
Let o = 1 - -15. Let d be (-145)/275 + o/20. Suppose -5*p = -j + 25 - 1, j + 4*p + 21 = 0. Is j smaller than d?
True
Suppose -2*j = -3*u + 274, j + 290 = -j - 5*u. Let o be (-8)/(-7) - 1 - (-8700)/j. Which is greater: o or -63?
o
Let k(q) = 20*q + 571. Let o be k(27). Which is smal