+ 27. Suppose 0 = 4*t - 2*g - 6, -3*t + 2*g - w*g - 23 = 0. Do -1/61 and t have the same value?
False
Let g = 48 + -105. Let s = 56 + g. Let d = s + 7. Do -2/5 and d have the same value?
False
Let c = 474 + -471. Suppose 0*l = 2*l + c*j + 89, 4*l = 2*j - 170. Is -217/5 greater than or equal to l?
False
Let l = -27 + 41. Let f = -42.6 - 7.4. Let b = -49.8 - f. Are l and b equal?
False
Let t = -412/273 + -8/39. Suppose -27 - 41 = 4*y. Let z = -18 - y. Which is bigger: z or t?
z
Let m = 15/151 + -4363/1359. Which is smaller: -9 or m?
-9
Let o be (-8)/6*9/(-222). Let n(g) = g**2 + 18*g + 56. Let b be n(-14). Is o less than or equal to b?
False
Suppose 0 = -4*z + 5*z - 5*c + 53, -3*c = 4*z + 258. Let y be (-497)/z*-2*1. Does y = -17?
False
Let i be 40/(-1360)*(2 + 3 + 26/(-5)). Is i <= -1?
False
Let i(r) = -r**2 - 7*r - 10. Let f be i(-2). Suppose 3*s - 4*o - 4 = -f*s, -5*s = -3*o - 14. Suppose -s*b + 8*b = -124. Are b and -32 nonequal?
True
Suppose -w + 12 - 9 = 3*n, 4*n + 3*w = 9. Let g be (-388)/774 + (-22)/(-99). Which is smaller: n or g?
g
Suppose -3*w + 18 = 0, 2*p + 5*w + 740 + 1188 = 0. Which is greater: p or -985?
p
Let y(v) = -212*v - 4870. Let k be y(-23). Which is bigger: 21 or k?
21
Let d be (-16)/14 + (-113)/(25312/389952). Does d = -6963/4?
False
Let s(b) = -b**3 + 5*b**2 + b + 4. Let x be s(5). Let m be x/(-54) - (-10)/204. Let t(a) = a**2 + 13*a. Let p be t(-13). Is m less than p?
True
Let n be 3*(-4)/18*3. Let m be (39/8)/((-2862)/424). Is m <= n?
False
Let m = -9116 + 9115.97. Which is smaller: -11 or m?
-11
Let u(g) = -g**2 + 9*g - 4. Let o be u(5). Let l(z) = 5*z + 42. Let h be l(-7). Let d be (-2)/o - h/(-56). Which is smaller: 1/3 or d?
d
Let z(p) = 2*p**3 + 2*p**2 + p - 4. Let g be z(1). Is -18/6107 >= g?
False
Let x = -571 - -570.52. Let u = x - -0.58. Which is smaller: -0.1 or u?
-0.1
Suppose 2*z + 3*a = -1158, -3074*z = -3073*z - a + 559. Are z and -567 non-equal?
False
Let m = -1214311/36 - -137399/4. Let w = -951 - -331. Let y = w + m. Are 0.1 and y unequal?
True
Let x(f) = f**3 - 20*f**2 + 64*f - 711. Let l be x(15). Does l = -875?
False
Let r = 17934362/11 - 1630396. Let w be 1/(-3) + (-1)/(-3). Is r at most as big as w?
False
Let f(o) = 30*o**2 + 159*o + 2885. Let j be f(-17). Which is greater: 0 or j?
j
Let q = 13492 - 12011. Is q at most 1479?
False
Let i = -1144 - -1016. Are -131 and i equal?
False
Let s = -1723533090/5209 - -330876. Which is bigger: s or 0?
0
Let k = 1147016/1695 - 22/565. Let z = -683 + k. Which is greater: -6 or z?
-6
Suppose q + 2 = -2*l, -61*q = -3*l - 63*q - 8. Let j(m) = -m**3 + 5*m**2 + m - 7. Let x be j(5). Which is smaller: x or l?
x
Let a be (-204)/(-120)*(50/(-30))/(-1 - -2). Let v(p) = 4*p**2 + p + 1. Let q be v(-2). Suppose 0 = 5*u + 5 + q. Are a and u unequal?
True
Let x = -37 - -19. Suppose -562*b = -503*b + 1180. Does x = b?
False
Let s be 6/40 + (-4)/10. Let m = -913.8664 + 914. Let d = -0.2436 + m. Is d > s?
True
Let r be -7 + 84/(-16) + 0 - 1. Let a be (-126)/(-9)*1*-1. Is a at most as big as r?
True
Let l be 1*(-37)/(629/15147). Is -902 at most l?
True
Let j be (-56)/(-35) + (-2616)/60. Suppose 0 = -3*r + 5*r + 82. Is r greater than j?
True
Suppose -20*t - 416 = -396. Let x be ((-2)/116)/(25/4). Which is smaller: t or x?
t
Suppose -45*f - 14 = -52*f. Let g be 2/(-9) - (-8820)/6885. Which is bigger: g or f?
f
Let a = -1/319 + -1587/2552. Is -2/289 less than a?
False
Let h = 92 + -89. Suppose -m - 89 = h*z - z, -2*m - 169 = z. Is -165/2 smaller than m?
False
Let l = -522 + 521.279. Let c = l - 0.179. Which is smaller: c or -3/5?
c
Let l = 163 + -231. Let r = l - -61.6. Let t = r - -9. Which is bigger: 0 or t?
t
Let n = 7731 - 7313. Which is smaller: 424 or n?
n
Suppose 0 = 22*j - 2329 - 2379. Let r = j - -18. Which is smaller: r or 1?
1
Suppose -487*c - 493*c - 3938 = -958*c. Which is smaller: -1598/9 or c?
c
Let n(b) = -223*b. Let w be n(-1). Suppose 0 = 5*g - 1258 + 143. Do g and w have different values?
False
Let k = -18460 + 166162/9. Which is smaller: -0.094 or k?
-0.094
Let d be (-107 + 99)/(-2*(1 + -2)). Let c = 4514849321/955773 + 136/73521. Let t = 4721 - c. Is t less than or equal to d?
False
Let a be (177/(-378))/(20/2028). Let n = a - 2/105. Is n < -47?
True
Let h = -1.3 + -0.5. Let i = h - -2. Let y = -2464.4 - -2453.4. Which is greater: y or i?
i
Let x be 116*4/120 + -4. Let p be (0/(2 + -2 - 1))/(-3). Which is smaller: x or p?
x
Let h(j) = -7*j**3 - 2*j**2 + 4*j - 1. Let z(l) = -l**3 + l. Let r(y) = h(y) - 6*z(y). Let i be r(-1). Let n = 78.13 + -78. Which is greater: i or n?
n
Let m = 10740.011 + -10719. Let z = 21 - m. Let g = -25.5 + 25.4. Which is bigger: g or z?
z
Suppose 1038*y - 4680 = 1033*y. Suppose -63*i + 37*i - y = 0. Let u be -41 + 4 + -2 - -3. Is u less than i?
False
Suppose 88*p = -883 + 6427. Which is greater: p or 61?
p
Let v(l) = 2*l**2 + l - 161 + 13*l + 176. Let r be v(-8). Which is bigger: 32 or r?
32
Let x = -8205 - -8241. Which is smaller: -33 or x?
-33
Let m(g) = -g**2 - 6*g + 13. Let s be m(-7). Suppose s*o - 11*o = -35. Let x be (-3)/1 + o/2. Is x at least 16?
False
Suppose 0 = -8*q + 21 + 3. Suppose b = 4*w + 9, q*w = -8*b + 5*b + 12. Let c = 46/11 + -4. Is w <= c?
True
Let q be 1565/9030 - (-54)/(-324). Is 0 smaller than q?
True
Let c be 4/(-14) - 13189/(-77). Let j = c - 135. Do j and 36 have the same value?
True
Let l = 19320454/80035 + -1/16007. Is l less than or equal to 240?
False
Suppose 3*p - p = -22. Suppose 1345*w = 1255*w + 1170. Which is smaller: w or p?
p
Let q(h) = -h**3 - 27*h**2 - 145*h - 168. Let n be q(-19). Is -301 less than or equal to n?
True
Let a = 5900 - 5900.1. Is 120/13 not equal to a?
True
Let a = 1811/2 - 7245/8. Which is smaller: 130 or a?
a
Let t be (-21)/(6/2)*((-602316)/(-77))/13. Is t != -4212?
False
Let u(j) = 150*j**2 - 168*j + 341. Let q be u(2). Which is bigger: 2/5 or q?
q
Let j be (-26)/(-2193)*(-47)/(-2). Let n be 3*1048/(-3096) + 1. Let v = j - n. Which is bigger: 1 or v?
1
Let l be (-147)/(-28) + 9/12. Let t(v) = -v**2 + v - 1. Let i(w) = -5*w**2 + 4*w - 29. Let y(c) = -i(c) + 6*t(c). Let p be y(l). Which is smaller: p or 3/38?
p
Let p = -22 - -24. Let k = p - 3. Let s be (-121)/(-25) - (15 + -7 + -3). Which is greater: k or s?
s
Let p = -71 + 72. Which is smaller: -4/39 or p?
-4/39
Let i = -164 + 166. Suppose -4*c - i*c = -36. Is 6 at most c?
True
Let x = 28 - -179. Let w = x - 75. Suppose 0*h + w = -4*h. Is h bigger than -33?
False
Let g be (-28)/2786 - (-1 + 1). Suppose 16*w - 11*w + 2*i = 2, -4*w = 4*i - 4. Which is greater: w or g?
w
Let t be ((-21)/(-9) - 2)/(1/(-12)). Let l be (-54)/27*2/(t/34). Does 35 = l?
False
Let l be 12*(-1)/(-21)*(-21063)/102. Is l != -825/7?
True
Let f = -1288 - -1273. Let n = 2 + -2. Suppose i - 4*a - 2 = -n*i, -a = -2*i - 24. Which is greater: f or i?
i
Let d = -17 - -10. Suppose 9*v - 8*v + 4*p - 31 = 0, -p - 62 = -2*v. Is v smaller than d?
False
Let f = 1028 + -857. Which is bigger: f or 848/5?
f
Let z be (18/195)/(12/1290) + -3 + 3. Do z and 9 have the same value?
False
Let r(p) = -p**3 + 57*p**2 + 525*p + 96. Let m be r(65). Which is smaller: m or 2104/5?
2104/5
Let q = 88254/5 + -235726409/13355. Which is greater: q or 1?
1
Let j(g) = -7*g + 48. Let v be j(6). Let w be 10/(-4)*(v - 658/105). Which is bigger: 273 or w?
273
Let k(t) = 92*t**2 - 10*t - 27. Let q be k(-5). Let v = 25494/11 - q. Which is greater: v or -4?
-4
Let r(l) = -l**3 + 2*l**2 - 2. Let d be r(3). Let s be (-4)/(-12) - d/3. Suppose -5*b = -4*k - 10, 2*b = -s*k - 0*k + 4. Which is greater: -2/21 or k?
k
Let j be ((-55320)/32 + 7)*(-3 - 1). Let s = 1294753/188 - j. Is s at least 0?
False
Suppose -38 = 3*l + 5*f, 5*f + 28 = -2*l + f. Let u be 7/42 + (-23)/l. Suppose -5*z = -2*b - 6, -7*z - u*b - 12 = -9*z. Which is greater: -11 or z?
z
Let g = 38364 - 38363.683. Which is bigger: 37 or g?
37
Suppose 0 = -5*u + 3*b - 33723, 4*b = -4*u + 5*b - 26991. Which is smaller: u or -6751?
-6751
Let r = 406 - 378. Let s be r/(-42) - (0 - (-786)/9). Is s >= 1?
False
Let u(a) = -2*a**3 - 19*a**2 + 13*a - 7. Let p be u(-9). Let n = 205 + p. Which is smaller: n or 7/11?
n
Let j be ((-26)/65)/(0 + (-56)/20). Is -365 at most as big as j?
True
Suppose 4*d + 13 = 17, c - 3 = d. Let u be (-5 + 22/c)*-22. Which