d be 78*(-2 + (-15)/(-10)). Let w = -40 - d. Let n be m(w). Is -42 equal to n?
False
Let o(n) = 24*n**2 - n - 4. Let j be o(2). Let m be (-164)/(-9) - 20/j. Which is greater: -0.3 or m?
m
Let r be (29/24215)/((-4)/10). Let t be ((-2)/4)/((-150)/20 - -8). Is t < r?
True
Let o be 18/45 - (-916)/10. Let i = -114 + o. Let d(f) = -11*f + 9. Let p be d(3). Which is smaller: i or p?
p
Suppose -3*n = 2*r + 23, -33 = 2*r + n + 4*n. Let x(z) = -359*z + 26. Let u be x(1). Let a = u + 321. Is r less than a?
False
Let q = -316.8 + 331.9. Let b be ((-2)/3)/((-10)/15). Which is smaller: q or b?
b
Let r(j) = 3*j**3 - 35*j + 44. Let g(t) = -t**3 + 12*t - 15. Let z(w) = -11*g(w) - 4*r(w). Let k be z(6). Do -180 and k have the same value?
False
Let u = -24398 + 43451. Let k be u/(-12726) - 3/(-2). Is 0 at least as big as k?
False
Suppose 0 = -3*m - 33. Let w = -55 - -55. Suppose w = 8*b - 52 + 148. Is b greater than or equal to m?
False
Let j = -166 + 165. Suppose 12*x - 16 = 11*x. Is j at most x?
True
Suppose -h - 3 = -0, 3*h - 105 = -3*x. Suppose 2*d - 21*d = x. Does 1 = d?
False
Suppose -3*u - 3 = -29*u + 23. Is -2/7995 bigger than u?
False
Suppose -i - 191 = -4*d - 0*d, 0 = 2*d - 3*i - 93. Suppose -2*q - q - d = 0. Let p = 133 + -149. Are p and q equal?
True
Let g(p) = p - 4. Let l be (35/(-10))/(2/(-4)). Let r be g(l). Let n = -2049 + 2054. Is n smaller than r?
False
Let u be 3/(-7) + 7986/14. Suppose -52*h + 14*h - u = 0. Which is bigger: h or -23?
h
Let a = -43/3 + 27/2. Let n = 38 + -131. Let r = n - -93. Which is smaller: a or r?
a
Suppose 112*j + 19393 = -7391 - 6928. Suppose 0 = -4*k - w - 1204, -2*w - 1192 = 4*k + 2*w. Which is bigger: k or j?
j
Suppose 1971*a - 1993*a = -63976. Which is greater: 2906 or a?
a
Let y be (-12*4/(-36))/((-2)/(-9)). Suppose q + 2*q = y*q. Suppose q = -0*t + 4*t - 3*x - 4, x = -t - 6. Which is smaller: -24 or t?
-24
Suppose -9 = -3*y + 3. Let c = -0.75 + -48.25. Let r = c - -44. Is y at least r?
True
Let m = -168953 + 841424/5. Let y = m + 671. Is y < -1/4?
False
Let i = 3010 - 3009.9. Is i at least -7/11?
True
Let p = -2.436 - -5.436. Do 0.1339 and p have the same value?
False
Let x be 9/228*(-160)/(-70). Let t = -1166/9975 + x. Which is smaller: 0 or t?
t
Let f(n) = n**2 - 1. Let w(x) = -5*x**2 - x + 5. Let s(a) = 30*f(a) + 5*w(a). Let k be s(4). Is k less than 54?
False
Let b = -264 - -106. Let j = -106 - b. Which is greater: -0.1 or j?
j
Let v(z) = -218*z - 3*z**3 - 11*z**2 + 201*z + 2*z**3. Let y be v(-9). Which is bigger: -10 or y?
y
Suppose 3455 = -8*o + 12719. Let x = 228128/197 - o. Which is bigger: x or -1?
x
Let l be ((-12)/16)/(((-303)/114)/(-2 + 6)). Does -0.1 = l?
False
Let b(r) = -2*r + 3. Let g be b(23). Let f be ((-704)/6)/(-4)*(-24)/(-16). Suppose 2*x + f = x. Which is smaller: x or g?
x
Let w be (-129*6/(-36))/((-1)/2). Let o be (4/(-13))/(-41 - w). Which is smaller: 7/2 or o?
o
Let b = -2236 - -2238. Which is smaller: b or 0.1362?
0.1362
Let a be (-3)/(234/4)*1. Suppose -3*z + 1132 = 4*s, 0 = -z - 3*z + 5*s + 1468. Let t = z + -373. Which is smaller: a or t?
t
Let f be ((-136)/12)/(-3 + (-11)/(-3)). Let a be (59/f + 4)*3/9. Is -1/9 at most a?
True
Let w be ((-40)/(-12))/((-2)/(-24)). Let v be (6/4)/(30/w). Suppose u + m - v = 0, -2*m + 3*m = u. Is -1/19 greater than u?
False
Let l = -14428 - -14427. Which is greater: -26/355 or l?
-26/355
Let d = -3594129705693 + 1743034300979412457/484967. Let x = 2/16723 - d. Is x not equal to 3?
True
Let c be 7*(-3)/(-84) + (-9)/4. Let l be 2/c - 12/(-4) - -2. Suppose -7*r - 154 = l*r. Is r at least as big as -13?
False
Let y = 3519 + -21305/6. Let h = y + 32. Let j = 0.2 - 0.4. Which is smaller: j or h?
j
Let v = -43/204 - 2/51. Let c = 15 - 14. Let a be c/(-2) - ((-952)/144 + 5). Is a bigger than v?
True
Let b = -80.6 + 99.05. Is 1 < b?
True
Suppose -4*s - 14*r = 5924, -345*s = -340*s - 5*r + 7405. Which is smaller: -1478 or s?
s
Let n be (-2)/(-9) - 164/9. Suppose -32*q - 84 = 12. Let i be q/((-27)/(-24))*(-435)/(-58). Which is greater: i or n?
n
Let h be (-1)/12 + 187/(-204). Which is smaller: h or -39/68?
h
Let j be (2 + 0)*50/(-20). Let k be -5 + 3 - 546/(-261). Let m = -2476/435 + k. Which is smaller: m or j?
m
Let d = 1014 - 597. Let a = d + -417. Is -30 <= a?
True
Let a = 12 + -39. Let p = -40.3 + 40.5. Are a and p non-equal?
True
Let g(z) = -5*z**2 + 379*z + 76. Let q be g(76). Is 81/62 at least q?
True
Let u = 0.0558 - 0.0949. Let x = -3.9609 + u. Which is greater: x or 42?
42
Let u(t) = -t**2 - 18*t - 67. Let w = -351 + 338. Let g be u(w). Let m = 83/308 + -5/28. Do g and m have different values?
True
Let u(v) = -35 + 44*v - 116 - 34*v. Let k be u(15). Do 1/125 and k have different values?
True
Suppose n - 5*r = 314, -4*n - 5*r + 1155 = -176. Suppose n = -15*q - 31. Are -70/3 and q unequal?
True
Let a(y) = y - 8. Suppose 0 = -x - 5*j - 6 - 3, 2*j + 41 = 3*x. Let h be a(x). Suppose h = k - 4*k. Which is smaller: -6/19 or k?
k
Let a be (2/(-10))/(2/(-30)). Suppose 7*w - a*w = 0. Let v be 2 - (3 + w/2). Which is smaller: 1 or v?
v
Let t = -16.655 - -25.179. Which is smaller: t or -0.1?
-0.1
Suppose 0 = w - 3*p - 2551, -3241 = -2*w - p + 1833. Do 2541 and w have different values?
True
Let g be (-10)/20*(794 + 0). Is -1 less than g?
False
Let w = 705 - 705. Which is greater: -32/59 or w?
w
Let l = -22019 + 22025. Let v = -26 - -2. Is v less than l?
True
Suppose 5*x + 0*x + 6*x - 5*x = 0. Are x and 24/379 nonequal?
True
Let q be ((-252)/32)/((-65)/26*9/(-15)). Suppose 5*i = 7*i + 12. Is i less than or equal to q?
True
Let x = 13.89 - 14. Let s = -0.31 - x. Let h = 853 + -852.98. Which is greater: h or s?
h
Let l = -2679098/645477 - -610/147. Is l smaller than 0?
True
Let a(s) be the first derivative of 13*s**2 - 223*s + 162. Let l be a(13). Is 114 greater than or equal to l?
False
Suppose 4*f = -4*a + 12, -702 = 5*f - 2*a - 682. Let r be 24/230*(-50)/4. Is f <= r?
True
Let a(q) = 6*q**2 - 71*q - 17. Let k be a(12). Is -8 >= k?
False
Let c = 1.81 + -1.7852. Let i = -0.4048 + c. Are i and -1/2 unequal?
True
Let l = 92623/10 + -9252. Which is smaller: 11 or l?
l
Let q = -0.1357 - 3.3643. Do 126 and q have the same value?
False
Let j = -0.074 + 0.049. Let h = j - -0.125. Is h smaller than 60?
True
Suppose -3*k = 6*m + 48, 11*m - 7*m - 3*k + 2 = 0. Is -67/11 at least as big as m?
False
Suppose -10*o = -23*o + 104. Suppose 0 = 5*s + 841 + 119. Let z be 1/(-3) + s/72. Which is smaller: z or o?
z
Let n = 16 + -32. Let p(j) = -j**2 + 5*j + 54. Let s be p(8). Suppose -40 = 5*d + s. Is n equal to d?
False
Let j be (-18544)/(-4921) - (-16)/(-296). Which is greater: 42 or j?
42
Let j = -30904 + 30904.21418. Is j at least as big as 1?
False
Suppose 127*o = 133*o + 150. Suppose -u - 96 = 3*u. Which is bigger: u or o?
u
Let z(d) be the second derivative of d**4/12 + 8*d**3/3 + 55*d**2/2 - 61*d. Let w be z(-9). Which is bigger: w or -13?
w
Let r(q) = 2*q**2 + 26*q - 13. Let h be r(-17). Let x = -3.1 + 4.1. Which is bigger: h or x?
h
Let h(v) = 220*v - 18. Let f be h(1). Suppose f*d + 54 = 208*d. Is d > -9?
True
Let c = 248421/2002 + 57/286. Let y = 124 - c. Suppose 2*d + 2*h - 10 = 0, -5 = 31*d - 29*d - h. Which is greater: y or d?
d
Let n = -0.075 + -1.445. Let i = n + 1.52. Is -69 < i?
True
Let m be (4 - 26/5)*(-20)/8. Let h be (3/9)/(-1*m/9). Let v be 3/21*28/96. Which is bigger: h or v?
v
Let t = 2526 - 2526. Which is smaller: t or 2/4479?
t
Let k be 57/12 + (-10)/(-40). Suppose k*o - 5*x + 0*x - 5 = 0, o - 1 = 4*x. Let b = -1377/9082 + -3/478. Which is greater: o or b?
o
Suppose 2*l - 2*n - 132 = 92, -l = n - 110. Suppose 134*i - 106*i = -181*i + 22990. Is l less than or equal to i?
False
Let d be (-1301)/(8 + 42/(-7) + -3). Which is bigger: 1303 or d?
1303
Let p = -372 + 371.424. Let z = -3.576 - p. Is -4 less than z?
True
Let v = -267 - -267. Suppose v = -3*m - 2*i + 1, -2*m - 49 + 46 = 5*i. Is 12/41 at least as big as m?
False
Let s be (11/(-2))/((-2)/(-4)). Let x = 1.315561 + -0.115561. Which is smaller: s or x?
s
Let y = -10 - -10. Let j(n) = n**2 - n + 41. Let a be j(y). Let u = -42 + a. Do 1/43 and u have different values?
True
Suppose 384326 = 53*q - 55362. Is q at most 8294?
False
Suppose 4*j + 4 = -0. Let y be 4/(2*-1)*(-1188)/57816. Is j bigger than y?
Fals