r than t?
False
Let v = -102 + 103. Let k be (21/(-18) + v)/((-16)/(-936)). Which is greater: -10 or k?
k
Let z(a) = -a**2 + 6*a + 24. Let n be z(10). Let h be -254*(40/n)/5. Are 130 and h equal?
False
Let g = 1/64028 + 25226983/3137372. Is g greater than 9?
False
Let o = -292669/27 - -10839. Is o greater than -2?
True
Let v be 1386/(-6426) + (-3)/(-9). Are v and -77/4 equal?
False
Let g be (-4 - 124/(-14)) + (-600)/700. Is g < -315?
False
Let k = 7709/1206 - -7/134. Suppose 3*t - j = -0*j + 5, 0 = t + 4*j - 6. Suppose -t - 5 = -m. Is k greater than m?
False
Let h = 3253756 - 3253602.9539. Let d = h + -0.0461. Which is smaller: 2 or d?
2
Let p = -2445 + 2463. Which is smaller: 22 or p?
p
Suppose -5*u = -10*u + 20. Suppose 0 = h - r + 67, 2*h - u*r + 124 = -14. Let y = h + 57. Do -8 and y have the same value?
True
Let n = 19 - 16. Suppose -5*b - 2*u - n*u + 25 = 0, -9 = -3*u. Suppose 5*g - 39 = b*v - 0*g, 38 = -2*v + 4*g. Is -16 >= v?
True
Let o(f) = -f**2 - 129*f - 383. Let g be o(-3). Which is smaller: -2/201 or g?
g
Let w(l) = 5*l**3 - 16*l**2 + 8*l + 7. Let o be w(5). Let d = o - 279. Which is smaller: d or -3?
d
Let s be (3 + 0)*(-2)/6. Let g = -468839/165044013 + -1/234771. Is s < g?
True
Let o = 148.67 + -148.77. Is 9/346 < o?
False
Let q = -12.5 - -12.1. Is q greater than -443?
True
Let f(r) = -17*r - 24. Let d be f(-5). Let p = d - 63. Let y be -1*(p/6 - (-6)/(-9)). Which is greater: -1/51 or y?
y
Let r = 1929 - 29084/15. Is r at most as big as -10?
False
Suppose -5*i - 3 = -8, i - 5 = -4*z. Is 19/62 > z?
False
Let g(y) = -18*y**3 - 5*y**2 - 5*y - 2. Let t(w) = w**3 - 26*w**2 + 2*w - 54. Let b be t(26). Let x be g(b). Which is bigger: 131 or x?
x
Let k be -12*6/(-8) + (-2 - 34140/4876). Which is smaller: k or -5?
-5
Let v = 0 - 1. Suppose 2*w + 65 = 3*w - 5*t, -2*t = -8. Let x be (-5)/w*8*-1. Which is bigger: x or v?
x
Suppose -3*r = 5 + 1. Let i be r/9 - 11/(-9). Let k be (-85)/41 - (-4 - (3 + -5)). Which is greater: i or k?
i
Let f(s) = 293*s - 1802. Let x be f(6). Is -591/13 at most x?
True
Let z = 1 - 2. Let d = -20283/16 - -1268. Which is smaller: d or z?
z
Suppose -3*p + 1605 = 3*u, -u = -4*u + 2*p + 1585. Let z be 4/48 - u/(-108). Which is bigger: z or 86/15?
86/15
Let s(r) be the first derivative of r**4/2 - 4*r**2 + r - 7. Let q be s(-2). Is q != 1/36?
True
Suppose -30*r + 360 = -6*r. Suppose 157 = -r*l - 68. Which is smaller: -10 or l?
l
Let o = 3.3827 - 3.2827. Is o at most 0.1056?
True
Suppose 0 = 5*f + 30, -3*b = -2*f + 7*f + 21. Suppose -d + 24 = 2*u, 5*u - 5*d - 15 - 15 = 0. Let x be (16/u - 3) + 3. Which is smaller: b or x?
x
Let r = -7460 + 7380. Is -96 bigger than r?
False
Suppose -b + 3*k = -219, b - 2*k = 51 + 169. Let s(a) = a**3 - 43*a**2 - 85*a + 2027. Let m be s(44). Which is smaller: m or b?
b
Let w be (-3)/((-42)/(-4)) + 9270/105. Suppose -152 = 10*b + w. Which is smaller: b or -27?
-27
Let j = -259 - -257.81. Let n = -0.14 + 1.16. Let w = j + n. Is w less than or equal to 0?
True
Suppose r - 6*r = 155. Let s = -16 - r. Suppose -i - 6 = s. Which is greater: -22 or i?
i
Suppose 0 = 19*g - 16*g + 90. Let i be 14/g + 39/(-195). Which is smaller: i or -0.299?
i
Let c(p) = -p**3 + 16*p**2 + 127*p + 110. Let d be c(22). Do d and -2/10369 have the same value?
False
Let t be (-2 + (-5)/(-1))/(21/385). Let p = -17 + t. Let x = p - 39. Which is greater: x or -2/27?
-2/27
Let r be 0 + (1 - (-82)/(-2)). Suppose 49*m = 63460 - 65518. Which is smaller: m or r?
m
Let f(l) = -9 + 15 - 1 - 6 + l**2 + 2*l. Suppose -j = 5*r + 29, 0*r - r - 25 = 5*j. Let a be f(r). Which is greater: a or 1?
a
Let z = -186 - -183.12. Let g = z + 2.78. Which is greater: g or 43?
43
Let f(l) = l**3 - 86*l - 31. Let n be f(-9). Is n equal to 426/29?
False
Let x(h) = -7*h - 19. Let l(n) = -6*n - 19. Suppose 3*b + 10 = -4*i, 0 = -2*b - 0*b - 4*i - 12. Let f(o) = b*x(o) - 3*l(o). Let s be f(-5). Is 11/2 > s?
True
Let p = 0.46 + -0.33. Let j = p + -3.63. Let x = j - -3.5. Which is bigger: -38 or x?
x
Let r = -28.979 - -29. Let p = r + 30.979. Let h = p - 30.96. Which is smaller: -1/6 or h?
-1/6
Let l = -918 + 504. Let y be -4 - l/24 - (-1 - 1). Which is smaller: y or 16?
y
Let i = 34 - 34. Suppose -28 = -11*h + 5. Suppose i = -9*o + h*o - 72. Which is bigger: -13 or o?
o
Let i = 71.5 + -103.3. Let v = -64 - -32. Let g = v - i. Does 6 = g?
False
Let u(o) = o + 10. Let w be u(-5). Suppose 0 = -21*n + 16*n + w. Let x = -6 - n. Are -14 and x equal?
False
Let f(q) = 16*q - 464. Let x be f(13). Which is smaller: x or -251?
x
Let x(a) = a**2 + 31*a + 240. Let g be x(-13). Suppose -2*q = 2*s - 6, -2*q - 13 - g = -3*s. Is q not equal to -21/16?
True
Let r be (-6)/1 - (-228 - -1). Let o be 3/36 + r/(-2940). Which is smaller: -1 or o?
-1
Let i be 20/2*(-6)/(-15) - 101. Let x = i + 94. Let n be 2/11 - (255/11 + x). Is n > -16?
False
Suppose 0 = -h - 0 + 4. Suppose -h*p = -3*r + 3, 2*r = 4*r + p - 13. Suppose -2*m = -2*j - 18, 3*m = -3*j + 4*j + r. Is j greater than -12?
True
Let u = 1316 - 1316. Is -6/1567 less than or equal to u?
True
Let t = 6 + -5. Let z = 6/24301 - -24271/121505. Which is smaller: z or t?
z
Let j be 48/312 - ((-45)/65)/((-4156)/925). Which is smaller: 1 or j?
j
Let d = -256 - -361. Suppose 2*g - d = -4*w - 13, -2*w = 5*g - 270. Suppose 5*m = 7*m + g. Is -27 bigger than m?
True
Let l(v) = -718*v + 53. Let h be l(1). Is h at least as big as -664?
False
Suppose 82964 = 293*z + 304*z - 590*z. Which is bigger: 11851 or z?
z
Let m be 8/(0 + 2/(-1)). Let l be -1 + 15/(-20)*m. Let z = 2 - l. Which is bigger: z or -1?
z
Let g = 592 + -529. Let q be (g + -65)*(-10)/106. Do q and 0 have the same value?
False
Let v = -17.363 - -17.063. Is v at least 394?
False
Let d = -17344.606 + 17345. Is d at least 2/5?
False
Let y be (-2)/44*-16*2. Let s = 779942/7 + -111420. Which is smaller: y or s?
s
Let i = -30611 + 44303. Is 13693 at most as big as i?
False
Suppose 3*s = -0*s - x + 57, 57 = 3*s - 5*x. Suppose s*r = 14*r - 220. Which is bigger: -42 or r?
-42
Let u = 143 - 142.7. Let d = -111 - -102.1. Let k = d + 9.9. Is u not equal to k?
True
Let y(m) = 2*m**2 + 28*m + 32. Let x be y(-13). Suppose -f = -x*j + 3*j + 38, -2 = j - 4*f. Which is smaller: j or 5?
5
Let k = 569 - 566. Suppose 0 = -k*p - 43*p + 8096. Are p and 174 unequal?
True
Let x(f) = -369*f + 186*f + 185*f - 40. Let v be x(5). Let n = -95 - -67. Is v at most n?
True
Let s = 1/932064437 - 24038873899112/4143026422465. Let d = s + 2/889. Which is smaller: d or -7?
-7
Suppose -3*z = z. Suppose 24*d + 24 = 32*d. Suppose 3*q - 16 = i, 3*i - q = d*q - 28. Is z less than i?
False
Let f = -0.0531 + -441.9469. Let t = f + 446. Is t greater than 0.05?
True
Let i = -438 - -449.27. Let c = i - 0.27. Let g = -21 - -21.2. Which is greater: g or c?
c
Suppose -43 = 13*i + 30*i. Which is smaller: i or 0.753?
i
Let m = -6031771/1133 + -3887/103. Let b = -5366 - m. Which is smaller: b or -4?
b
Let c be 2/8 - (-359)/4. Let t(i) = -2*i**3 - 3*i**2 + 6*i - 16. Let h be t(3). Let y = h + c. Which is smaller: y or 9?
9
Suppose 127 - 467 = -17*f. Suppose b - 5*j + 46 = -0*b, 3*b = 5*j - 128. Let u = f + b. Is u < -19?
True
Let w(a) be the second derivative of a**4/12 - 9*a**3/2 - 62*a**2 - 2*a + 30. Let b be w(31). Which is smaller: -1/19 or b?
-1/19
Let v = 0.063 - 84.063. Let t = -85 - v. Let j = 11.9 - -0.1. Which is smaller: t or j?
t
Let g be 12 + (27468/256)/(-9). Let z = -13 + 13. Which is smaller: z or g?
z
Let k = 2.04 + -2. Let g(l) = l**3 - 155*l**2 + 108*l + 7072. Let t be g(154). Is t < k?
True
Let i = -3528 - -4892. Is i >= 1364?
True
Let y = 0 + -1. Let k = -5387 - -5389.6. Is y smaller than k?
True
Let x = -587.5 + 584.1. Let i = 0 + 0.2. Which is smaller: i or x?
x
Let f = 2277518/15 + -151764. Is 70 >= f?
False
Suppose -4*b - 11 - 17 = 0. Let d = b + 5. Let y = 46/49 + 845/196. Is d greater than or equal to y?
False
Suppose 79 - 31 = -12*u. Let d be (-5 + (36 - u))*-1*3. Which is smaller: d or -311/3?
d
Suppose 7 - 12 = 6*c - 35. Let m be (9/(-12))/(3/(-17)). Which is smaller: m or c?
m
Let b(y) = 4*y**2 - 2*y - 8. Let k be b(-6). Suppose -2*h = -0 + k. Let c = -3025 - -2951. Is h less than or equal to c?
True
Let b be 2/6*0*(-6)/12. Suppose b = i + 6*i - 7. Which is smaller: i or -1/461?
-1/461
Suppos