
j
Let y = 73 - 68. Suppose 3*c - y*l = -14 + 4, 0 = -l - 1. Let s(j) = 7*j + 35. Let v be s(c). Is v less than or equal to -2/35?
False
Let o = -3723943065860081255/150549 - -24735754244904. Let a = 31248/107 + o. Let n = a + -2/201. Which is greater: n or 0?
0
Let a = 14595 + -102169/7. Suppose -2*z = -0*z - 12. Suppose -y - z = -2*h, -h - 6 = 4*y - 3*h. Are a and y non-equal?
True
Suppose -5*a + 75 = 50. Suppose 0 = 2*q - 3*k - 14, 3*k + 17 = a*q - 0*k. Is 8 < q?
False
Let v be (-633 - 0)*((-1012)/66)/46. Which is greater: v or 205?
v
Let z = 7708 - 7696. Which is greater: z or 41?
41
Let h = 155795/4 - 39357. Let n = h - -411. Which is smaller: 4 or n?
n
Let s = -109 + 103. Let b = 0.5 + 0. Let o = -0.4 + b. Is s < o?
True
Let d be (132/9)/((6/9)/2). Let w be (32/(-20))/(((-60)/550)/3). Is w < d?
False
Suppose 4 = 5*g + c, -5*c = 5*g - c - 16. Let y be g/((5 - 1)*1). Let n = -728 + 716. Which is smaller: n or y?
n
Let q = 70 - 70. Suppose -b - 13 = -2*x - 49, q = b - 3*x - 40. Suppose -87 = -4*p - 5*l, -2*p - 4 = 5*l - 35. Is p at least b?
True
Suppose 14*t + 111 = 17*t. Let x = 14 - t. Is x smaller than -18?
True
Let n(u) be the third derivative of -17*u**4/24 + 4*u**3/3 + 320*u**2. Let a = -6 - -3. Let h be n(a). Is h greater than 60?
False
Let l(c) = 2*c**2 - 35*c + 117. Suppose -8*d - 37 + 141 = 0. Let k be l(d). Do 4/29 and k have different values?
True
Let k be (-12)/16 - 16319966436418/(-85272). Let v = -191387166 + k. Let c = v - -2/969. Is 1/3 != c?
True
Let f = -0.2 + -0.8. Suppose -236 = 12*b - 1532. Let p be b/(-81)*(-54)/4. Is p < f?
False
Let n = -596399/1775 + 336. Which is smaller: 0 or n?
0
Let g = -367517183/95 - -7737303/2. Let v = -575311/10 - -57481. Let p = v + g. Is p greater than 2/3?
False
Suppose 22*s = 21*s + 528. Suppose -5*v + 17*v - s = 0. Let u = -83/2 + v. Which is smaller: u or 3?
u
Let o be ((-10)/35)/(216/7906). Let l = 53/54 + o. Let j = 8941/945 + l. Is 0 equal to j?
False
Let x = 2/125539 - -374627/124911305. Which is smaller: -1 or x?
-1
Suppose 9*r - 21 = 10*r. Let m be ((12 - -2) + -2)/(r/(-70)). Suppose -5*c + 0*c - m = 0. Are c and -8 nonequal?
False
Let c = -398 - -400. Suppose c*t + 20 = 3*t - 4*v, -6 = 3*v. Suppose 4*g - 16 = 36. Is g > t?
True
Let v = -411424889/363980 - -24/90995. Let b = v + 1129. Is b at most -2?
False
Let c(y) = y**3 + 23*y**2 + 11*y + 173. Let i be c(-24). Let x = i + 667. Which is smaller: 2/991 or x?
x
Let c(d) = -3*d**2 + 54*d + 36. Let q be (-3)/15*(-119 + 24). Let z be c(q). Is -23 smaller than z?
True
Let c(m) = 4 - 5 - 6*m - 11 - m**2 + 5. Let o be c(6). Let g be o/(-30) - (-5)/25. Which is greater: g or 2?
g
Suppose 5*g - 2*o = 66, 66*g - 22 = 65*g - 4*o. Let y be 2/54*(623/g + -1). Are y and 1 unequal?
True
Let q(w) = w**2 + 128 - 2*w**2 + 0*w + 12 - 3*w + 15. Let n be q(11). Is -13/61 equal to n?
False
Let y = 3203/149877 - -1/1647. Let n(x) = -x**2 - 9*x + 92. Let d be n(6). Suppose -40*w + 39*w + 4*g - 12 = 0, -d*w = g - 3. Which is smaller: w or y?
w
Let x(h) = -5*h**2 + 20*h + 116. Let w be x(7). Is -86 greater than w?
False
Let k(h) = -3*h**3 + 69*h**2 - 155*h + 77. Let i be k(21). Does -547 = i?
False
Let r = 0.0535 - 2.5535. Let v = 0.014 + -2.714. Let j = r - v. Is j < 14?
True
Suppose 2 = y, -h + 4*y = -6*h - 2. Let a be h - ((-1902)/477 - -2). Let r(l) = -l**3 + 10*l**2 - 149*l + 896. Let j be r(7). Which is greater: j or a?
j
Suppose 0 = -10*z - 29 + 39. Is 7/293 < z?
True
Let k be 1/(4/(2 - 246)). Suppose -8 = -l - 87. Let v = k - l. Which is smaller: v or 19?
v
Let f = -1990 + 1990. Which is smaller: f or -124?
-124
Suppose 2*x + 87 + 76 = -5*k, -393 = 5*x - 2*k. Let m = x + 61. Let j = -10/9 + 8/9. Which is greater: j or m?
j
Suppose 0 = -4*s - w + 7, -3*s - 12 = -6*s - 3*w. Let c be (-120)/39 + (4 - s). Let g be 10/14 + (-13)/((-637)/14). Which is greater: c or g?
g
Let z(u) = 15*u + 16. Let d be z(24). Let p = d - 375. Let t be -2 - 41*2/(-40). Is p smaller than t?
False
Let j be (36/28)/(-7 + 531/63). Are 1 and j equal?
False
Let t(w) = w**3 - 19*w**2 - 38*w. Let v be t(21). Let y = v + -83. Let h be y - 3 - 324/(-126). Which is greater: h or 0?
h
Let c be 258/(-17 - 906/(-54)). Which is bigger: c or -1162?
c
Let m = 33 - 33. Let v = m + 3. Suppose -p - 2*k = 2*k + 12, -4*p - 10 = -v*k. Which is smaller: p or -5?
-5
Suppose 0 = 84*u - 103*u + 50198. Is 0.1 less than or equal to u?
True
Suppose 1031*z = 1023*z. Is -6/1787 at least z?
False
Let k(a) = -28*a**2 + 211*a + 846. Let o be k(-4). Is o > -448?
True
Let t be (3 - 5)*981/6. Let w = -326 - t. Is -0.8 != w?
True
Suppose 0 = -3*u + 3, -5*r + 5 + 10 = 5*u. Let d = 2 - r. Which is bigger: -101 or d?
d
Let y(j) = -26*j**2 + 10*j**2 + 15*j**2 + 2*j + 27. Let s be y(6). Is 84/19 > s?
True
Let l = -288 + -874. Let h = -32537/28 - l. Let o be -1 - (0 + -1)/1. Which is smaller: o or h?
h
Let u be 2/(72/441) - 2/8. Suppose -24 = u*c - 12. Which is greater: 2 or c?
2
Let w be 2 + 1 + 0 - (-1574 + -1). Let m = w - 209878/133. Is -1 != m?
True
Suppose 2*m = -623 - 1073. Let h = 595 + m. Which is greater: -0.1 or h?
-0.1
Let c be -6 + ((-2619)/(-297) - (-4)/22). Suppose 2*h - 19*j = -20*j - 213, -h - c*j = 119. Which is bigger: h or -308/3?
-308/3
Let n(p) = -8*p**3 - 95*p**2 + 6*p - 52. Let q be n(-12). Which is smaller: 6 or q?
6
Suppose 0 = 2*k - 12, 5*k + 347 - 316 = -b. Is -670/11 greater than or equal to b?
True
Suppose 2*c - 2*j - 2 = 0, j + 0 + 4 = -2*c. Let b be 99/((-24156)/793) + (-2914)/(-872). Do b and c have different values?
True
Suppose 5*u - 4 = 4*u, -u + 60 = -2*c. Which is bigger: 0.059 or c?
0.059
Let u = 7 - 20. Let i = -15 - u. Which is smaller: i or -2/3?
i
Suppose -105 = -6*u - u. Suppose u = -5*o - 90. Is o > -20?
False
Let g = 225 + -223. Suppose -3*y + 5 = g*c, -17 = -0*c - 2*c + y. Is c greater than or equal to 43/6?
False
Let w be ((-2)/(-108))/(136*14/42). Which is smaller: -1 or w?
-1
Let r = 5212 - 5213. Which is bigger: r or 2/279?
2/279
Let n(w) = 5*w**2 + 49*w - 711. Let x be n(8). Let d = 10111/1411 + -121/17. Is x at most d?
False
Suppose -s - 5*r + r + 64 = 0, 205 = 5*s - 3*r. Let a = s - 44. Let k be (a + (-2)/(-2))/((-22)/(-198)). Which is smaller: k or 8?
8
Suppose -48*n - 16*n - 132 = -31*n. Is n bigger than -113/21?
True
Let i be -7 - (-5 - (-33464)/5576) - -8. Which is greater: 1 or i?
1
Let g = 46 - 42. Suppose 0 - g = -q. Let k be 12*q*3/24. Are 8 and k unequal?
True
Suppose 113 = -2*i - 49. Let w = i - -244. Which is bigger: w or 165?
165
Let n = 74.81 - 96. Which is greater: n or 0?
0
Let c(m) = 3*m**3 + 115*m**2 + 36*m - 88. Let b be c(-38). Which is smaller: b or -9?
b
Let t = 26.08 - 26. Let l = -3168 + 3172.6. Which is greater: l or t?
l
Let k be (-227)/4 - 1/4. Let m = -236 + 296. Suppose s = -4*u - m, -1 = -7*u + 8*u. Which is smaller: s or k?
k
Let n be (-9)/12 + 490/632. Suppose -12*l + 32*l = -109*l - 129. Is n != l?
True
Let r = -1/541506 - -115592195/1895271. Let v = r - 61. Which is smaller: -1 or v?
-1
Let a(k) = -k - 8. Let u be a(-8). Suppose -p - p - 2 = u. Suppose 2*s = 4, 4*o - 4*s = -134 - 34. Which is smaller: o or p?
o
Suppose 3*l = 5*u + 7218, -5*l - 5*u + 13544 = 1594. Which is greater: 2397 or l?
2397
Let y be (-1 - 129)*990/(-825). Is y > 1098/7?
False
Let b be (2 + -1)*(0 - -1). Let g be (13/7475*10)/(-1*(-12)/(-45)). Which is smaller: b or g?
g
Let n(j) = -9*j - 157. Let u be n(-18). Let p(t) = -6*t + 1. Let i be p(-2). Suppose 0 = u*o - 5, -m - 4*o = 2*m - i. Is -4 greater than m?
False
Let z = 112 + -115. Let y be (z - (-134)/(-10))/(-1). Is y at least 15?
True
Let x = 101394281/480 + -211238. Let j = x + -7/32. Let g = 22 - 22. Is j >= g?
False
Suppose 6*v + 532 = -2*q + 5*v, 4*v = 4*q + 1076. Let u = -270 - q. Is u at most as big as -8?
False
Let a be (4719/55)/(2/(-13 - -3)). Let u = a + 436. Is 18 less than u?
False
Suppose 0*c - 5*c = -215. Let a = c - 41. Suppose -3*o + a*s = -5, 6 = -3*o - 2*s - 5. Is o at least 2/67?
False
Let r be -4 + (-3)/(-4)*19. Let k(i) = -i**2 - 14*i - 16. Let w be k(-10). Let f = w + -15. Is r <= f?
False
Suppose -4*r + 4*j - 32 = 0, -r + 32 = -6*j + 10*j. Is r >= 54/623?
False
Suppose 48*o + 62*o = -5*o + 4*o. Which is bigger: -2/12235 or o?
o
Suppose 2*b - u + 54 - 10 = 0, u + 66 = -3*b. Wh