*h. Let n be (-7)/(2*h/130). Do 29 and n have the same value?
False
Suppose 5*k + 1596 = -1134. Suppose -97*j = 2116 - 10555. Let b be (k/j)/(-2) + -3. Is 0 greater than b?
False
Let v be 354*(-78)/8*(-820)/(-1335). Let a = v - -2120. Is 0.2 > a?
True
Let i = -1 + 1.1. Let v = 0.1 - i. Suppose 4*u + 5*t - 5 = 0, -4*u - 521 + 448 = -t. Is u at least as big as v?
False
Let b = -48417218/45 + 1075888. Let x = b - -252/5. Which is greater: x or -7?
x
Suppose -214*o - 179047 - 155435 = 0. Which is bigger: -1 or o?
-1
Suppose -2*l + 25 = -3*v, v - 4 = 3*l - 24. Let t be 4/((-420)/459) + (-1)/5. Is t <= v?
False
Suppose 4*x - 19 = 9. Let a(m) = 2*m**3 - 14*m**2 + 3*m - 7. Let g be a(x). Let v be 576/(-56) - (-4)/g. Which is bigger: v or -19/2?
-19/2
Let z be ((-2)/(-13))/(3/(-21)). Suppose 4*d - 6 = -2*a, 489*d = 499*d + 2*a + 6. Is z > d?
True
Suppose 1 = -5*w - 2*k, -4*k = 2*w + 13 - 3. Let d(t) = 455*t**2 + 2*t - 2. Let q be d(w). Let f be 4/(-110)*-5 - q/22. Is f not equal to -22?
True
Let w be ((-4)/8)/((-6)/(-24)) + 3. Is 192/191 > w?
True
Suppose -17*r + 61 = -7. Suppose r*c = 178 + 26. Is -0.1 at least as big as c?
False
Let w(h) = 5*h**3 - 31*h**2 - 9*h - 5. Let p be w(8). Let a = p - 498. Which is greater: 3/17 or a?
a
Let o = 153 - 173. Let h = 19 + o. Is -3/127 greater than or equal to h?
True
Let b(n) = n**3 - 8*n**2 + 10*n - 15. Let o be b(7). Let m = o - 9. Suppose 19*u + 69 - 31 = 0. Is m at most u?
True
Suppose 0 = 3*j + j + 332. Suppose 5*v - 2*b + b = -411, 2*b + 174 = -2*v. Is v not equal to j?
False
Suppose -11*u + 6195 = -42. Which is bigger: 566 or u?
u
Let i be (-2)/(-8) - (-222)/8. Let a be 2470/380*372/78. Which is smaller: i or a?
i
Suppose -14*n + 15*n = 89. Let t = -79 + n. Suppose -6*d - 12 = -t*d. Is d at least 0?
True
Suppose 149*l - 2 = 148*l. Suppose -4*q - 84 = l*m, 2*q = 2*m - q + 56. Let s(j) = 34*j**3 + 2*j**2 + 2*j + 1. Let k be s(-1). Which is greater: m or k?
k
Let t = 200030 + -16003183/80. Let b = 47/80 - t. Which is smaller: b or 11?
b
Let h = -305186.2 + 305186. Let y be (0 - (-1)/2)*-5. Which is greater: h or y?
h
Suppose 0 = -5*h + h + 4. Let d be -5 - ((-28)/(-168) + 86/(-12)). Suppose 2 = -u - h, -2*t + d*u = 2. Which is greater: -1/3 or t?
-1/3
Suppose -70*u - 4 = -72*u. Suppose u*w + 11*g = 9*g - 216, 0 = -2*w + 2*g - 220. Which is greater: -215/2 or w?
-215/2
Let d(g) = -28*g + 3. Let k be d(-7). Let a(u) = u**2 - 513*u - 6637. Let r be a(-13). Which is greater: k or r?
r
Let z be 6 - 24/6 - 4*8. Let u be 5/30 + z/72. Which is smaller: 1/55 or u?
u
Suppose 3*u + u = -2*u. Suppose 8*m + 97 - 329 = u. Let v = -28 + m. Which is smaller: 20/9 or v?
v
Let p = -0.77976 + -0.22024. Does p = 969?
False
Suppose -5*w - 5*p + 5 = 0, -p + 40 = 39. Which is smaller: 5/647 or w?
w
Let v be (17 - 196/12) + 2157/369. Is v at least as big as -1/2?
True
Let k be ((13/3)/(160/(-120)))/((-2)/112). Is k != 4182/23?
True
Let r be 2 + 0*(10 + -9). Let z be r + (-18)/10 + (-279)/(-155). Which is bigger: 3 or z?
3
Let j = -178 - -171. Let o be 0 - (42/(-24))/j. Which is smaller: 22 or o?
o
Let j be 8564/58*(-55)/10. Let a = j + 812. Is -4 greater than a?
False
Suppose 5*r = -2*d + d + 1118, -3*d = -3*r - 3390. Let b be ((-1)/14)/(4/d). Is -21 < b?
True
Let s = -12080/551 + 590/29. Suppose 5*l - 11 = -o - o, 1 = -2*o - l. Is s at most as big as o?
False
Suppose 33*y - 58 = 31*y + 4*x, 2*y + 4*x = 66. Let s be 61/2 + (-1)/2. Let d = y - s. Which is bigger: 24/11 or d?
24/11
Let r = -162.147 - -162. Let a = r - -0.247. Let q be 3/2*(-2)/3. Which is greater: a or q?
a
Let v(t) = -t**3 - 4*t**2 + 184*t + 1102. Let b be v(-6). Which is bigger: b or 44?
b
Suppose 5*z - 2 = 5*f + 8*z, -3*z + 6 = -3*f. Which is smaller: f or -9/31?
f
Suppose 0 = -90*h + 162 - 522. Is -63/20 greater than or equal to h?
True
Suppose 9*f + 97 - 309 - 49 = 0. Suppose -2*n + 0*l - 3*l + 54 = 0, -3*n - l + 88 = 0. Is f <= n?
True
Let v = -6306005/20016 - -764/1251. Let d = -315 - v. Which is bigger: -1 or d?
d
Suppose -5 - 1 = -3*k. Suppose -3*b - 16 - 4 = -5*w, 2*w = -k*b + 8. Let z = 70.9 + -70.81. Is b bigger than z?
False
Let r be 30/14 - (-54 - -56). Is 0 less than r?
True
Let a = -9158 - -9138. Which is bigger: -499/24 or a?
a
Let x(f) = f**3 - f**2 + f - 56. Let j be x(0). Let i be 15 - (20332/(-78))/(-17). Which is smaller: i or j?
j
Let h be (((-3)/6)/((-2)/10))/(11/(-1034)). Let x(r) = -4*r**2 + 8*r + 16. Let n be x(9). Which is bigger: h or n?
h
Let l = -3320519/308040654 - 1/184566. Which is bigger: l or -1?
l
Let o = 0.2 + -0.1. Suppose -w - 2 = -12*j + 16*j, 2*j = -w. Suppose -4*t + x = 176, 5*t - w*t - 3*x = -141. Is t at most o?
True
Suppose 2*g + 3*x = -4, 2*g - 4*x - 20 = g. Suppose -4*h + 8 = 4*u, 0*u - 2*h + 4 = -g*u. Let c = -62034 - -1178650/19. Which is greater: u or c?
c
Let p = -326.0407 + 326. Let m = p - -20.7407. Which is greater: 1 or m?
m
Suppose -145 = -4*w + 149*w. Are 2324 and w equal?
False
Let q(f) = f**3 + 39*f + 198. Let y be q(-5). Which is bigger: y or -4/7?
-4/7
Let f be (0 + (-20)/(-30))*18. Which is greater: f or 16?
16
Suppose -6*r = -31*r + 12*r - 325. Which is bigger: -0.001 or r?
-0.001
Let z be ((-2)/(-2) + -15)*-1. Let i(x) = 228*x + 1598. Let w be i(-7). Let h be (-4684)/1218 + 4 - w/z. Which is bigger: h or -0.1?
h
Let u = -55885/24 - -12925/6. Which is bigger: -175 or u?
u
Let t(y) be the first derivative of -14*y**2 + 125*y + 218. Let r be t(6). Is -44 equal to r?
False
Let b = -323.7 - -1.7. Are 2/13 and b non-equal?
True
Let r = -126 - -277. Let j = r - 153. Which is smaller: j or -7/5?
j
Let u(n) = -7*n**2 + 1. Let a be u(1). Let o = -6046 + 6045.95. Which is smaller: o or a?
a
Let k be (338/(-3718))/(3754/(-11)). Which is greater: 0 or k?
k
Let c(x) = -x**3 - 9*x**2 - 13*x - 19. Suppose 2*m = -0*m + 4*u - 34, -61 = 5*m - 4*u. Let k be c(m). Let z = k - 112. Is z bigger than -11?
False
Suppose 1226 = -2*g + 1250. Let w = 13314/5 + -2652. Is g not equal to w?
True
Let x be (6/(-32))/((-21)/(-4))*-4. Let j = -77 + 63. Which is smaller: j or x?
j
Let v = 9155 - 9162. Which is bigger: 257 or v?
257
Let i = 36658/141 + -260. Let x be (0/(-90))/(-1 - -3). Which is greater: i or x?
x
Suppose -a = -5*y + 6*y + 3, 0 = 5*a + 4*y + 10. Suppose -2*u - a = 5*m, -3*u = -m - 7*u - 4. Which is greater: -6/263 or m?
m
Let b = -2037574/219 + 9304. Which is bigger: b or -1?
b
Let m(z) = 23*z**3 - z**2 + z - 4. Let a be m(1). Which is greater: 103 or a?
103
Let w = -30441.83 - -30442. Which is bigger: -787 or w?
w
Let d = 795 + -736.4. Let h = -68.6 + d. Is h greater than or equal to -32?
True
Let b(i) = 5*i**2 + 9*i - 15 + 0*i**2 - i**2 - 3*i**2. Let l(w) = -w**2 - 3*w + 20. Let s be l(3). Let h be b(s). Which is smaller: 0 or h?
0
Let r(m) = 3*m**2 - 3*m + 1. Let d = 73 - 73. Let k = d - -3. Let a be r(k). Which is bigger: a or 18?
a
Let o(j) = 5*j + 81. Let a be o(-5). Let w = a - 52. Which is greater: w or 41?
41
Let v(o) = -6*o**3 - o**2 - 68*o + 134. Let z be v(2). Is z smaller than 24?
True
Let o = -19396 - -28319. Are o and 8923 unequal?
False
Let b be -52 - (-3 + (-5)/(-5))*(-14 - -15). Is b at most as big as -293/6?
True
Let v be -9*(-2*(2 - 5) - 5). Let z be v/(-306)*-2 + 2. Are 2 and z equal?
False
Let a = -5.23 + -108.77. Let i = 55 + a. Is i at least 0?
False
Let z = 30 + -29. Let v = 11545 - 2274366/197. Which is greater: z or v?
z
Let a be (4/16)/((-6)/(-48)). Suppose 5*w = 3*g - 82, 2*g + 8 = -w + a. Which is smaller: -5 or w?
w
Let r = -1.512 - 193.488. Is r at least as big as -0.2?
False
Let g = -68 - -40. Let n = g - -32. Suppose -3*t + 2*j + 2 = -38, 52 = 5*t + n*j. Is t smaller than 13?
True
Let t = 21 + -634. Is -615 at most t?
True
Suppose 4*r + 485 = 4*d - 19, -3*d + 388 = -5*r. Let s = -140 + d. Is s bigger than -13?
False
Let n be (172/42)/(8/(-930)). Let s = n - -42601/84. Let g = -31 + s. Which is greater: 0 or g?
g
Let h(f) = f**2 - 11*f - 37. Let m be h(-3). Let l(n) = -n - 5. Let u be l(-9). Suppose -2*y = 2*z - 3*y - 14, -u*z = m*y - 28. Which is greater: z or 9?
9
Let k be (-2)/7 + (-243)/(-483). Suppose 0 = -28*d + 31*d - 741. Let s = 247 - d. Is s equal to k?
False
Let i(v) = v**3 + 3*v**2 + 4. Let m be i(0). Suppose -120 = 3*l - m*t - 111, -3*l - 6 = -3*t. Which is greater: 2/307