36/(-93432)). Let g = 710 + q. Do g and 3 have the same value?
False
Let a = -13026 - -11414. Which is greater: a or -3225/2?
a
Let p be (-743)/371 + 10/(-6 - -11). Let f = 8917/4823 + p. Does 3 = f?
False
Let b be 730/(-1*(-23)/5 + (-26 - -21)). Is -1827 less than or equal to b?
True
Let f = -6700 - -6735. Is 23 smaller than f?
True
Let f be 15/(-90) + (-734)/780. Let h = f - -370651/195. Let k = 1918 - h. Is k at least as big as 19?
False
Let x = 0.7495 - -1.2505. Is x > -1884?
True
Let c be (-37)/(-7) + 3 + (-184)/56. Suppose 7 - c = -t. Let s be 36/16 + -5 + t/8. Is s at most 7?
True
Suppose -5*a + 26 = 4*d - 6*a, 5*d = -3*a + 41. Let c be (-2214)/(-312) - d - 0. Which is smaller: c or -1?
-1
Let n = 5 - 5. Suppose n = 4*d + d - 30. Let t = -82 - -86. Which is greater: d or t?
d
Let s = 7842.91 + -7847. Which is smaller: 3 or s?
s
Suppose 16 = 2*x - 4*y, 0*y = -3*y - 9. Let j be x/(-6) - 464/(-87). Suppose -16 = 4*g + 4*r, 4*g = -j*r - 14 - 7. Is g smaller than -2/65?
False
Let n be (-5)/7 + 113388/924. Which is bigger: n or -3?
n
Let m = -16 - -15.2. Let t = -0.13 + -0.37. Let x = t - 0.5. Is m smaller than x?
False
Suppose -73*c = -69*c + 5772. Let i be 7241/c - (-4 - 1). Is i at most as big as -1?
False
Let f be (-4 - 41/(-10))*(14 + -18). Is 2006 > f?
True
Let y = -18391 - -18701. Which is greater: y or 4669/15?
4669/15
Let h be 132/48 - 1/(-4). Suppose h*p = 5*v - 15 - 6, 0 = -p + 5*v - 17. Let g be -1*p/4*(-2)/1. Is g less than 2/15?
True
Let f(j) = -2*j**2 - 800*j + 2405. Let v be f(3). Is -859 < v?
True
Let f = -7071 + 7073. Let r(b) = 4*b - 3. Let s be r(-6). Which is smaller: s or f?
s
Let k be (-2)/(-18) + (-8057660)/1989. Are k and -4051 equal?
True
Let v(q) = q**3 + 13*q**2 + 12*q + 3. Let d be -10 - 9/((-9)/(-2)). Let c be v(d). Let g be c + 0 - 19/(-5). Are g and -1 equal?
False
Let w = 0.1504 - -12.4496. Let r = 0.28 + -9.88. Let d = r + w. Which is bigger: d or 1?
d
Let s = 18653 - 9104. Let f = s - 47403/5. Which is smaller: f or 67?
67
Suppose 0 = 118*n - 37*n - 1215. Which is smaller: 598/37 or n?
n
Suppose -3*q + 5*g - 10 = 0, -5*q + 13*g - 21 = 9*g. Let b be (q + 2)*114/(-9). Is b > 38?
False
Let y = 6182 - 49455/8. Are 1/3 and y nonequal?
True
Let k = 271 + -4066/15. Which is smaller: k or -330?
-330
Let w = -1869 - -1870. Which is bigger: w or -2/229?
w
Let u be (-3392)/(-36) - (-4)/(-18). Let p be (-568)/(-6) + -2 - 4/6. Let a = u - p. Which is smaller: 11/18 or a?
11/18
Suppose -28*x - 153600 = 22*x. Is x bigger than -3072?
False
Let r = -2124.1 + 2124. Let z be (-2354)/(-18) - 14/(-63). Are r and z equal?
False
Let i = -491 + 508. Suppose -10602 = 14*d + i*d. Are -341 and d non-equal?
True
Let r be 4/(-44) + (26760/(-33) - 8). Is -814 < r?
False
Let m(z) = z**3 + 9*z**2 + 8*z. Let l be m(-8). Let o be (5/(-3) + l)/(2/(-12)). Let q(g) = -g**3 - 8*g**2 + 6*g - 30. Let w be q(-9). Which is smaller: o or w?
w
Let v = -957 + 342. Let u = 616 + v. Is u at most 59?
True
Let i = -426 + 428. Suppose -4*c - i*k = -2*c + 116, 4*c - k = -252. Is -188/3 <= c?
True
Let y = 2.9 + -3. Let b = -2323 - -2323.46. Are b and y unequal?
True
Let o be 24/(-16)*(-8)/(-46). Suppose 20 + 0 = 5*d. Suppose 4*j - 3*u + 8*u = -16, 0 = -d*j + u + 8. Are j and o equal?
False
Suppose -7*f = -30*f - 1564. Suppose -i - 3*i = 272. Are f and i non-equal?
False
Suppose -4*v + 16 = -5*g, -5*g + 5*v - 20 = -0. Let j(o) = -136*o**2 + 10*o + 30. Let b be j(-3). Let p = b + 45290/37. Which is greater: g or p?
p
Let n be (-2)/9 - 314/(-36). Let j = n - 53/6. Suppose -5*m = -25, -s - 3*s - 5*m = 67. Is s equal to j?
False
Let h = 4.05 + -4. Let i = -1.05 + h. Let o = 0.084 + -1.084. Is o > i?
False
Let i = -542 - -542. Suppose 2*r + 2*u + 2*u - 56 = 0, 0 = 4*u. Let g be r*((-151)/(-42) + 3/(-18)). Is i at most as big as g?
True
Suppose -f = 13 + 7. Let o = -787 - -787. Suppose o = 3*r - 3*q + 54, -5*r + 7*q = 9*q + 125. Does r = f?
False
Suppose -40*t = -42*t - 230. Let r be ((-138)/12)/(4 - t/(-30)). Which is smaller: -73 or r?
-73
Suppose -3*n + 588 = 4*p, 8*p - 735 = 3*p - 2*n. Suppose 2*s = 3*v - 1346, p + 751 = 2*v - s. Let q be (-4)/(-18) + (-370)/v. Which is bigger: -1 or q?
q
Suppose 0 = 846*m - 855*m. Let l be m + 6 + (-2 - 365) + -8. Is -368 <= l?
False
Suppose 5*i - 3*l - 2899 = 0, -l = 1054*i - 1059*i + 2903. Which is smaller: 583 or i?
i
Suppose -4*a + 2 = 2*f, 2*f = -3*f - 15. Let y = 415 - 420. Let c be (-2)/9 - ((-55)/(-9))/y. Is c > a?
False
Suppose 10 = 13*j - 146. Suppose 3*c - j*q + 10*q - 84 = 0, 3*q + 87 = 3*c. Do 30 and c have the same value?
False
Let i(m) = 248*m + 7109. Let t be i(-17). Which is smaller: t or 1?
1
Let n = 84 - 76. Let h be 31/4 + (-6)/n. Suppose 176 = -w - h*w. Which is greater: w or -21?
-21
Suppose 24*x - 13*x + 32 = 15*x. Let h = -5 - -7. Let t be (-74)/(-40) + x/(-32) - h. Does t = 0?
False
Let k = -3869 + 15477/4. Is -40 less than k?
True
Let q = -1918 - -1660. Is -257 smaller than q?
False
Let x = 6920 + -6696. Which is smaller: x or 241?
x
Let q be -11 + ((-4)/(-4) - 2)/((-12)/60). Which is bigger: 100 or q?
100
Let h = 2114 + -2082. Which is greater: -0.52 or h?
h
Let r = 491/124 + -199/62. Does r = -1/52?
False
Suppose 0 = -k + 3*k. Let h be 3*((-390)/(-9) + 5). Suppose 7*a - h - 107 = k. Is 35 not equal to a?
True
Suppose -2*z = -3*z + 5, 4*a + 2*z = 26. Suppose 0 = 4*b + 3*b + 1029. Let p = b - -148. Which is smaller: a or p?
p
Let r be (-11946)/10 + 13 + 1072/(-80). Do r and -1196 have the same value?
False
Suppose 39*a - 108 = 33*a. Let b be 20/15 - 6/a. Is 10/137 <= b?
True
Let f(d) = -4*d**2 + 62*d - 363. Let l be f(13). Which is greater: l or -231?
-231
Let n = 93.03 + -81.708. Let i = 0.122 - n. Let m = -10.91 - i. Which is smaller: 1 or m?
m
Let h(z) = -56*z**3 + 6*z**2 + 164*z + 907. Let l be h(-6). Is 12233 at least as big as l?
False
Let z be (-1 - -9)*6/(36/21). Let m = -23 - z. Let a(k) = 6*k - 8. Let v be a(-7). Are m and v unequal?
True
Let w = -397.8 - -397.8143. Which is greater: w or -0.5?
w
Let h = -804 + 803. Let z = -53 - -52.71. Let n = z + -17.71. Is n less than or equal to h?
True
Let c(i) = -6*i**3 + i. Let v be c(1). Let b be v/(21/9 - 2). Let x be (-354)/(-615) - (-9)/b. Which is greater: 1 or x?
1
Let c = -4/3965 + 76132/3965. Is c at least 19?
True
Suppose -4*c = -z - 14, -2*c + 3 = -z - 5. Let y be (0*2/(-6))/z. Let m be (-3)/((-2730)/506) + (-20)/35. Is m != y?
True
Suppose 0 = 2*w + 3454 + 16764. Let j = 31067/3 + w. Let g = 251 - j. Is g at most -0.2?
False
Let f = 4182044/5769 + -730/641. Which is bigger: f or 725?
725
Let i = -76 + 76. Let j(g) = g**2 + 13*g + 13. Let q be j(-12). Let x be q/((-2)/52) - -2. Do x and i have the same value?
False
Let k be 19/(76/(-24)) - 626/(-104). Suppose z + z = 0. Is k at most as big as z?
False
Let t = 226.8 - 49.5. Let v = t - 177. Which is greater: v or 1/3?
1/3
Let b(j) = 17*j**3 + 5*j**2 - j - 9. Let k be b(3). Suppose 0 = -203*s + 197*s - k. Is -79 not equal to s?
True
Suppose 4454*w - 4465*w + 605 = 0. Which is smaller: w or 53?
53
Let s be (-86526)/42 + (4 - (-297)/(-77)). Are -2061 and s nonequal?
True
Let c = 241 - 418. Let f(x) = 66*x - 836. Let k be f(10). Which is greater: k or c?
k
Suppose 207*u + 456 = 204*u. Let r be (7 + -4)/((-316)/u + -2). Are 39 and r non-equal?
True
Let h = -82 - -253. Let a = -168 + h. Which is smaller: a or -13.7?
-13.7
Let p be (-1762)/(-1)*1*(-3 - -2)*-1. Which is smaller: 1759 or p?
1759
Let n = -4/48781 + 13268676/2975641. Which is bigger: n or 4?
n
Suppose -3*l - 193 = 167. Let t = l - -69. Which is greater: t or -203/4?
-203/4
Suppose -3*b = 2*r - 40, 4*r + 32 = 4*b - 28. Suppose 0 = -h - 2*l - 2, 4*l + l + 5 = 4*h. Suppose -m = -17 - h. Which is smaller: b or m?
b
Let w = -117.94 - -118. Let h = -2.05 - -2. Let q = h - 0.95. Which is smaller: w or q?
q
Let t be -2*2/(-4) + 62/4. Suppose -3*f + 22 = 2*v, -40 = -2*v - 2*f - 14. Let j = v - 1. Is t at least as big as j?
True
Suppose -2*t = -2*p - 3554, 0 = 2*t - 3*p + 5*p - 3518. Which is greater: 1769 or t?
1769
Let q(x) = -17*x - 98. Let i(j) = 9*j + 50. Let o(a) = 7*i(a) + 3*q(a). Let l be o(-5). Is l smaller than -9?
False
Let k = 891566 - 1252688. Let w = -178393675/494 - k. Let z = 25/19 - w. Which is smaller: z or 0?
0
Let y be 3/