se
Let c = -35.73 + -5.47. Let l = 41 + c. Which is smaller: l or -31?
-31
Let q = -65296 + 588668/9. Which is smaller: q or 112?
q
Suppose -4*u + 1 = -71. Suppose 29*n - 24*n = 101080. Let s be (-6)/4*(n/(-57))/28. Does u = s?
False
Let f = 277 - 320.3. Let g = 27.3 + f. Is g greater than -1/2?
False
Let u be (12/(-513))/1*(-7)/(140/3). Which is greater: u or 1?
1
Let m(y) = y**3 + 33*y**2 + 158*y + 51. Let u be m(-28). Is u bigger than -453?
False
Let j = 8.497 - -0.193. Let d = j - 8.6582. Which is bigger: 0.1 or d?
0.1
Let c(y) = y**3 - 7*y**2 - 6*y - 11. Let p = -35 - -43. Let t be c(p). Suppose t*i = -5*w + 135, 0*i + i = w - 19. Is 23 at most w?
True
Let y(s) = 2*s**2 + 8*s + 12. Let d be y(-3). Suppose 5*c - 11 = -d*c. Is 56 at most c?
False
Let w = 21.7 - 21.495. Let p = 0.205 - w. Which is smaller: p or 149/6?
p
Suppose -1 = -i, -2*t - 12*i + 8*i + 28 = 0. Let p be t/(-105)*(-15)/6. Which is smaller: p or -85?
-85
Suppose 0 = 5*g - 3*d + 428, -d = 2*d + 12. Let r = 86 + g. Let j = 43/7 - 221/28. Is j at most as big as r?
False
Let x be (2/7 - (-600)/105) + (-299)/52. Are -1/439 and x unequal?
True
Let w be (84/728)/((-24)/(-104)) - (-10)/(-92). Let l = 2 - 3. Is l < w?
True
Suppose -300 = 17*f + 3*f. Let i be (f/(-2))/(((-741)/104)/(-19)). Suppose 0 = 5*o - 10 - 95. Which is greater: o or i?
o
Let j = -252 + 356. Let s be 54/j + (-68)/(-16) + -4. Which is bigger: s or 2?
2
Suppose 2*o + 185 + 163 = -3*t, -4*o + 5*t = 674. Which is smaller: -167 or o?
o
Let w be 64 - ((-7)/2 - 8/(-16)). Suppose -76*h = -w*h - 117. Is h at most 12?
False
Let z be (-2)/(1*(-9)/(-7) - 1). Let d(a) = a**3 + 8*a**2 + 13*a + 42. Let q be d(z). Are 7 and q equal?
False
Suppose -g = -t - 12 - 5, -8 = 4*t. Let y be (((-27)/g)/(-3))/((-1)/(-45)). Is 29 > y?
True
Let y = 0.647 + -691.647. Let w = y - -748. Which is bigger: -1 or w?
w
Let o(h) be the second derivative of 2*h**3 - 32*h**2 + 11*h + 4. Let c be o(5). Which is greater: 31 or c?
31
Let m(y) = y**2 - 16*y - 49. Let s be m(24). Suppose 6*i - 20 = i, 5*u - s = -2*i. Is u greater than or equal to 27?
True
Let r = -3940 - -3998. Let p = 1.23 - 18.33. Let g = 17 + p. Which is bigger: r or g?
r
Suppose -5 = -3*q + 2*q. Let t be (-3 + q)/(0 + -2). Let u be -1*(2 - t) - -8. Is -1 > u?
False
Let u = -2/102197 + -381858/1376082605. Are -1 and u equal?
False
Suppose -11*f + 20*f + 1836 = 0. Let y = f - -241. Which is bigger: 2 or y?
y
Let h = -216268 - -1918513430/8871. Which is greater: h or -1?
h
Let c(g) = -g**3 - 3*g**2 - 2*g + 2229. Let z be c(0). Let b be ((-201)/108 + 2)/(1/z). Let i = b + -310. Is i at most 0?
True
Let s = -7369.9 + 7978. Let m = 608 - s. Let k = 33 + -166/5. Is k bigger than m?
False
Let m be 1/(-1) + 54168/(-53). Let s be -2046*(-2)/6*(-9)/(-6). Let c = s + m. Is -1 greater than c?
False
Let j = -573 - -519.9. Let v = -53.11 - j. Let q = 3 + -2. Which is greater: v or q?
q
Suppose 5*s + 4*y - 758 = 0, -11*y - 477 = -3*s - 6*y. Let x be (-44)/s - (-2332)/8456. Is x < 0?
True
Let k be (17/(-16))/((-2)/2056). Let p = -2197615/2012 + k. Is p <= 0?
True
Let c be 7 + 0/(-6) - 3/(-6)*-4. Is -176 smaller than c?
True
Let c be (-207)/(-48)*-2*3600/(-1350). Let t = 1 + -1. Suppose 5*f - 5*x = 105, t = -4*f + x - 20 + 110. Do f and c have different values?
False
Suppose 3*j - v + 659 = -58, 3*j + 726 = 4*v. Let g = j + 237. Is g at most as big as -2/5?
True
Suppose 19897 = -3*s + 4*h, h + 19862 = -326*s + 323*s. Which is greater: s or -6624?
s
Let m(n) = -27178*n**3 - 6*n**2 + 5*n - 5. Let w be m(6). Let f = w + 47851576288/8151. Let z = f + -2/741. Which is smaller: z or 0?
z
Let m = 156.45 + -158.45. Let j be (1/(-2))/((-12)/(-129)). Is j at most as big as m?
True
Let u be (-2938)/404 + (-1482)/(-228). Is u smaller than -1?
False
Let y be 4/((-6)/(-15) - 0). Suppose -9*m + y = 1. Which is greater: m or -92?
m
Let r = -364 + 1983. Which is smaller: 1617 or r?
1617
Let f(n) = 517*n + 6204. Let g be f(-12). Is 2/8415 less than or equal to g?
False
Let y be (-85)/(-68) - 50/8. Let j(z) = -9*z + 145. Let h be j(y). Which is smaller: 192 or h?
h
Let x be 9804/(-9)*27/(-6). Let m be (-16)/(-2) - x/513. Which is greater: m or -1?
-1
Let u = -21796 - -21796.1. Which is smaller: 1037 or u?
u
Let c = -8.02404 - -0.02404. Is 282 bigger than c?
True
Suppose 0*b - 99 = -9*b. Let n be (-20)/(-3) - b/(-33). Let a be (2/n)/(8/28). Is a greater than 1/27?
True
Let y = 2920 + -2916. Which is bigger: y or -566?
y
Suppose a + 3*o + 12 = 0, -3*a + 5*o = -4*a - 20. Suppose -b - 2*f - f + 3 = 0, -3*b + 2*f - 2 = a. Is 0 bigger than b?
False
Suppose -5*c - 3*n = -85, 3*n - 5*n + 10 = 0. Which is smaller: 12 or c?
12
Suppose -676*f = -686*f + 7090. Let h = f + -424. Which is greater: h or 286?
286
Let w be 17/(34/6376) - (7 + -9). Which is smaller: 3189 or w?
3189
Let a(x) = 84*x**3 + 5*x**2 - 7*x + 9. Let t(d) = -42*d**3 - 2*d**2 + 3*d - 4. Let n(b) = -3*a(b) - 7*t(b). Let u be n(1). Which is bigger: u or 40?
u
Let m = -5669 + 5806. Which is bigger: m or 139?
139
Let t = -434.4 - -196.4. Does 0.3 = t?
False
Let b(y) = -y + 1. Let q be b(0). Suppose 4 = 5*v - 2*m - q, 4*v = 4*m + 16. Let a = 138732 - 138729.5. Does v = a?
False
Suppose 11*i - 18 = 2*i. Suppose 0 = -i*z + 2 - 0. Does z = 2/445?
False
Let a = -160.1 + 167. Let l = 16.1 + a. Let w be (-38)/(-72) + (-21)/28. Which is bigger: w or l?
l
Suppose 108 = 3*l + 135. Let i(o) = o**3 + 8*o**2 + o + 35. Let g be i(l). Which is smaller: g or -109/2?
g
Let v be (-22850)/(-75) - (-1)/3. Let s be v/(-20) - 4/(-16). Are -12 and s nonequal?
True
Let l be ((-3)/(-6))/((-2)/(-16)). Suppose a = -l*o + 5, -3*o + 20 = -5*o + 4*a. Let j = 34469/43080 + -1/8616. Is o less than or equal to j?
True
Let u = 195 + -15012/77. Suppose 20*i + 83*i - 9*i = 0. Which is smaller: u or i?
i
Let y be 26 + 15 + (-11852750)/289094. Does -1 = y?
False
Suppose 10*m = 4*t + 8*m + 986, -3*t - 2*m = 743. Are -245 and t unequal?
True
Let s(z) = -4*z**2 + 2*z - 3. Let u(h) = h**2 - 10*h + 23. Let q be u(7). Let d be s(q). Which is smaller: -43/3 or d?
d
Let w = -14946.1 + 14945. Is w smaller than 224?
True
Let u be 3/(-21)*-81*1. Let n be (-9 + (-2 - 8 - -6))/(-1). Is n > u?
True
Suppose s - 693 = 2*g, 4*s = -9*g + 13*g + 1392. Let z = g - -2761/8. Are z and -11 nonequal?
True
Let p = -19298 + 19283.8. Which is smaller: p or 5?
p
Suppose -11*j + 64158363 = -215578501. Let y = 254280809701/9999 - j. Let i = -2/909 + y. Is 0 > i?
False
Let b(l) = l**2 + 2*l. Let v be b(-4). Suppose 2*r + 3*m - v = 28, 2*m = -2*r + 38. Let a be (174/232)/((-2)/(-56)). Is a at least as big as r?
True
Let w = 2278 - 236. Is w >= 2042?
True
Let u = 17 - 28. Let d be 79*((-60)/(-16) + -4). Let m = d - -41/4. Is u != m?
True
Let h = -23/78 - -79/1326. Which is smaller: -1 or h?
-1
Suppose 0 = -3*x + 4*s + 38 - 59, 0 = -2*s. Which is bigger: -302/45 or x?
-302/45
Let w(v) = -121*v - 350. Let m be w(-5). Is 1021/4 equal to m?
False
Let o(a) = -2*a**3 + 5 - 6*a**2 + 7*a + 32*a**2 + 4 - 11*a**2. Let v be o(8). Which is smaller: -2/21 or v?
-2/21
Let b = 1.3146 + 4036.6854. Is b greater than or equal to -1?
True
Let b be -2*4114/(-12) + 6/(-9). Suppose -z + b = 5*j, z + z = 0. Suppose 0 = 135*k - j*k. Which is bigger: k or -12?
k
Let o be 144265/77 - ((-34)/14 - -3). Are o and 1872 equal?
False
Let j(b) = 2*b + 24. Let w be j(-11). Suppose -2*m = -w*q - 138, 2*q - 5 = m - 74. Let k = m + -77. Are -4 and k non-equal?
True
Let a = 3.34 + -42.28. Let v = a + 39. Let g = 0.16 - v. Which is bigger: g or -13?
g
Let m = 3515 - 3515. Let v = -0.0996 + 4.2296. Which is bigger: m or v?
v
Let l = -140.969 - -141. Let o = -2.031 + l. Which is bigger: o or 24?
24
Suppose 32 = -13*y + 17*y, 4*t + 4*y + 772 = 0. Which is smaller: -2618/13 or t?
-2618/13
Let k = 272/57 + 38263/570. Is k <= 73?
True
Let a(x) = -x**2 + 5*x. Let z be a(8). Let k be (-42)/(-4)*z/(-36). Suppose 12 = k*n + 40. Is -14/3 <= n?
True
Let f be 11/(-22) - 1401/6. Let a = -215 - f. Which is smaller: 22 or a?
a
Let q(l) = l**2 - 9*l - 397. Let w be q(25). Which is greater: 523 or w?
523
Let z be (32/12*(-50)/4325)/(-1). Which is smaller: 0 or z?
0
Let j(w) = w**3 + 3*w**2 - 36*w + 250. Let f be j(14). Let z be (3090/f - 1)/((-1)/(-1)). Is 1 greater than z?
True
Suppose 0 =