- 51. Let j = 46 + 17. Is j less than i?
False
Suppose 2*s - k - 95 = 0, -5*k = 3*s - 3*k - 125. Let d = 3399 + -3711. Let z be -3 - (d/s - 1/(-3)). Which is smaller: z or 0.1?
0.1
Suppose 0 = -3*z - 5*w + 74, -3*z - 3*w + w = -71. Let t be 92/34 - (z + -21). Is -6 greater than t?
False
Let n be ((-330)/(-3927))/(2/42). Is 2 less than n?
False
Let x = -5767547/140 + 41197. Is 0 less than x?
True
Let v = -0.288 - -136.288. Let b = v - 135.8. Which is bigger: b or -0.03?
b
Suppose 0 = o, o - 2*o = -b + 4. Suppose -2*s + 74 = -2*h, 0 = 6*h - 11*h + b*s - 183. Let a = -35 - h. Is 2/3 at least a?
True
Let z = -322 + 242. Let t = z + 80.3. Which is greater: t or -41/5?
t
Suppose 203 = -46*b - 260 - 319. Let z be (0 + (-4)/6)*-6. Let q be (8/2)/((-1)/z). Is b equal to q?
False
Suppose 0 = 64*q + 130 + 649 + 117. Which is smaller: 4.6 or q?
q
Let p = 1.75 + -1.79. Let n be (4/(-19))/((-8)/(-4)). Which is bigger: p or n?
p
Let q = -22.15 + 8.15. Do q and 136 have different values?
True
Let x(c) = c**3 + 20*c**2 - 33*c - 1. Let t(m) = -2*m**3 - 20*m**2 + 32*m + 2. Let g(k) = -2*t(k) - 3*x(k). Let w be g(18). Does w = -136/7?
False
Let m = -27928/915 + 458/15. Let g = -187/366 + m. Let y = 13.24 - 0.24. Which is smaller: y or g?
g
Let q = -2508 - -2513. Which is bigger: q or 14?
14
Let f(t) = 8*t + 38. Let r be f(17). Let v = -175 + r. Do -6 and v have the same value?
False
Suppose 200*k - 1470 = 2*l + 197*k, 5*k = -3*l - 2243. Which is smaller: l or -743?
-743
Let t = -16634/27 + 616. Suppose 0 = -5*b - q - 10, 0 = 5*b + 4*q - 6 + 31. Let j be (((-1)/(-1))/(-19 - -20))/b. Is t greater than j?
True
Let o(l) = -9*l**2 + 23*l + 259. Let m be o(-7). Does -3789/11 = m?
False
Let f(w) = 2*w**3 - 36*w**2 + 22*w + 42. Let t be f(17). Is -169 smaller than t?
True
Let c be ((-14)/(-2))/(-9 + -1). Suppose -21 = -17*w + 47. Suppose -4*j + 6*j - 4 = w*i, -5*j = 4*i + 4. Which is greater: c or j?
j
Let h be 4 + (4*1 + -1 - 5600/1408). Which is greater: h or 4?
4
Let u = -2585.25 - -2588.7. Are 24 and u unequal?
True
Let p(b) = -b**2 + 3*b + 13. Let m be p(8). Which is greater: m or -300/11?
m
Let s = 287 + -289. Let g(w) = w + 48 - 64 + 0*w. Let a be g(9). Which is smaller: s or a?
a
Let r(p) = -p + 2. Let d(l) = -27. Let g(b) = -d(b) + 2*r(b). Let f be g(11). Which is smaller: f or -1?
-1
Let b = -491 - -507. Suppose -t + b - 17 = 0. Which is bigger: t or -1/11?
-1/11
Let n = 33.68 - 33.88. Which is smaller: -158/15 or n?
-158/15
Let i(j) = j**2 - 19*j + 34. Let k be i(17). Suppose k = -3*d + u + 10 + 156, -66 = -d - 5*u. Which is bigger: d or 54?
d
Suppose -4*y + 111 = -3*a, 0*a = -y + 2*a + 34. Let l be (131/2)/((-12)/y). Let h = 96 + l. Is h < -36?
False
Let j(a) = -2*a**3 - 6*a**2 + 561*a - 3412. Let r be j(6). Is r smaller than -696?
False
Let r = -9437822772/97 - -97295833. Let j = 1309 + r. Which is smaller: 0 or j?
0
Let b(o) be the third derivative of o**4/2 - 35*o**3/3 + 60*o**2. Let s be b(13). Which is smaller: 87 or s?
s
Suppose -c = -49 + 55. Let d = 99 - 94. Suppose 0 = -2*l + 2*n + 4, -2*l - n + 10 = -d*n. Are c and l non-equal?
True
Let l(p) = 5*p + 44. Let u be l(10). Suppose 0 = -5*s - u + 749. Is s greater than or equal to 130?
True
Let p be (-11304)/(-1614) - 0 - (-4 + 11). Which is smaller: p or -9?
-9
Let v = 30828 + -30830. Which is greater: -39/49 or v?
-39/49
Let q be 1462/1156*-1 - 1/(0 + -1). Suppose 3*g = 4 - 1. Which is bigger: g or q?
g
Let s = 7 + -7. Let o = -23.01 + 0.01. Let i = s + o. Which is smaller: i or 0.1?
i
Let f = 1.04 - 0.43. Let v = f + -0.81. Let h = 2.01 + -0.01. Is h at most v?
False
Suppose 0 = -3*f - 3*f - 144. Suppose 80*m - 86*m - 150 = 0. Which is bigger: f or m?
f
Let w be (-3)/(-2) + 2942/535 + -7. Which is greater: 0.2 or w?
0.2
Suppose -4 + 1 = n. Let l be -12*(6 + -3)*(-1)/(-1). Let c be -5 - (-3 - l/(-19)). Which is smaller: n or c?
n
Let r be (-33374)/(-1394) + (-1)/(-17). Which is greater: r or 659/29?
r
Suppose -14*i = -102*i + 33706 + 4486. Is i at most as big as 436?
True
Suppose 11 = 4*u - 3*r, -5*r - 18 - 7 = 0. Let q = 107/41846 - 13/686. Is u not equal to q?
True
Let n(h) = -h**3 - 12*h**2 - 21*h + 42. Suppose 82*t = 69*t - 156. Let p be n(t). Is 294 less than p?
False
Let c = 21488/9213 - -3/3071. Let b be (2 - (2 - 0))/(-2). Let y = b - -1. Which is bigger: c or y?
c
Let o be -3*(-1043)/(-840)*-3. Let z = 33/28 + 543/56. Let g = o - z. Which is bigger: 0 or g?
g
Let l be (-15872)/(-40) + (-37)/(-185). Is l at most 402?
True
Suppose 5*a - 2078 = 2*z, 2*a - 848 = -359*z + 364*z. Is 1246/3 at least a?
True
Let k = -5/5456 - -2733/5456. Which is smaller: k or -8/1683?
-8/1683
Let d = -16421 - -16432. Let j = 13 + -4. Let i be (2/j)/(-1*1). Which is smaller: i or d?
i
Let q = -12.96 + 11.96. Is -7682 greater than or equal to q?
False
Let k = -115.218 + 115. Let j = k + 0.118. Let h = 0.8 - 3.8. Which is smaller: j or h?
h
Let o = 14.52 + 45.48. Let j = 33 + -68. Let s = j + o. Is s less than -2/9?
False
Let q(c) = -3*c**3 + 7*c**2 - 29*c + 16. Let h(d) = 2*d**3 - 3*d**2 + 14*d - 8. Let f(x) = -9*h(x) - 4*q(x). Let j be f(3). Are j and -193 unequal?
False
Let w = -1/2259 - -122003/38403. Is w greater than or equal to 2/3?
True
Suppose 37 = m + 2*k, -10*k = -2*m - 9*k + 94. Let u be 4 - (-7 + 445/m). Are u and 6 unequal?
True
Let i be 11*((-4)/(-4*1))/(-1). Let r be 2 + 160/(-14) + (-12)/21. Does r = i?
False
Suppose 214 = 5*h + 199. Suppose -h*z - 9 = -6*z. Which is bigger: -9 or z?
z
Let o(u) = -u**3 - 84*u**2 - 85*u - 111. Let q be o(-83). Let l be 2/(-4)*8/(-6). Which is bigger: q or l?
q
Suppose 0 = t - 0 - 2. Let m be 3 - t - 4*1/6. Which is greater: 1 or m?
1
Let s(k) = -9869*k**2 - 83*k - 84. Let x be s(-1). Is -9870 > x?
False
Suppose -22234 = m + 3*o, 22248 = 28*m - 29*m - o. Is m > -22254?
False
Let h = 8625/8 - 353969/328. Let p be 671/26*4/82. Let c = p - h. Which is smaller: 1 or c?
1
Let a = 8/2651 - 48094/124597. Let p be (-780)/4290 - (-3 + 31/11). Which is bigger: a or p?
p
Let l(p) = -p**3 - 7*p**2 - 2*p - 3. Let z be l(-7). Suppose -3*k = 13 + z. Let a be (-3)/(2/((-8)/(-6))). Which is smaller: a or k?
k
Let h(t) = 2*t**2 + 12*t + 12. Let k be h(-5). Let z be 345/(-900) + k/(-15)*-1. Which is greater: -205 or z?
z
Suppose -4*t - 2*w - 14299 = 7197, 3*t + 5*w = -16115. Let h = t - -1198627/223. Which is smaller: h or -1?
-1
Suppose 4*v = -u + 1366, -1372 = -u + 10*v - 13*v. Is 2781/2 at most as big as u?
False
Let g = -4240 - -21671/5. Which is smaller: 94 or g?
94
Suppose 152*d + 247909 = 704821. Which is smaller: d or 3007?
d
Suppose -12*g + 488 + 304 = 0. Suppose 0 = -9*d + 579 - g. Is d bigger than 4?
True
Let t be (134 + -131)*1/(-3). Which is bigger: -4/67 or t?
-4/67
Suppose -12125 = 163*o + 34924 - 10700. Which is smaller: -218 or o?
o
Let v = 397/1180 + 15/236. Do 330 and v have the same value?
False
Suppose -30*w + 225360 = 50*w. Is w greater than or equal to 2816?
True
Let d = -12 - -1. Let m = -0.2993 - 0.0007. Which is bigger: d or m?
m
Let u = 72865/2109007 + -12/349. Which is bigger: u or 1?
1
Let d = -2804 - -2820.21. Let s = d - 0.21. Let r = -15 + s. Which is smaller: r or 1/5?
1/5
Let i = -26289 - -132397/5. Let h = i + -190. Which is smaller: -3/5 or h?
-3/5
Let g = -62.007 + 0.007. Let z = g + 66.4. Is 0 != z?
True
Suppose 3*c - 290 = -305. Let o(l) = -27*l - 151. Let z be o(c). Which is greater: -29/2 or z?
-29/2
Suppose -s + 4*s = y + 2880, s = 0. Let v be (1/(-2))/(4*(-10)/y). Let t(m) = m**3 - 6*m**2 - 7*m + 1. Let i be t(7). Which is greater: i or v?
i
Let c = 695/83619 - 20/513. Is c <= -2/5?
False
Let n be (-19)/(-4) - 4 - (-2)/8. Let c be n + (-6 + 3 - -4). Suppose 0 = -4*y - r + 5, -11 = c*y - 6*r + 11*r. Which is smaller: y or 4?
y
Suppose 0 = 3*t + l - 309, 2*t - 195 = 3*l - 0*l. Suppose -t*v = -111*v + 18. Which is smaller: 14/5 or v?
v
Let t be (3/(-7))/(66/21)*-54. Let m = t + -131/11. Are -2 and m equal?
False
Let o = 347/213 + 17183/1917. Do o and 11 have the same value?
False
Let h = 4058 + -5604. Which is smaller: 1 or h?
h
Let k(i) = -8*i**2 - 8*i - 10. Let z be k(-4). Let m = 227 + z. Suppose 5*o = -54 - m. Is o <= -36?
False
Let f(g) = -1485*g + 4456. Let y be f(3). Is y at least as big as 5/773?
True
Let b(d) = -38*d - 26. Let o be b(7).