ess than or equal to t?
False
Let z = 109 - 109. Suppose -b + d + 44 = z, -5*b + 4*b + 3*d + 38 = 0. Let h = b - 91. Is -43 >= h?
True
Let j be (-1 - 26/(-22)) + (-422)/22. Let n be (-30)/j - (-15 - 5)/(-10). Which is smaller: n or 0?
n
Let i = -4115 - -45173/11. Let j = 751/22 - i. Let a = 26 - j. Which is smaller: a or -18?
-18
Suppose 0 = 6*w - 2*p + 24258, -5*p = 4*w + 9179 + 6974. Which is smaller: -4043 or w?
-4043
Let h(f) = -28*f**2 + 26*f + 495. Let r be h(-14). Is -5358 bigger than r?
False
Let j(r) = -9*r - 119. Let q = 806 + -819. Let k be j(q). Which is smaller: k or -4/25?
k
Let i be (-1365)/(-9)*(-3 + -6). Let c be i/700 + (6/8 - 1). Which is smaller: -3 or c?
-3
Let b = 0.3167 - 2.3167. Which is greater: 7564 or b?
7564
Let z(m) = -2*m**2 - 33*m - 14. Let h be (-166)/10 + 1/(10/6). Let v be z(h). Let p be (v - -2)/2 - (2 + -6). Which is bigger: 5 or p?
p
Suppose 2*u - 8 = 5*q + 257, -q - 53 = u. Let w(h) = 6*h**3 - 10*h**2 - 14*h + 6. Let i be w(-6). Let g be i/30 + 2/10. Which is bigger: q or g?
g
Let z = 10711 + -117825/11. Which is greater: -185 or z?
z
Suppose 5*p + 298 - 68 = 0. Let t = p + 1837/40. Are -1 and t equal?
False
Let r be (-1)/(-5 - -3) + 6/48*-4. Which is smaller: 66/161 or r?
r
Let q be (31032/(-72))/((-170)/30). Is 75 less than q?
True
Let u = 17 + -13. Suppose -4 = u*f - 5*f. Let d(s) = -s**2 - 17*s - 11. Let h be d(-16). Which is smaller: f or h?
f
Let k(x) = 64*x + 1584. Let p be k(-25). Which is smaller: 5/41 or p?
p
Let h be 36/5*920/12*2. Suppose -h = 39*q - 23*q. Is q smaller than -69?
False
Let y = -5 - -2. Let o(k) = 45*k - 1419. Let d be o(32). Which is smaller: d or y?
y
Let g = -322849/539604 + 1/59956. Is 0 greater than or equal to g?
True
Let t(h) = 3*h**3 + h**2 - 14*h - 1. Let r be t(0). Is r < 181?
True
Let d be (-3 + 2)*(-12)/(-18) - 8/(-12). Which is bigger: d or -3/1166?
d
Let w = 17988.6 + -18443. Which is bigger: 1/2 or w?
1/2
Suppose 135*q - 381437 = 42598. Which is smaller: -1/4 or q?
-1/4
Let v be (93/18)/(60/420). Are v and 36 equal?
False
Suppose -5*m + 17 = 2*f, 3*f - 12*m = -14*m + 9. Which is greater: f or 46/153?
f
Let f be (40/30 - 1) + (-424)/84. Suppose 32 = -15*k + 7*k. Are f and k nonequal?
True
Suppose -5*t - 2*k = 38, 3*t - 6*k + 5*k = -25. Let h be (-246)/(-5) + t/40. Let d = 23 - h. Do d and -24 have different values?
True
Let s be ((-6182)/(-1078))/(-2 - (-330)/166). Let w = s + 476. Suppose 6*d = 2*z + d - 8, 5*z + 3 = d. Is w >= z?
True
Suppose 0 = 108*g - 103*g + 4*t - 14188, 5*t + 11334 = 4*g. Which is smaller: g or 2829?
2829
Let d = 1.76 - 8.04. Which is smaller: d or 0.1?
d
Let o be 12*1 + 20181/(-63). Is o <= -308?
True
Suppose 100*t = -60*t + 48*t. Which is bigger: t or 89/87?
89/87
Let d be (-4)/(-3)*(-9)/(-27)*-9. Let f be 2/((-14)/(-49)) - d. Is f at least 81/8?
True
Suppose 6*f = 3*c + 11*f - 120, 40 = c + 4*f. Suppose c*u = 12*u - 364. Let p = 19 - 31. Are p and u equal?
False
Let a(s) = s - 3. Let u be ((-10)/(-4))/(-15*(-4)/144). Suppose -7 = -u*h + 17. Let l be a(h). Is l bigger than 1?
False
Let o = 2/19 - 44/57. Let k(y) = -y**2 + 2*y + 2. Let i be k(0). Suppose -3*a - 8 = -i. Are a and o equal?
False
Let c = -684 - -603. Do 10 and c have the same value?
False
Let y = 2513.7568 + -2514. Which is greater: 1/2 or y?
1/2
Let a be 0 + (2/(-1278))/(144/(-96)). Which is greater: -1 or a?
a
Let o be (10234/300)/(-17) - (-4 + -14)/9. Suppose 0 = m - 1. Which is greater: m or o?
m
Suppose -j - t = -2*j + 31, -2*t - 124 = -4*j. Let c = -1085 - -1109. Let m = c - j. Are m and -27/4 equal?
False
Let h = 16262 + -16252. Is h smaller than 1.04?
False
Let d = -585 - -603. Suppose p = n + 2, -5*n - p = -16 + 2. Let a be ((-3)/d)/(n/33). Which is greater: -3 or a?
a
Suppose 30*u = -310 - 1070. Which is bigger: -49 or u?
u
Let l(j) = -j**3 + 38*j**2 - 10*j - 995. Let d be l(37). Which is smaller: -0.114 or d?
-0.114
Let x = 20676 - 18002. Which is greater: x or 0.2?
x
Suppose -3*l = -26 + 17. Let i(y) = -y**3 + 4*y**2 - 2*y - 4. Let r be i(l). Let g be r/5 - (0 - 19/(-5)). Is -8/3 != g?
True
Let l be (-7 + 9)/(8 + -4). Which is greater: 320.2 or l?
320.2
Let y = -300 + 164. Let f(x) = 8*x - 47. Let c be f(-11). Which is smaller: y or c?
y
Let c be (-2)/(-6)*3 + 6. Let f(a) = -5*a + 0*a - a**3 + 7*a + 8*a**2 + 3*a - 10*a - 14. Let u be f(c). Is u bigger than 11/13?
False
Suppose 0 = 8*b - 78 - 18. Let s be (b/(-14))/(-3*4/84). Let m = -7.36 - 2.64. Is m equal to s?
False
Let j = 10146 - 10146.3. Let z = -0.44 + -9.06. Let y = 1.5 - z. Which is greater: j or y?
y
Let g = 30.95 + -31.95. Which is greater: g or 0.557?
0.557
Suppose 5*c - 148 = -2*a, 77 + 83 = 2*a - c. Suppose 5*l + 4*u - 37 = 0, l + 80 - a = 2*u. Which is smaller: 19/4 or l?
19/4
Suppose 4*p = 20, -6023 - 10410 = -4*g + 3*p. Is g less than or equal to 4112?
True
Let c = -38 + 41. Suppose c*z = 10*z - 77. Suppose 4*q = z*q + 112. Is -16 greater than or equal to q?
True
Let q(c) = -19*c - 29. Let b(y) = 39*y + 58. Let t(p) = 3*b(p) + 7*q(p). Let g be t(-9). Suppose g = -0*k - 5*k - a, 2*k + 39 = a. Is k at most as big as -21?
True
Let m = -4676 + 4671. Which is smaller: -118/21 or m?
-118/21
Let p = 219 + -207. Suppose -15 = 3*n - p. Let c = 70 + -2031/29. Which is smaller: c or n?
n
Let o = 4411/754 + -27/58. Let x be (-192)/18 + -7 + (-1)/3. Let u be (-8)/180*10 + (-116)/x. Which is greater: u or o?
u
Let v = 1/7422 - -33397/14844. Which is greater: v or -18.1?
v
Suppose -3*z - 3*a - 9 - 6 = 0, -21 = 3*z - 3*a. Let i = z - -4. Let n be 106/(-795) + (-858)/315. Which is smaller: n or i?
n
Let p = 199 - 187. Let h be 8/p - 65/39. Which is smaller: h or 1/118?
h
Let j = -9355.9 + 9356. Is j equal to -44/35?
False
Let r be 1/5 - (-38)/21128*36/(-5). Are r and 1 unequal?
True
Let z be (2 - 10)*98/1946. Which is greater: -1 or z?
z
Let q be 3261 + (19 - -1)*(8/(-5))/(-8). Which is smaller: q or -1?
-1
Suppose 0 = 18*d - 2*d - 36*d + 4520. Which is smaller: d or 220?
220
Suppose 8 = -2*j, j = -2*a - 4*j - 668. Let v = a - -4537/14. Suppose 3*o + 2*o = -5. Which is smaller: o or v?
o
Let w be (-66 + 60)/(3*3/30). Suppose 4*o = -10 - 38. Which is greater: o or w?
o
Let l be 9/(-15)*2*5/(-2). Suppose -z = d, -3*z + l*d = 8*d + 2. Let a = 1063/3552 + -9/32. Is z equal to a?
False
Let z = -0.57 + 0.86. Let o = 0.33 - z. Is -1.1 > o?
False
Let f(d) = -2*d + 18. Let r be f(8). Suppose -r*g - 2 = -0*g. Let x = 47/3 - 899/57. Is g equal to x?
False
Let v be 24/72*(-5)/(15/1899). Is v at least -219?
True
Let d = -90 + -50. Let p = -136 - d. Let x = -8.96 + -0.04. Which is greater: p or x?
p
Let x be -250*(-16 - 0)*(-9)/(-45). Is 801 != x?
True
Let v = -3562 - -3561. Is 108 smaller than v?
False
Suppose -3*n = -b + 538, 128*b - 132*b = 3*n + 533. Which is bigger: n or -178?
-178
Suppose 810 = 102*j - 125 - 799. Which is smaller: -371 or j?
-371
Suppose -2*i - 2*i = -72. Let w be 15*((-39)/(-9) + -5). Let a be (7 + 3)/(-1)*16/w. Are i and a nonequal?
True
Let s be (0 - (-2 - -4)) + 1. Let a = -8/24757 + -19021/17750769. Is a smaller than s?
False
Let d be (-2)/(-9) - (-12220)/90. Let v = 59 - d. Let j = v + 110. Which is bigger: j or 34?
34
Let d = -5477 + 5513. Is d at least as big as 32?
True
Let y = 161.821 - 162.4. Is y less than -10/9?
False
Let c(s) = 9*s**3 + 19*s**2 + 13*s - 5. Let f be c(-1). Is -121/13 not equal to f?
True
Let q(p) = 2*p**2 - 22*p - 335. Let v be q(-16). Do v and 532 have the same value?
False
Suppose 0 = 2*c + 6*j - 22, 3*j + 10 = -2*c + 5*j. Is -1/436 less than or equal to c?
False
Suppose -5183 = 44*i - 46*i + 5*c, 3*i - 7803 = -2*c. Is i not equal to 2600?
True
Let a = -3370 - 6857. Let w = -51431/5 - a. Which is smaller: -59 or w?
w
Let l = -5046 - -5045.7. Is 35 > l?
True
Let t = -426 + 5541/13. Let u = 488.177 - 490. Let a = 0.177 - u. Which is smaller: a or t?
t
Let p = -2177 - -2147. Is -8 >= p?
True
Let q = 39 + -11. Let b be (-4)/q + 40/35. Let s = 0.95 - 1. Is s less than or equal to b?
True
Let y = -163596221/3353 + 48791. Is -1 <= y?
True
Let o = 54.2 - 54. Let f = o + -3.5. Let b = -14.3 - f. Which is smaller: -0.2 or b?
b
Let b be 2/(0 + 2) - 1. Suppose 0 = s - 2*u - 104, -4*s + u + 102 + 265 = 0. Let p be (4 + b)*3/((-27)/s). Which is greater: p or 2?
2
Suppose -1096 + 952 =