True
Let y be (-1)/10 + 357/70. Which is bigger: y or 65?
65
Let f(z) be the second derivative of z**5/20 + 13*z**4/12 - 7*z**3/6 - 89*z**2/2 + z + 54. Let p be f(-13). Is p less than 131?
True
Let j = -384.923 - -0.923. Let q = 3670/7 + -524. Which is greater: q or j?
q
Let r = -255/29 - -2834/319. Which is smaller: -1.133 or r?
-1.133
Let r(t) = t**2 + 270*t + 33. Let d(f) = 133*f + 17. Let u(p) = 11*d(p) - 6*r(p). Let o be u(-26). Which is smaller: o or 18?
o
Let w = 64 + -58. Suppose 17 = w*x + 257. Let b be 24/x - 2/5. Which is bigger: 1/34 or b?
1/34
Let y be 1/(21/2 + 0). Let a be (-11139)/79*2/(-6). Suppose -44 = l + 2*h - a, 2*h - 2 = 0. Which is greater: l or y?
l
Let z = 350/121 - 1845/847. Are 25/3 and z non-equal?
True
Let b = -2.275 - -6.675. Let c be 15/(-20)*8/(-2). Which is smaller: c or b?
c
Suppose 0 = -5*h, 46*j = 50*j - 5*h + 4. Which is smaller: j or 12148?
j
Let p(g) = g**3 + 6*g**2 - g - 5. Let l be p(-1). Which is bigger: 3/30860 or l?
l
Suppose -3*k - 5 = -6*k - 5*l, 0 = -k - 5*l - 5. Suppose 0 = s + s - 3*r + 58, -k*r + 120 = -4*s. Let a = 40 + s. Is 5 greater than a?
False
Let r = -6990 - -6987. Are 2/1059 and r unequal?
True
Let y(d) = 2*d**3 + 71*d**2 + 32*d - 71. Let h be y(-35). Let a = -37 + 74. Which is smaller: h or a?
h
Let i = -99.701 + 0.501. Let k = 99 + i. Which is greater: 0.106 or k?
0.106
Let c(g) = -693*g + 168. Let z be c(0). Are z and 1351/8 equal?
False
Let q(x) = -x**3 - 6*x**2 + 2*x + 9. Let y be ((-2975)/65)/5 + (-6)/(-39). Let t be q(y). Which is smaller: 233 or t?
233
Let w = 16.12 - 16.14. Which is bigger: w or -2499?
w
Let i = 8620 - 8620. Is 1/1651 > i?
True
Let r = 8685 + -8685.1329. Is -4 at least as big as r?
False
Let c = -0.443 - 87.557. Let a = 172 + -71. Let r = a + c. Do r and -3/5 have different values?
True
Suppose -8*x = -10*x + 448. Let y = 67 - x. Is -157 at least as big as y?
True
Let b be (-1 - (-26)/(-30)) + 2/(-15). Let a be (-8)/6 - b - (-10)/(-6). Which is greater: a or 1/287?
1/287
Suppose -19*f = -11*f - 144. Let a be (-176)/f - (-24)/(-108). Which is smaller: a or 1/4?
a
Let n = -5450 + 5449.9. Is n >= -4428?
True
Let b be (2 + 20/(-12))*0. Suppose 0 = l - b + 1, 2*w - 326 = 2*l. Is w < 162?
False
Let w = -1698.7 - -1686.7. Is 8 less than w?
False
Let t(y) = y**3 + 18*y**2 - 8*y - 247. Let h be t(-18). Which is bigger: 4 or h?
4
Suppose -2*l + 1 = 3*k, 2*k - 4*l = -0*k + 22. Suppose -4*o = -4*v - 20, -k = 5*o + 8*v - 6*v. Which is smaller: o or -5/42?
-5/42
Let w(c) = 6*c**2 + 128*c + 17. Let x be w(-16). Let q = x + 422. Does q = -73?
True
Let p = -75 + 41. Let s = 33.7 + p. Which is greater: -7 or s?
s
Let z = -1870 - -1468. Which is greater: -404 or z?
z
Suppose 0*i + 7614 = -2*i + 6492. Which is bigger: -557 or i?
-557
Suppose -5 + 2 = 3*i - j, 5*i = 5*j - 15. Suppose -p + 6*p + 4*a - 23 = i, 17 = 5*p + a. Let y be (-4 - -3) + 1 - p. Is y less than or equal to -1?
True
Let f = 15658 + -15657. Which is bigger: -4/2699 or f?
f
Suppose -p + j + 73 = 0, j - 203 = 354*p - 357*p. Which is smaller: p or 893/13?
893/13
Let g = 10773 + -11037. Which is smaller: 0.1 or g?
g
Let f(o) = -o**3 + o**2 + 2*o + 3. Let q be f(-2). Suppose -8*v - 60 = -q*v. Suppose -v = -r - 5*t, r - 2*t + 1 = -7. Are 1/27 and r equal?
False
Let k = -32231 - -225166/7. Is k greater than or equal to -65?
True
Let u be (-114 - 1) + 120/10. Which is smaller: u or -102?
u
Suppose -3*c + 7 + 5 = 0. Suppose 0 = 4*n - c*s - 324, -2*s = n - s - 73. Let j = 78 - n. Is 1 less than or equal to j?
True
Let x be 774/(-14) - (8 + -4). Let w = x - -9925/168. Which is bigger: 0 or w?
0
Let b = -1455680/11 + 132467. Is b at most 133?
True
Let f(p) = 12*p**3 + 50*p**2 + 49*p - 95. Let y(q) = 7*q**3 + 25*q**2 + 24*q - 47. Let r(x) = 4*f(x) - 7*y(x). Let a be r(26). Do 321 and a have the same value?
False
Let l(n) = -n**2 - 13*n + 64. Let k be l(-16). Suppose -41 = -25*o - k*o. Is -1/220 smaller than o?
True
Let m be (-68)/102 - (-4884)/6462. Which is bigger: m or 0?
m
Suppose -26*g = 14*g - 12*g - 252. Let h(w) = -w**3 + 9*w**2 - 17*w + 8. Let y be h(6). Which is greater: y or g?
y
Let i = 10138 - 5190659/512. Suppose 2*q - 4 = -2*q. Is i < q?
True
Suppose -5*t - 365 = 2*s - 7*s, 0 = 3*t - 4*s + 224. Suppose 0 = -g + 3*n - 58, -21725*n = g - 21720*n + 90. Which is bigger: t or g?
t
Let k = 3965 - 4084. Which is greater: -117 or k?
-117
Let f = -1538.7 + 1528.8. Is 25 less than f?
False
Let i be 1 + 119/(-51) + (-199)/(-3). Which is smaller: i or 80?
i
Let s = -133779 - -1004814067/7511. Do s and -1 have different values?
True
Let f = -52856 + 52844. Let h be (-2)/(-3)*3/(-2). Let m be (h + 2)/((-1)/7). Is m bigger than f?
True
Suppose 14*m - 5*m = -99. Let n be (m + 22)/((-2)/(-28)) - 0. Suppose -12*t + 62 + n = 0. Which is bigger: t or 17?
t
Let r = -3 - -4. Let u = 0.375 + -413.375. Let b = -411 - u. Is b > r?
True
Let b(l) = l - 1. Let u(h) = -21*h - 2. Suppose z = -d + 4*z - 16, -2*d - 22 = -4*z. Let x(q) = d*u(q) + b(q). Let g be x(2). Is g >= 1?
True
Let n be (-32)/(-208)*(-1)/2. Let l = 687 - 682. Which is smaller: l or n?
n
Let t = -20091 - -18217. Which is greater: -1871 or t?
-1871
Let s be ((-3726)/783288)/(1*3). Which is smaller: -1 or s?
-1
Suppose -399 = -4*j - 5*z, -j - z = -8 - 93. Let l be (-2)/(-5) - 3*(-3138)/90. Which is smaller: j or l?
l
Let r(j) = 2*j**2 - 11*j + 10. Let m be (1 - -4)*1*1. Let h be r(m). Suppose -9*v + h*v - 4 = 0. Which is smaller: 2/33 or v?
v
Let x = 0.61 - -12.39. Let b = x + -12.903. Let z = -2.903 - b. Are 16 and z unequal?
True
Let f = 210 - 211. Let x be (-42*14/(-42))/(254*f). Is -1 bigger than x?
False
Suppose -4*d = -3*q + 73 - 195, 2*d - 156 = 4*q. Let s be (-401)/7 - q/133. Do -60 and s have the same value?
False
Let h = 2/49895 + 98252/38369255. Let g be 0/((-216)/(-63) + (-6)/14). Which is greater: g or h?
h
Let j(b) = b - 4. Let t be j(-3). Let x(d) = -d**2 + 57*d - 216. Let r be x(53). Is t bigger than r?
False
Let j = -43876 + 43845. Is j < -4.9?
True
Let n(p) = p**2 + 8*p + 15. Let o be (-4 - -2)/(-2)*(2 + 1). Suppose 0*y + 11 = -5*i - 3*y, 0 = -y + o. Let j be n(i). Which is greater: j or 0.06?
0.06
Let g be ((-44)/(-6))/(3/9). Let y be (18315/148)/(3/(-12)). Let f be 200/y - (-4)/g. Which is bigger: f or 0?
0
Let s = 341.5215 - 0.0215. Let a = s + -344. Which is bigger: 3 or a?
3
Let n = -25049 - -24925. Let x be (-759)/6 + 2/4. Which is smaller: n or x?
x
Let o = -581 + -275. Which is bigger: -2 or o?
-2
Let h = -3562 - -3577. Which is smaller: h or -18/5?
-18/5
Suppose -3*w = 3*z, 0*w - 2*w - 4*z - 8 = 0. Suppose w*o - 8 - 8 = 0. Let x be 2 - -5 - (-22)/(-8). Which is smaller: o or x?
o
Suppose 0 = -2*a - 4*r - 630, 2*r - 1093 - 446 = 5*a. Is a at least as big as -296?
False
Let s = 0.112 + -0.012. Let v = -8 + 26. Let h = 1 + v. Is s < h?
True
Let p = 627/808 + 10/101. Let z = -0.0382084 - 0.2617916. Which is bigger: p or z?
p
Suppose 9*p - 13*p + 2*d = 6, 3*p - 1 = -4*d. Let z(j) = j - 5. Let u be z(11). Let l be 3 + (u/(-3) - 1). Which is greater: p or l?
l
Suppose -13*a = -31339 + 2362. Is a at most 2229?
True
Let r = 644 + -637. Let g = 161.9 - 155. Let h = r - g. Which is smaller: -0.05 or h?
-0.05
Let c(n) = -148*n**3 - 6*n**2 - 7*n - 2. Let y be c(-1). Let k = -148 + y. Is k > -4/183?
False
Suppose -66 = -s - 21*r + 20*r, -r - 123 = -2*s. Let i be -1*(-6)/(-3) + 69. Which is smaller: i or s?
s
Let a = -20521 - -20525. Does 734 = a?
False
Let v = 6 - 4. Let p = 387 + -897. Let b be (-8)/(-68) + (-93)/p. Which is bigger: b or v?
v
Suppose 113796 = 87*j - 50173 + 27379. Is j equal to 1568?
False
Let r be (-21285)/(-77) - (-12)/(-28). Let g = r - 262. Does 13 = g?
False
Let q = 4.091 + -0.101. Let m = -0.01 - q. Suppose -599*i - 887 + 496 = 807. Which is smaller: i or m?
m
Let q(k) = -k**2 - 19*k + 19. Let d be q(1). Is d less than or equal to -17/22?
True
Let s = -0.01561 - 50.01739. Let i = s - -0.033. Let j = i + 51. Which is bigger: -0.02 or j?
j
Let y be ((0 - 48)/(-4))/2. Suppose h = 70*r - 67*r - 52, 0 = -2*h + 4. Is r smaller than y?
False
Let x be 28/(-7)*1/(-2). Let p be (0 + -5)*((-561)/275 + x). Which is smaller: 1 or p?
p
Suppose -384 - 646 = -103*o. Is o smaller than 356/33?
True
Let a(q) = -q**2 - 93*q + 104. Let c be a(-94). Which