 l unequal?
False
Let a = -394 + 3536/9. Let r(t) = -5*t**3 + 4*t**3 - 2*t**2 - 4 + 4*t + 3 + 3. Let q be r(-3). Which is greater: q or a?
q
Suppose 0 = -5*b - h - 9484, -4*b + 4*h - 7593 = -h. Are -1899 and b unequal?
True
Let w be (8/(-72) - 0)*7422/4. Let n = w - -195. Is -11 equal to n?
False
Suppose -4*c - 206 = -2*f, 4*f + 225 = -5*c - 0*f. Let o = 3 + c. Let r(p) = p**2 + 16*p + 16. Let l be r(-9). Which is bigger: l or o?
o
Suppose -12 = -3*w - 6. Suppose 0 = -4*d - 2*g - 4, -5*d - 5 = w*g + 1. Let r be (9/72)/(d/(-6)). Which is smaller: r or 0?
0
Suppose -10 = -3*i + 4*d - 25, 5*d - 18 = 3*i. Let c be (-4)/(-1) - (5 + i) - -77. Let y = c - 59. Is y smaller than 33/2?
False
Let b be 430/25*(-20)/8. Suppose 0 = 5*o + 5*q + 585, 587 = -5*o + 5*q - 48. Let y = 80 + o. Which is greater: b or y?
y
Let s = -38973 + 195033/5. Do s and -1.7 have different values?
True
Suppose 17*o - 34*o = 22*o. Is -5/1632 != o?
True
Let h = -703/8 + 699/8. Do h and -332 have different values?
True
Suppose 4726 - 2346 = -20*q. Is -33 < q?
False
Suppose -13 = 3*k - 8*v, 5 = 5*k + 3*v - 6. Is k smaller than 37/196?
False
Let q = 3 + -4. Let p be (-264)/32 + 7 + 28/10. Let g = p + -3337/2140. Is g > q?
True
Let c = 1400.99376 + 0.00624. Which is bigger: -2/3 or c?
c
Let x be (-3*6/(-9))/((-12)/(-222)). Suppose -3*r + 3*k - x = 4*k, 2*r + 5*k = -29. Is -5 less than r?
False
Suppose 4*y = -2*g - 318 + 306, 2*g + 10 = -5*y. Suppose -50 = 5*l - 0. Is l > g?
False
Suppose 4 = -g - 0. Let z(y) = 380*y - 7975. Let c be z(21). Is g greater than c?
False
Suppose 185*t = 181*t + 5*j - 11877, 5*j + 2988 = -t. Is -2975 greater than t?
False
Let x = -60/143 - -67038/157729. Is x greater than 1?
False
Let v be -4 + (-13 - (-6540)/385). Is -1 bigger than v?
False
Let n = -1.524 - -1.732. Which is smaller: n or -30?
-30
Let c be 2*-1*(-2)/(-140). Let t = 186 - 176. Let z be (-4)/t + 24/(-40). Is z at least c?
False
Let p = 1641.01167 + -0.01167. Is p at most as big as 0?
False
Let a be (1/(-2))/(26/8). Let h = 0.45 + 14.55. Let b = h + -17. Is a equal to b?
False
Let w(b) = 2*b**2 - 2*b - 3. Let h be w(5). Suppose 0 = u - 3*t - 79, u - 14 = -4*t + h. Which is smaller: 65 or u?
65
Suppose -3*c = 3*p - 29 + 11, p + 2*c - 8 = 0. Suppose -p*z + 0*z + 35 = -5*d, d + 4*z = 17. Let y(f) = -f**3 + 10*f + 4. Let t be y(d). Is 4/15 less than t?
True
Let n be ((-16)/72)/(86/129). Let g = -18.73 - 0.27. Which is greater: n or g?
n
Let r = -25 - 67. Let g = r + 130. Is g at most as big as 40?
True
Suppose -6*j + 1475 = -j + 3*s, 5*j - 3*s - 1445 = 0. Let q = 6425/22 - j. Suppose 0*z + z + p = 5, 2*z - 2*p = -10. Which is smaller: z or q?
z
Let a be (-12 - 2)*(-5)/20*2. Let z be -6 + -2 + a + 2. Do 13/31 and z have different values?
True
Let u be (-5748)/33 - (-40)/220. Is u at least as big as 5?
False
Let o(p) = 2*p**2 + 233*p + 1161. Let s be o(-5). Is 627/14 < s?
True
Let b = 2/368313 + 666044/12998134083. Is b greater than or equal to 1?
False
Let h = -34719 - -34718.9. Let f = 2 - 1.3. Does h = f?
False
Let p be 1/(-4)*(-23)/((-115)/3940). Which is greater: p or -192?
-192
Let z be (296/(-259))/((-4)/14). Which is smaller: z or 62/13?
z
Let t be -4 - (1654/(-16)*-2)/(-62). Let i = 9/31 + t. Let m = -3 - -2. Is m at most as big as i?
True
Let n = -224.6 - -206. Let i = -18.1 - n. Which is smaller: i or -1.8?
-1.8
Let d be ((-20)/3)/((52/(-195))/(-2)). Suppose 7*z - 3*z = -192. Is d greater than z?
False
Let f be 100/(-170416)*(-272664)/20 + (3 - 11). Is f != -1?
True
Let b = 1191 - -609. Is -3/2 smaller than b?
True
Let t(u) = 32*u**2 - 37*u - 244. Let s be t(-10). Which is bigger: -2/3 or s?
s
Let t be (-1 + (-3)/(-21)*-317)*-14. Let h = -30463/47 + t. Is h > 1?
False
Let d(t) = -30*t - 171. Let i be d(-6). Suppose 0 = -i*j - j. Which is greater: j or 2/363?
2/363
Let m = -1.252 - -1.152. Let t = -759 + 85765/113. Do m and t have the same value?
False
Suppose -52179 + 18131 = -38*i. Which is bigger: 894 or i?
i
Suppose k + 120 = -3*k. Let n = -226588 + 226586. Is k greater than n?
False
Let m be 375/50*(-4)/(-10). Suppose c + 12 = m. Let p be (-3)/18 - c/(-9). Is -2 smaller than p?
True
Let h be 12/48 - 263*1/(-4460). Let l = h + -2/223. Let v = 2 - 1. Which is smaller: l or v?
l
Let q(g) = 4*g**2 + 36*g + 2. Let w be q(-9). Suppose 2*h + 2 = 0, z - 3*z - 2*h + w = 0. Is -0.5 at least z?
False
Let y be -8 + (-5 - (0 + -2)). Let d be (y - -8) + 145/48. Let r be 17 + -14 - (0 + 2). Which is bigger: d or r?
r
Let l(k) = k**3 - k**2 - 12*k + 1. Let g be l(4). Let t be 1*2/8*4*g. Let h be ((-58)/(-42) - t) + 24/84. Which is smaller: h or -2.3?
-2.3
Let f = -1295 - -1295.777. Let z = f + 0.223. Is -0.13 greater than z?
False
Let n = -3441/41236 - -1/676. Which is smaller: -1 or n?
-1
Suppose 4*o - 3 = -5*j + 31, -o + 14 = 4*j. Let m be 20/o*21/(-14). Is m greater than -11?
True
Let i(v) = 3*v - 14. Let w be i(5). Let n(y) = 15*y**2 - y + 1. Let r be n(w). Suppose -z + 5*s - 29 = -3*z, 0 = -3*z + s + 52. Which is smaller: r or z?
r
Suppose -3*r + 4 = m, -14*r + 20 = -17*r + 5*m. Which is smaller: r or 2/1915?
r
Let j = -446.75 - -446.9. Is -34/3 smaller than j?
True
Let w = 758 + -789. Is w at most 11?
True
Suppose -101 = 10*i - 9*i. Let b = i - -100. Is -5/61 less than b?
False
Suppose 4*x + 9*x - 364 = 0. Suppose x*b + 5 + 23 = 0. Is b <= -3/152?
True
Let s be ((-339520)/768)/((-27)/(-12) + -2). Is -1768 at least as big as s?
True
Let m be (-216)/54 + (-4214)/(-1054). Is m at least as big as -1?
True
Suppose 0 = -4*q + 16 - 648. Let i = 159 + q. Which is smaller: 45 or i?
i
Let u be (0 - -2)/((-8)/(-4)) - -4123. Let n = 41447/10 - u. Let i = 243/10 - n. Are 3 and i nonequal?
True
Let p(g) = 8*g**3 - 213*g**2 - 28*g + 15. Let f be p(27). Is f at least 1448?
False
Suppose -5*j - 3*p = -4*j - 189, -4*p = 20. Let z = 204 - j. Which is smaller: z or 4/49?
z
Let p = 23618 - 29510. Does p = 2?
False
Let q = -218762/11 - -19930. Which is bigger: q or -0.1?
q
Let l = 1622 + -1622. Suppose -4*y - 206 = -22. Let k be y/88 - 2/(-4). Is l at most as big as k?
False
Suppose 5*o - 2*g - 2999 = 0, -13*o + g + 2395 = -9*o. Which is smaller: o or 598?
o
Let n be 16/(-234)*1*(-132)/(-8). Suppose 2*d - 23*d - 11*d = -6*d. Do d and n have different values?
True
Let d = 7886 + -1175228/149. Which is smaller: 0 or d?
d
Suppose -4*f + 61 + 147 = 0. Suppose 292*a = 296*a - f. Is 20 < a?
False
Suppose -7 - 11 = -18*h. Let m be -2 + h*(-2)/10*-5. Let t = 153/10 + -257/15. Which is bigger: t or m?
m
Let z be ((-18)/(-15))/((-6)/(-15))*(-3480)/360. Is -64 smaller than z?
True
Suppose 0 = 5*u - 5*c + 140, -u = -4*c - 0 + 34. Suppose 5*h - 3*h = 4*y - 72, -132 = 5*h + 2*y. Let z = h - u. Is 3 less than z?
False
Let k be 1/(-2)*-1*40. Let p = 15129 - 15108. Are p and k equal?
False
Let i be -1095*(-9)/((-90)/(-4)). Let q be 7 + -3 + i/(-114). Let j be 24/15 + (-9)/15. Which is smaller: j or q?
q
Let d(l) = -l**2 - 8*l - 3. Let m be d(-5). Let h = -17571 + 17572. Do m and h have the same value?
False
Let v(o) = -8*o - 31. Let l(u) = u**2 - 19*u + 14. Let c be l(18). Let g be v(c). Let h = 1/21 - -5/21. Are g and h non-equal?
True
Let v = 1889754/35 - 53989. Is 4 at least as big as v?
True
Let c be (-1)/(-5) + (-124)/20. Let f(b) = 9*b**2 - 7*b + 10. Let r be f(3). Let z be (-190)/r - 1*-3. Which is smaller: c or z?
c
Suppose -11880 = 11*i + 34*i + 6930. Which is greater: i or -412?
-412
Let q(t) = 6*t + 4. Let f be q(-5). Let n be (22/12)/((-1)/(-14)). Let a = f + n. Is 11 < a?
False
Let o = -273482 - -3101012396/11339. Is o smaller than 1?
True
Let a(o) = 78*o - 1793. Let s be a(23). Is 15/143 less than or equal to s?
True
Suppose 300*c + 239813 = 57413. Which is smaller: -612 or c?
-612
Suppose -5*u - 3*l = 251, 0 = 5*u + 5*l + 64 + 181. Let r(q) = -267*q + 2618. Let s be r(10). Is s != u?
False
Let b be (-6)/153*(-59586)/4. Let a = b - 584. Suppose k = 2*x - 0*x + 10, -3*k + 4*x + 20 = 0. Which is smaller: a or k?
k
Let f be ((-126)/189)/(16/3570). Let p = f - -149. Which is bigger: p or 1.23?
1.23
Let c be 1/(52/54 + -1). Suppose -67*s + 10901 - 12710 = 0. Are s and c non-equal?
False
Let m = -25/6 - -127/30. Let p = -27738 + 1664329/60. Let a = m - p. Is 25 greater than a?
True
Suppose -t + 1382 - 12865 = -5*s, -3*