 h. Does 10 = d?
False
Let w be 10/(-4) + (-847)/154. Let s(u) = -2*u - 1. Let m be s(9). Let j = 11 + m. Are j and w equal?
True
Let y be 10246/(-34545) - 4/(-30). Which is smaller: 0 or y?
y
Let b be 92/483*(-234)/(-20). Is b < 3?
True
Suppose 290 - 1085 = -3*m. Let u = m - 155. Let y be (2 - 0)*33/u. Which is smaller: 1 or y?
y
Suppose 0 = 1817*d - 1830*d + 611. Which is bigger: -8 or d?
d
Let z be -4*(15/6)/5. Let x be (1/(-2))/((-8)/(-48)). Which is smaller: z or x?
x
Suppose 345 = 72*f - 447. Let t be (8/(-3))/(2/(-9)). Which is smaller: f or t?
f
Let w = -151/278 + 6/139. Which is smaller: w or -21?
-21
Let h be (1/(-8)*-13)/(66/24). Let q = 19/22 - h. Is 3 < q?
False
Let b be (-20)/15*27/2526. Is b >= 1/3?
False
Let w = 3467.91 + -3491. Let i = 23 + w. Let f = -0.31 + i. Are f and -1/5 non-equal?
True
Let c(s) = -s**3 + 23*s**2 + 42. Let r be c(23). Is 40 <= r?
True
Let v = -98 + 99. Which is bigger: 2/241 or v?
v
Let c be (-35)/(-14)*44/10. Let w(l) = -l**3 + 5*l**2 + l + 5. Let i be w(5). Which is smaller: i or c?
i
Suppose 0*p - 2*f = -4*p + 62, -4*f = 2*p - 16. Let u = 18 - p. Suppose -4 = u*b - 0*b. Is b at least as big as -2?
True
Let n be -1 - (9/((-63)/364) + -4). Is 54 greater than or equal to n?
False
Suppose -21356 = 117*u - 98*u. Which is smaller: -1126 or u?
-1126
Let q = -218 - -217. Is -4/65 less than q?
False
Let a = 155 + -238. Let m = -55 - a. Let r = -28 + m. Is -0.3 < r?
True
Let s be -135*(-7 - (-50)/6). Is s <= -180?
True
Suppose 29*t + 968 = 21*t. Is t at most as big as -121?
True
Let g = 2 + -2.6. Let f = 0.8 + g. Let d be (2/(-6))/((-4)/(-3)). Which is smaller: f or d?
d
Suppose 3*z + y = -43, -3*y - y + 10 = -z. Let d = z + 23. Suppose -3*t = -10 - 14. Is d > t?
True
Let g = -499/39 - 475/13. Is -48 equal to g?
False
Suppose -60 = 7*t - 4. Let v = t - -9. Let f(d) = -d - 4. Let s be f(0). Is v != s?
True
Suppose 0 = 4*y - 6 + 42. Let l be (1/3)/((-1)/y). Let f be (-8)/20*((-20)/8 - 0). Which is bigger: l or f?
l
Let v be (-2)/14 + (-108)/28. Let r be (-12 - -9) + (-13)/v. Do r and 2/3 have the same value?
False
Let m = -15 - -45. Let j = 16 - m. Let o = 14.2 + j. Is o >= -0.03?
True
Let k be (-2*1*9/18)/15. Suppose 14 = -3*c + 5*v, 5*v - 30 = -5*c - 0*v. Let s be 12/8 - 3/c. Which is smaller: k or s?
k
Let l = 357/40 - 44/5. Do l and -0.36 have different values?
True
Suppose -l = -11*l + 70. Let i = -20 + l. Which is smaller: i or -12?
i
Let r(k) = -k**2 + k - 3. Let l be r(4). Let o = 11 + l. Let i be 14/o + 2/2. Is -2 bigger than i?
True
Let x = 78313 - 549537/7. Let r = -192 - x. Is r smaller than 1?
True
Let o(d) = -d**3 - 3*d**2 + 11*d - 3. Let r be o(2). Which is smaller: -1/45 or r?
r
Let r = -11 - -5. Let x(i) = i + 10. Let k be x(r). Is k <= 2?
False
Let u be 1/4 + (-55)/(-20). Let r be ((-4)/8)/((-6)/120). Which is smaller: u or r?
u
Let v = -1348 + 111886/83. Is 1 less than v?
False
Let s be (-6)/501*138/(-460). Which is smaller: 1 or s?
s
Let l be -1 - (2 - 2163/645). Let g = l - -2/43. Is g at least as big as -0.1?
True
Let f be 94/((-6)/(-14) + (-232)/280). Which is greater: f or -232?
-232
Let f be (500/16)/5*(5 + -1). Let p = -11 + f. Is p less than or equal to 15?
True
Let h = 0.1845 + 1.8155. Is 1086 smaller than h?
False
Suppose 0 = l - 2*r - 10, 0 = -4*l + 3*r + 15. Which is bigger: l or 1/297?
1/297
Let q = -3180/77 + -7170/1001. Let d = q - -4722/91. Is -1 at most d?
True
Let c = -1804 + 19826/11. Let p = -8 - -5. Is c smaller than p?
False
Suppose -4*n = 1 + 7. Let u = 39 + -30. Let t = u - 10. Is n less than t?
True
Let s(x) = -5*x + 4. Let p be 4 - ((-1 - 0) + 0). Let y be s(p). Suppose -8*u - 5*w - 210 = 0, -2*u - 3*w - 46 = 24. Which is smaller: y or u?
y
Let a(r) = -r**2 + 2*r. Let l be (9/12)/((-5)/(-20)). Let q be a(l). Suppose -6 = 3*u - 0. Which is bigger: u or q?
u
Let z = -56 - -55.893. Let a = -1.107 - z. Which is greater: a or -1/4?
-1/4
Let o(n) = -n**3 + 5*n**2 - n + 4. Let c be o(5). Is c != -131?
True
Let g be 1/((-25)/(-10) - 3). Let s be ((-120)/238)/(10/35). Is g >= s?
False
Suppose 0 = 5*a + 5*m + 735, -m = 3*a + 390 + 51. Which is greater: a or -146?
-146
Let n(k) = -k**2 + k. Let a be n(2). Let q be ((-5)/35)/(2*(-3)/(-90)). Which is greater: a or q?
a
Let n(t) = -9*t - 82. Let d be n(-17). Is 74 > d?
True
Suppose -m + 64 = 59. Which is smaller: 127 or m?
m
Let p be ((-36)/(-10))/(-6*17/765). Let o = -32 - -4. Is p > o?
True
Suppose 0 = -3*u - 2*u + 4*j + 35, -28 = -4*u + 3*j. Suppose -u*s = -40 - 156. Which is smaller: s or 27?
27
Let p(b) = -b**2 + 4*b - 3. Let r be p(4). Let z be (-8)/r - (-2)/(-3). Let t be z/(4*2/(-4)). Is t equal to -2/15?
False
Let m(o) = -o + 15. Let h(g) = -g + 15. Let s(a) = 6*h(a) - 5*m(a). Let t be s(15). Which is smaller: t or 2/139?
t
Suppose 20*c = 51*c + 12803. Are c and -413 equal?
True
Suppose a - 79 = 5*z, 15*z = -a + 14*z + 55. Let u = 98 - 40. Is a at least u?
True
Let x be (-92)/(-3) - (-1)/(8/24). Does 33 = x?
False
Let l be -4*35/(-28) + -258. Which is smaller: -254 or l?
-254
Let y = 482.7 + -483. Are 26 and y non-equal?
True
Let n be 0 + 34212/88*(-8)/(-12). Let t = 259 - n. Is -4 smaller than t?
True
Let p(o) = -o**2 - 21*o - 31. Let g be p(-13). Let s = g - 68. Is s at least 3?
True
Suppose 4*b - 52 = -c, 0*b - 5*c + 8 = -b. Let w = b + -13. Which is smaller: -1/33 or w?
w
Let a be ((-10)/(-6))/((-155)/186). Is -16/23 at most a?
False
Let p(q) = 2*q**2 - 11*q - 6. Let v be p(5). Let r(z) = z**2 + 10*z - 4. Let t be r(v). Let m = t - 90/13. Is m less than or equal to -1?
False
Let h(x) = 10*x + 239. Let d be h(-17). Which is smaller: 75 or d?
d
Let m be (2 - 2)*(-1 + 0). Let g = -7/80 - 97/720. Which is greater: g or m?
m
Let f be 2/(-7) - (-205)/140*-4. Is f at least -5?
False
Let y = 2.3 - 24.5. Let x = -44 - -22. Let q = x - y. Which is bigger: -4/7 or q?
q
Suppose -5*s - 161 = 39. Let n be 12/(-2 - -6) + 16. Let w = n + s. Is 0.1 at most w?
False
Let d = 22 - 23. Let z be (-3 + 2/5)*d. Is z less than 1?
False
Suppose -130*y = -138*y + 8. Which is greater: y or 9/14?
y
Suppose 5*f + 177 = -q + 1198, 3*f - 607 = 5*q. Are f and 3 nonequal?
True
Let v = -798 - -703. Which is smaller: -0.1 or v?
v
Suppose 5*z - c + 30 = -5*c, 3*c + 15 = 0. Let j be 5/((-15)/(-6)) - z. Suppose -2*s + 113 - 105 = 0. Is s > j?
False
Let w = 26 + 9. Suppose w = -2*l + 15. Is l >= -28/3?
False
Let p = 7789/49 + -159. Let y = -2459 - -2460. Is p not equal to y?
True
Let h = -6418 + 51425/8. Which is greater: 10 or h?
h
Let i = 4.8345 - -0.1655. Do -4 and i have different values?
True
Let f = -386.9874 + -0.0126. Is -2 smaller than f?
False
Suppose 20 = 4*g - 2*a + 124, 52 = -2*g - 3*a. Let t = 92 - 67. Let v = t + g. Which is greater: v or -9?
v
Suppose -4*l = l - 830. Let m = l - 3651/22. Is 0 less than m?
True
Let b be (-188)/(-10) - 5/(-25). Let d be b/2 - 2*(-4)/16. Which is smaller: d or 4?
4
Suppose 6 = -3*d + d. Let j be d*((-2)/(-3))/(-1). Let c be (j + -2)*(-4)/4. Which is smaller: c or 1/4?
c
Let d(i) = i**2 + 5*i + 42. Let z be d(-10). Is z <= 92?
True
Let w = 55 + -48. Let f = w + -7. Let k = 0.2 - 0.18. Is k bigger than f?
True
Let c = -29/132 + 1/4. Which is smaller: c or 0?
0
Let v be (-2)/((14/(-36))/(-7)). Let j be (-2 - v/14)*2. Let u = -9 + 9. Which is bigger: u or j?
j
Let a be 303 + -1 + (-4 - -4). Let z be a/76*1 - 4. Which is greater: z or -1?
z
Suppose -372 = -7*p + 34. Let g be 2 + -3 + (59 - 1). Which is smaller: g or p?
g
Suppose l - 5*d - 92 = -d, 0 = -l - 5*d + 47. Is l greater than 70?
True
Let d = -349 - -266. Let x = d - -76. Let p = 0 + 0. Which is bigger: x or p?
p
Let p = -2.1 + 20.1. Let d = -18.7 + p. Which is smaller: 3/7 or d?
d
Let d = -48949/8 - -6107. Which is smaller: d or -11?
d
Let i = -7 + 11. Suppose i*t - 5 = 3*m + 4, -4 = -m - t. Let v = -0.0161 - -8.0161. Is m bigger than v?
False
Let g = -26 + -14. Let c = -40 - g. Which is smaller: 8/9 or c?
c
Let j be (340 + 10)*(-1)/(-3). Which is bigger: 116 or j?
j
Let l = -134/129 + -30766/1677. Which is smaller: l or -18?
l
Let v(s) = -2*s**2 - 54*s - 1. Let u be v(-27). Do u and -3/2 have different values?
True
Let w = -0.01 + 0.01. Let z be (-5)/(-7) + -1 - (-8)/(-21). Is z greater than or equal to w?
False
Let t be -1*(-2)/(-16) + (-196)/(-160). W