reater: l or 7?
l
Suppose 5*u = 5*v + 5, 2*u + 7 = 9. Is v < -38/41?
False
Let o = -163 - -161. Let a be (o/1)/((-10)/(-20*4)). Is -15 bigger than a?
True
Suppose 3*g = 5*u + 212, -2*g + 190 = u + 27. Let c = 58547/738 + 1/738. Is c > g?
True
Let r = -60 - -29. Let u(x) = x**3 + 18*x**2 + 2*x + 5. Let c = -21 - -3. Let g be u(c). Is g smaller than r?
False
Let b = -894488556/42487193 - -28096/12997. Let z = 16/467 + b. Is -20 greater than z?
False
Let h be 5/(-10) + ((-1)/(-2) - -1). Suppose 0 = 5*w - h - 49. Let i(t) = -t**2 + 14*t - 40. Let m be i(w). Is 2/73 < m?
False
Let x be 4*(-1 + (-2)/(-1)). Suppose -3*t + 17 - 1 = 5*f, -x*f - 2 = -5*t. Suppose 5*p + t*c - 50 = 0, 3*c + 22 = p + c. Is p greater than 11?
True
Let r = 22 + -19. Let k be ((-46)/(-3))/((-2)/r). Let j = -93/4 - k. Which is smaller: j or -2/9?
j
Suppose 992 = -290*g - 1618. Let z = -9 + 13. Is z > g?
True
Suppose 21*c - 4866 = 36*c + 19839. Is c > -1649?
True
Suppose 7*j - 7*j + 12480 = -39*j. Is -318 at most as big as j?
False
Let r(d) = 10*d**3 + 23*d**2 - 3*d + 52. Let z be r(7). Is 4588 smaller than z?
False
Suppose 8*h = -8*h + 14*h - 184. Which is smaller: -99 or h?
-99
Suppose -18 = 77*p - 83*p. Let l = 57 + -37. Let v be (p/l)/(9/72). Is v < 0?
False
Suppose 5*u - h - 16 = 0, -4*u = 2*h - 5 - 19. Let c be u + -6 + (-284)/(-144). Are c and 0 nonequal?
True
Let l = 64 + -59. Let p be 2 - (l/2 + 13/26). Let h be 2/8 - 30/(-16) - 2. Which is greater: h or p?
h
Suppose 36 = 5*x + x. Let r = -3/5576 - -26489/5576. Are r and x unequal?
True
Let n = 3835 - 3835. Which is greater: n or -6304?
n
Let v(c) = -642*c**2 + 13*c + 5. Let p(f) = f**2 + 5*f - 67. Let u be p(6). Let m be v(u). Which is greater: m or -651?
m
Let v = -18865 + 18936. Is v > -1.39?
True
Suppose 5 = 11*x - 6 - 0. Which is smaller: 3/1111 or x?
3/1111
Let f(h) = -3*h**2 - 12*h + 17. Let t be f(-5). Suppose 14 = g + t. Is g greater than or equal to 32/3?
True
Suppose 5676 = -892*o + 904*o. Let l = 29933 - 88343/3. Let i = o - l. Which is greater: -11 or i?
-11
Let t be 1/(-1) + (7 - 4). Let k = -159 + 145. Let s be k/63 - (273/(-135) + 0). Is t >= s?
True
Suppose 13*u - 8*u = -4*y - 25501, 12746 = -2*y - 4*u. Let j be (-12)/42 + y/2394 + 1. Let a = j - -15/38. Which is smaller: a or -2?
-2
Let k = 725.81 - -59.19. Which is smaller: 1 or k?
1
Let f = -102 - -122. Let t = 3544 + -3564.01. Let w = f + t. Is -0.1 less than w?
True
Suppose 0 = -4*m + 171 + 69. Let p be (3/(-5))/((-2)/190). Let n = p - m. Which is smaller: -8/5 or n?
n
Let l be 154/(-13692)*-889 + -10. Is 1 <= l?
False
Let m = 36.702 + -32.702. Which is bigger: -32 or m?
m
Let i(n) = 43*n + 205 + 36*n - 81*n. Let r be i(31). Which is bigger: r or 142?
r
Let n = 14104 - 13783. Are 319 and n nonequal?
True
Suppose 524*c - 507*c = 26435. Is c at most as big as 1554?
False
Let f = -4351 + 4351. Which is smaller: f or -1/1141?
-1/1141
Let h be -2848 - 15/(15/3). Let k = 14202/5 + h. Which is smaller: -0.3 or k?
k
Let r = 65 - 63. Let i be -1 + -2 - (-6 + -4 + r). Are 66/13 and i non-equal?
True
Let j = -152 + 161. Suppose 3*s + j - 18 = 0. Suppose 2*b = k - 13, -5*b - 18 = -2*k - 3*b. Which is smaller: s or k?
s
Let i(r) = -30*r - 1332. Let t be i(11). Are t and -1664 unequal?
True
Let g(y) be the third derivative of 5*y**4/8 + 7*y**3/2 - y**2 - 2*y - 955. Let x = 4 + -9. Let o be g(x). Is -54 at most o?
True
Let u(a) = -40*a + 18. Let i be u(2). Let f = 51 + i. Do -12 and f have the same value?
False
Let w be (-10)/(-3)*(5 + 0 + -14). Let m be 4 - (3/12 + w/(-8)). Let j = 22/15 - 17/12. Which is smaller: j or m?
m
Let t be (1638/56)/(2 + (-21)/12). Suppose 0 = -t*z + 112*z + 5. Which is greater: z or 1/36?
z
Let j = -3640.06 + 3640. Which is greater: 1165 or j?
1165
Let m = 0.14398 + -24.31598. Let i = 24 + m. Let q = i + 0.092. Which is smaller: 0.1 or q?
q
Let h(x) = -23*x - 9324. Let u be h(-131). Does -6310 = u?
False
Suppose 0 + 2 = c. Suppose -5*m - 238*u = -243*u - 390, -135 = -2*m - u. Which is greater: c or m?
m
Suppose -125 = -132*k + 25 - 18. Which is greater: 3/5624 or k?
k
Let l = 6238 - 6243. Is l at most as big as -5.4?
False
Let w = -1372 - -1991. Let y = -621.2 + w. Does y = -4?
False
Let k = -0.032 + 0.432. Let n = -0.41 - 0.19. Let l = n - k. Which is greater: 4 or l?
4
Let t be (7/(147/30) + -1)/((-9)/6). Is t at least as big as 6810?
False
Suppose -4*k = 8, -4*u = 4*k + 165 + 343. Which is smaller: -40 or u?
u
Let f = -264 - 64. Let u = -307 - f. Is 15 smaller than u?
True
Let k = 117 - 106.3. Let h = 118.3 + k. Is -1/4 not equal to h?
True
Let o be 2 + (151319*3)/3 - 3. Let m = -9509978/63 + o. Let t = m + -366. Is 1 smaller than t?
False
Let h be (-21)/70*(-1464)/9. Let f(a) = -50*a**2 + a. Let b be f(1). Let s = h + b. Is s less than 0?
True
Let u(t) = t**3 + 19*t**2 - 62*t + 88. Let n be u(-22). Which is smaller: n or -2/2979?
-2/2979
Suppose g - 1 = 0, -z - 8026 + 863 = -2*g. Which is greater: -7160 or z?
-7160
Let u = 1721 + -1228. Let a = u + -450. Do -7 and a have different values?
True
Let i be (-115 - 15) + 0/2. Let b be 784/i - (4 + -17 + 7). Which is smaller: -0.1 or b?
-0.1
Let g = -21958/6162679 - -1/7027. Is g greater than or equal to 0?
False
Let g = 934 + -916.4. Let l = g - 9.6. Is -38 smaller than l?
True
Suppose -2563*u + 2568*u - 65 = 0. Suppose -u*s + 740 = -5*i - 8*s, 4 = -4*s. Which is bigger: i or -147?
-147
Suppose 15 = a + b + 9, -2*a + 16 = 3*b. Let v = -0.58 + 0.488. Which is greater: a or v?
a
Let j be (-8)/(-318) + 0/(-1). Suppose -84 = -84*a - 159*a + 327*a. Which is smaller: j or a?
a
Let m = -3304/3 + 1063. Suppose y - 74 = 3*y. Which is bigger: y or m?
y
Let c be (-16)/(-42) + 2/(-3). Suppose 4*v + 0 = -3*b + 6, -5*v = 15. Let z = b - 6. Is z bigger than c?
True
Suppose -4*w - 100 = -2*w - 4*f, -5*w - f = 283. Let a be (-2 - (-59)/68) + w/(-224). Which is smaller: a or 0?
a
Let l(b) = -6*b**3 + 35*b**2 + 46*b + 8. Let o be l(-4). Which is greater: o or 764?
o
Let d be ((-4)/(-3))/((-2)/(-6)). Suppose 1045 = 26*a + 265. Which is smaller: d or a?
d
Suppose -71*w = -70*w + 5*q + 241, -5*w - 4*q = 1100. Which is greater: 6 or w?
6
Suppose -2*h - 4 = 2*d, 0 = -5*d + 9*h - 42 - 66. Is d >= -174/23?
False
Suppose -2*m = 5*w + 77, 10*w - 72 = 14*w - m. Let a be w/(-119) - (-1)/((-154)/78). Suppose 3*c + 1 = -2. Is a less than c?
False
Let i = -462/89 + 423459/81524. Are i and 0 nonequal?
True
Let w = -473168 - -10881170/23. Which is smaller: -74 or w?
-74
Let q(i) = i**3 - 16*i**2 - i + 35. Let s be q(16). Suppose 5*x + 0*x = -4*u + 391, u + x - 99 = 0. Suppose -3*c = -2*t + 2*c + 53, -3*c - u = -5*t. Is s >= t?
True
Let i = -114.9 - -117. Let l = -2.2 + i. Which is smaller: l or 187?
l
Let l be 486/1750 + (1/3 - (-13)/(-21)). Let q = -8 + 9. Which is greater: q or l?
q
Suppose -3*b - 16 = -2*b. Let z be -20*((-460)/40 + 11) - 35. Is z less than or equal to b?
True
Let o be (-3 + 2 - -2) + 6. Suppose -5*g - 1188 = -n, -2*g + 7*n = 2*n + 489. Let l = 710/3 + g. Is o at least l?
True
Let d = -200.2 - -303. Let v = d - 104. Which is smaller: 3 or v?
v
Let j(m) = -m**2 - 13*m + 5. Let a be j(-13). Suppose -2*o - o - 13 = -a*b, 1 = b - o. Let p be 4/1 - (14600/732)/b. Do p and 1 have different values?
True
Let c = -27129 + 27128. Which is smaller: -2608 or c?
-2608
Suppose 0*s = -4*x + 2*s - 21044, -x - 3*s = 5261. Which is smaller: x or -5260?
x
Let c = 19245 + -15504. Is c at most 3741?
True
Let i = -5678761/1324 - -4086/331. Is -4278 less than or equal to i?
True
Let c = -1.11 + 1.052. Let k = -0.158 - c. Let o = -962/1449 + 40/63. Which is smaller: k or o?
k
Let g be 1*(0 + 3)/(-3). Let s = -6/8029 - 16004/72261. Are g and s unequal?
True
Let d be (25380/(-243648))/((-3)/(-16)) + 2*(-2)/(-18). Let m = 63 - 62.889. Is m at most as big as d?
False
Let a = -10.4807 - -0.0007. Let y = -0.98 - a. Let v = 2.5 - y. Which is bigger: -0.2 or v?
-0.2
Suppose 5*m + 0*d + 136 = 4*d, m + 4 = -5*d. Let s = -2.5 + 36.3. Let g = 34 - s. Which is smaller: m or g?
m
Let b(n) = -n**3 - 7*n**2 - 1. Let s be b(-7). Let m be 754/13 - (-1 - s). Let j = 9562 + -9505. Which is smaller: j or m?
j
Suppose 2*g - 6*g = 120. Let q be g*-9*20/(-75). Let n = 77 + q. Which is smaller: n or 6?
n
Suppose 5*k = 2*w - 6*w + 196, -2*w + 