
p
Suppose -5*d - 182 = -2*u, -96*d = -99*d - 4*u - 78. Let i = 0.02 - -1.98. Which is smaller: d or i?
d
Let k(m) = 343*m**2 + 4*m - 351*m**2 + 48 - 5*m - 3*m**3 + 2*m**3. Let c be k(-7). Let w be (-4)/(-6)*(c - 189/14). Which is greater: -7 or w?
w
Let y = 827.334 - 827.954. Suppose 0 = -2*v - 3*h - 6, v + 3*h - 3 = 2*v. Which is smaller: v or y?
v
Let q be -5 + ((-101012)/(-8418) - (21 + -14)). Which is bigger: -1 or q?
q
Let k be ((-28)/690 + 26/(-195))/(-82). Let t = k - -207434/12259. Which is smaller: t or 16?
16
Let d(o) = -o**2 + 524. Let t be d(0). Suppose 24*r - 13510 - 3925 = -4859. Are r and t non-equal?
False
Let a be 82/4372*-212 - 28/(-7). Is 0 at most as big as a?
True
Let x be (-9*(-2)/(-10))/(12/8). Let i be (-78)/70*(-10)/(-8). Let t = 8/7 + i. Which is smaller: x or t?
x
Let p = -87 - -124. Suppose 0 = -7*x - 1015 + 1071. Suppose -140 = x*g - 428. Are g and p nonequal?
True
Let v be (-12)/66 + ((-31)/11 - -1). Let r be 6*1 + (-2)/((-2)/v). Suppose w + r*q = -22, 3*q - 102 = 4*w + 5*q. Is w at most -24?
True
Suppose -l + 20 = 3*l. Suppose 0 = -2*n - 3*j + 39, 0*n - 5*j + 37 = 2*n. Suppose p + 0*q = 5*q - 48, -2*p - n = l*q. Is p not equal to -24?
True
Let x = 25269651941/15687 + -11276064/7. Let z = x + 15/83. Is -1 at least as big as z?
False
Let c = 1863.73 - 1877. Let m = -13 - c. Let w = m + -0.17. Which is smaller: w or 13/2?
w
Suppose 1116250 = -8*f + 258*f. Which is greater: f or 4464?
f
Let w = 175 + -113. Let c = w - 60. Suppose -2*y + 7 = 3*q - 0*q, -c*y + 10 = 0. Which is bigger: -61 or q?
q
Let z be ((-240)/120)/((1/(15/(-6)))/2). Is 0 bigger than z?
False
Suppose u - 1156 = -339. Let m be (-42434)/52 - (-14)/(-28). Let f = m + u. Is 1 > f?
True
Let c = 3161/81 + -39. Let s = -65 + 65. Is s <= c?
True
Let g(k) = 0*k - 385*k**2 - 3*k + 384*k**2. Let y be g(-7). Which is greater: y or -33?
y
Let u = -19 + 6. Let x(r) = -3*r + 5. Let m be x(u). Suppose 5*k + m = 49. Is 31 equal to k?
False
Let o be (-4 - (-4970)/1239)/((-4)/(-6)). Let v = 214 - 213. Is v greater than o?
True
Let v = -11.285 + 11.3. Let s = v - -0.085. Is 10/7 < s?
False
Suppose 21 = -5*w + 3*s, 3*w - 4*s - 82 = -110. Is w > -2/11937?
True
Let r = 0.137 - 0.137. Let u = r + -0.14. Which is smaller: 3/2 or u?
u
Let u = 85 - 126. Let d = u + 49. Suppose 5*i = d*i + 4*w, 0 = -3*i - w. Which is smaller: i or 4/23?
i
Suppose 6*m - 61 + 49 = 0. Suppose -5*t + 4*n + 115 = 0, -m*t - 3*n + 11 + 58 = 0. Let i be (t - 28) + (-1)/(-2). Is 22 > i?
True
Let r be 6787/(-112497) - 10/(-210)*2. Is 0 at least as big as r?
False
Suppose 10 = -f - 6*v + 4*v, 0 = -4*f - 2*v - 10. Let u(r) = 8*r. Let s be u(f). Suppose -3*x - 3*o = 15, 3 + 0 = x - o. Does s = x?
False
Suppose 31*t - 9282 = 22958. Which is smaller: 1036 or t?
1036
Suppose -u = 3*u. Let g = 1097751/13 - 84368. Let k = g + -75. Is u less than k?
False
Let t be 6 + (0 - 7/(63/(-22320))). Is t greater than or equal to 2486?
True
Let l = 0 + -2. Let s = 13/2 + -615/94. Let j = s + -734/423. Which is greater: j or l?
j
Let b = 188 + -186. Suppose -2*j + 0*l + b = 2*l, -7 = -j + l. Is 4 at least j?
True
Let p be (-111)/148 - 16394/8. Let t = p + 161958/79. Is t != 0?
True
Let s = -2218 - -8871/4. Which is bigger: s or 2546?
2546
Let a = 115 - 115. Let q be 6*((-40)/(-48) - a). Which is smaller: -4 or q?
-4
Let i be 1*((2 - -1) + -2). Let b(j) = 5149 - 13*j - 2*j - 5205 + j**2. Let d be b(18). Are i and d nonequal?
True
Let d = 3265.47 - 3384. Let y = d + 118. Let b = y - -0.53. Which is smaller: -0.14 or b?
-0.14
Let c(m) = 8*m**2 + 80*m - 382. Let x be c(-35). Is x < 6616?
False
Let t(y) = y**3 + 5*y**2 - 6*y + 89. Let k be t(-11). Is k not equal to -571?
False
Let t(r) = r**2. Let s(u) = 4*u + 35. Let k be s(-9). Let x(d) = -d**3 - 20*d**2 + 15*d - 17. Let o(i) = k*x(i) - 5*t(i). Let v be o(-16). Does v = -1/22?
False
Let j be 1/12 - (-6)/(-72). Which is bigger: -3/584 or j?
j
Let q = -127 + 131. Suppose -d + 126 = -q*d. Let u be (-13)/7 - 12/d. Are -3 and u nonequal?
True
Let m be -1 + (-544)/(-26) - 1. Let u = -337708556681/17862119340 - -1/45800306. Let j = u + m. Is 1 greater than or equal to j?
True
Let n be 0/2 + (-38202)/(-8484). Let g = 2/707 - n. Let x be (-4)/3*(-63)/(-14). Are x and g nonequal?
True
Let t(n) = -592*n - 7270. Let a be t(-13). Which is bigger: a or 433?
433
Let b be 512620/64106 - (7 - -1). Is b less than 1?
True
Let j be ((-20)/(-1245))/(2/6). Let i(l) = -68*l + 1089. Let t be i(16). Do t and j have different values?
True
Suppose 12*v + 40 = 20*v. Let d be 15/2 + (-5)/(-10). Suppose -3*h + v = -d*h. Which is smaller: -10/17 or h?
h
Suppose 34*r - 33*r - 4 = 0. Suppose -24*s = -26*s + x - 282, 423 = -3*s - r*x. Is s != -142?
True
Suppose 17*s = -45*s - 30876. Do -513 and s have the same value?
False
Let w be (-60)/200*(262450/312)/(-5). Let d = w - 405/8. Are -20/3 and d equal?
False
Suppose 4*t + 2*d - 82 = 0, -5*t - 45 = -7*t - 5*d. Suppose 21*o - 22*o + 2*u = -14, -o + t = 4*u. Is 12 greater than or equal to o?
False
Let n = 8534 + -8558. Are 10/13 and n equal?
False
Let k(j) = -4551*j + 850. Let h be k(6). Which is bigger: h or -26455?
-26455
Let s = 414.24782 - 0.04782. Let z = s + -363. Let a = -51 + z. Is -15/4 > a?
False
Suppose 3*y = 3*v + 531, 893 = -5*v - 208*y + 212*y. Which is smaller: v or -26?
v
Suppose 11*t = -206 + 701. Which is greater: t or 48?
48
Let m = -0.152 + 13.652. Let b = m + -10.5. Is b not equal to -2.5?
True
Let t be (-61)/165 - 16/(-40). Let i be (-5)/(-3) - 2/3. Let l(r) = 5*r - 4. Let s be l(i). Are s and t equal?
False
Suppose 0 = -3*f + h + 34, 0*h = -3*f + 2*h + 38. Suppose -f = 5*o - 5. Let q be (-248)/(-1440) + (-4)/18. Which is smaller: o or q?
o
Suppose -4*i = -2*y + 17 - 65, i - 3*y - 2 = 0. Let w be (-8)/i + 3/(-7). Let k be -6*(2/6 + 0). Is k at least w?
False
Let q = 337.33 - 0.33. Let x = q + -329. Is 3 < x?
True
Let p = 14 + -15. Let b be (1/(-95))/(p + 5/25). Suppose 0*k - 30*k = 30. Is b < k?
False
Suppose 30*z = 2*g + 25*z - 108, 5*g = -5*z + 235. Let f = 2371/2 + -1136. Is f bigger than g?
True
Let k = 183/452 - 74/113. Let a = -262 + 588. Is a at least k?
True
Suppose -25 = -y - 5*a, 0 = -0*y - y + 4*a - 20. Suppose y = 6*w - 4 + 16. Let c = -4 + w. Is -4 at most c?
False
Let m = 3 + -30. Suppose 0 = 2*s - 0*s + 48. Let x = m - s. Is x greater than -5?
True
Let s = -181/4 + 45. Let g = 1102 - 146567/133. Is g > s?
True
Let g(n) = 104 + 16 + 9*n + 23. Let i be g(-16). Do i and 2/215 have different values?
True
Suppose -4*o + 7*o + 3 = 0. Let a(z) = z - 14. Let b(w) = -1. Let r(t) = o*a(t) + b(t). Let d be r(12). Which is bigger: 16/7 or d?
16/7
Suppose 2*f - 3*s + 150 = 0, 0*s = 4*s. Let i = -69 - f. Let x(t) = -t + 11. Let r be x(5). Are i and r unequal?
False
Let q(v) = 40*v - 168. Let s be q(5). Let r = 32 - s. Which is greater: r or 6/149?
6/149
Let r be (3/(-2))/(60/(-72)) - -2. Let o = -3 + r. Which is smaller: 12 or o?
o
Suppose n - 5*i + 21 = 0, 3*n + 2*n + 3*i = 7. Which is smaller: 5/976 or n?
n
Suppose 7*n = 5*j + 19981, 5*j - 39*n + 20005 = -44*n. Is j at least -3999?
True
Let n = -5795 + 5795. Is n smaller than -7769?
False
Let y = 191 - 167. Let l be (-305)/(-750) - y/60. Is -0.1 greater than or equal to l?
False
Let h be (-14)/(-52)*(-2040)/280 + 1. Which is smaller: h or -2?
-2
Let u(x) = 8*x - 59. Let k be u(9). Suppose k*c - 6 = 189. Which is smaller: c or 74/5?
74/5
Let v = 154.882 - 155. Let i = v + 0.168. Is -5 at most i?
True
Let o = 0.09 + 48.91. Let i = 49 - o. Let m = -0.4 - 6.3. Is m < i?
True
Let d be ((-96)/(-64)*(-1)/(-29))/((-3)/1060). Which is smaller: -18 or d?
d
Let k = 20029 - 6991. Which is bigger: k or 13039?
13039
Let v be 8/(-12)*3 + -9. Let l(z) = -z**3 - 15*z**2 - 43*z - 5. Let i be l(v). Does -16 = i?
True
Suppose 18*u + 964 = 9429 + 1471. Is u greater than or equal to 553?
False
Suppose 5*w = 3*w - 2*z + 120, 2*z = -3*w + 183. Let p be (-626)/(-4)*(-9 + w/9). Is p < -312?
True
Suppose 0 = 5*t + 38 + 12. Let a be 5/(t/(-34)) - -1. Is 16 > a?
False
Suppose -5*g + 28 = -3*t, -6*t - 5*g + 24 = -5*t. Let k = 19/26 - 9/13. Is k at least as big as t?
True
Let k(d) = 9*d - 139. Let u be k(13). Let o be u/(-6) + -4 - (-872)/(-12). Which is smaller: o or -220/3?
-220/3
Suppose 93 = 32*y - 67. Which 