
v
Let x = -0.1577 + -758.8423. Let w = x + 759. Which is bigger: w or -9/5?
w
Suppose 1752*m - 1754*m = -482. Is m < -1/13?
False
Suppose 3*j - 45 = -3*v, -12 - 35 = -3*v - 4*j. Let y = v + -13. Suppose -2*l = h + 62 - 15, -h - 1 = y. Is -23 != l?
False
Let g(u) = u - 183 + 189 - 2*u. Let c be g(4). Let p be (c/8)/(54/(-8)). Which is bigger: 0 or p?
0
Let r be 2/17 - 1018/(-17). Let a = r + -56. Suppose 4*k = 3*s - 9, -3*s + a*k = -5*s - 14. Which is smaller: s or 5?
s
Let q be ((-1)/(-9))/(-57*171/179496) - -2. Is -1 smaller than q?
True
Let y be ((-6)/43)/((828/240)/(-69)). Which is smaller: y or 3?
y
Let h = -107 + 215/2. Let f = 121/6 + -20. Let k = f - h. Which is smaller: 0 or k?
k
Let l = 3220 + -3219.8. Let b = -4 + 1. Which is smaller: b or l?
b
Suppose 2*a - 817 = -r, 0 = -3*a - 49*r + 52*r + 1230. Which is smaller: a or 2041/5?
2041/5
Let o be ((-2)/(-4))/((-178)/8). Let r(t) = -t - 3. Let a(d) = -11*d - 79. Let h(m) = a(m) + 4*r(m). Let i be h(-6). Is i < o?
True
Let r(u) = -2 - 2*u + 15*u**2 + u**3 - 57*u**2 + 43*u**2 + 4. Suppose -10 = 4*j - 2*g, -j - 4*g - 10 = j. Let p be r(j). Which is smaller: p or -8?
p
Let b = -49 + 54. Suppose b*z + 5*a - 2168 + 718 = 0, -5*a = -2*z + 545. Which is smaller: z or 286?
z
Let t be 3 + 8/(-128) + -6 - -3. Let c(z) = -z**3 - 6*z**2 + 7*z + 1. Let r be (0 + 2)/((-2)/7). Let o be c(r). Is t <= o?
True
Suppose -a - 2*f + 30 = 15, 0 = 4*a - f + 12. Which is smaller: -3/20531 or a?
a
Let p be -1 + -4 + 176/60. Let o be (-8)/6 + (-9)/(26 - -1). Let f = p - o. Which is smaller: f or -1?
-1
Let h(u) = 2*u - 10. Let x be h(7). Let g be 13 - 6 - (-1 + x). Is 60/13 bigger than g?
True
Suppose -5*f = -20, 5*g - 4*f = 19 - 5. Suppose 449 = 3*h + 434. Let l be (4/30)/((-4)/h). Which is bigger: l or g?
g
Let g be -1 + 7 - (3 + -5). Suppose 0 = -g*h - 615 - 113. Which is smaller: h or -93?
-93
Suppose -600 + 576 = -3*h. Suppose -5*u + h*u + 3*r = 21, -5*r = 0. Which is smaller: 31 or u?
u
Let l be (1/((-14)/12))/((-34546)/(-322)). Which is smaller: 0 or l?
l
Let h be (-5*8/(-5040))/((-14)/8 + 2). Is -13/4 < h?
True
Let u = -32.763 - -0.063. Let r = 21.7 + u. Is -1/42 less than r?
False
Let y be (-3)/6*2/(-4778). Let a = y - 26307/133784. Let q = 4/7 + a. Which is smaller: -1 or q?
-1
Suppose 0 = 3*l - 2*k + 124, 5*l + 332 - 100 = -3*k. Let c(y) = 9 + 17 + 5*y + 25 - 15 + 24. Let t be c(-21). Which is greater: t or l?
l
Let q = -25575 - -25679. Which is bigger: q or 75?
q
Let c = 1445467 - 3464778778/2397. Let w = c + 26/141. Which is greater: 4 or w?
4
Suppose -4*w + w + 16 = h, 4*w = -5*h + 3. Let l = w - 6. Let m = l - -3. Which is smaller: m or 5?
m
Let x = 7979/55 - 1598/11. Which is smaller: x or -4.38?
-4.38
Suppose 5*t = -3*g + 15, 2*g + 3*t - 5 = 6. Suppose -4 = -6*d - g. Which is smaller: -1/95 or d?
d
Let b(o) = o**2 - 49*o - 1447. Let y be b(-20). Let h(n) = -3*n**2 + 8*n - 6. Let g be h(6). Is y equal to g?
False
Let i(c) = 133*c**2 - 81*c - 389. Let o be i(-5). Which is smaller: 3340 or o?
3340
Suppose -60*x + 93*x - 465794 = -65*x. Is 4752 bigger than x?
False
Suppose 2*b = 19*b - 34. Suppose 5*u - 102 - 103 = 4*x, 5*u = -b*x - 95. Which is smaller: x or -47?
x
Let a(d) = -2*d + 26. Let z be a(-5). Suppose -11*r + z = -140. Is r bigger than 1?
True
Let b = -4016387/180198 + -35/3834. Is -22 at most b?
False
Let p(y) be the third derivative of -y**4/12 + 2*y**3 - 2*y**2. Suppose 4*h + 3*r - 27 = 0, 46*h - 43*h = -r + 19. Let x be p(h). Which is bigger: x or 5/11?
5/11
Suppose 0 = -4*y - 4*t + 156, t = -2*y + 3*t + 66. Suppose -5*k + 9*k - 88 = 0. Let o = 57 - k. Which is bigger: o or y?
y
Let i = -13586 - -13585. Which is bigger: -24/1631 or i?
-24/1631
Let a be 3723/(-57) + (-45)/9. Suppose 0 = -5*x - 264 - 86. Let y = x - a. Which is greater: -1 or y?
y
Let q be 515516/483 - 20/(-30). Let k = -1068 + q. Which is bigger: k or -1?
k
Suppose 34857 = 29*f - 3510. Which is smaller: f or 1322?
1322
Let w = -10203 + -3354. Let y = w - -13814584/1019. Do 1/2 and y have the same value?
False
Suppose 4871 = -38*q - 1302 - 2263. Which is bigger: -229 or q?
q
Let o(y) = y**2 - 27*y - 3. Let a be o(-25). Suppose -a*m = -1305*m. Which is bigger: m or 86?
86
Let u = 1465301.2 + -1465301. Let b = 17 + -17.031. Which is smaller: b or u?
b
Suppose -67*m + 1821 + 9002 = -4453. Which is bigger: 1 or m?
m
Let z(b) = b**2 + 17*b - 67. Let d be z(0). Let t be (2 + (-4)/(-6))/(d/1206). Which is smaller: t or -47?
t
Suppose -42*o = -33*o - 41*o - 32. Which is smaller: o or 8/503?
o
Suppose 11214 = -48*z - 18738. Let v = z + 693. Which is smaller: v or 65?
65
Let a be 1*-3*13/(-19) - 1. Let g = 56 - 50. Suppose 0*u = -6*u - g*u. Which is smaller: a or u?
u
Suppose -5*g = -4*w + 25, -5*w + 2*g + 10 = -3*w. Suppose 9*n + 67 + 428 = 0. Let v be 1/(-4) - (n/10 - -5). Which is bigger: v or w?
v
Let u = 414 - 225. Let h = u + -2456/13. Do h and 0 have different values?
True
Suppose 4*t + 12 = 3*f, 0 = -5*f - 4*t + 1133 - 1113. Is 168/59 greater than or equal to f?
False
Let a = -11887/5 + 630256/265. Is 2 equal to a?
False
Let w = -1/33 - -29/231. Let l = -145 + 146. Let k be ((-4)/(-24)*2)/(l/(-3)). Which is smaller: k or w?
k
Let u be (2300/(-161))/(-25) + (-1130)/287. Which is smaller: u or -2?
u
Let h = -327 - -278. Let v = 39 + h. Let z = -0.11 + 0.01. Is v >= z?
False
Let k = 243 + -84. Suppose 3*x + 5*r - 241 = 0, 0 = -x - x - 3*r + k. Let c be x/(-14) - (-2 - 0). Are c and -4 non-equal?
True
Let p = -16.344 + 16.2. Let l = 48.856 - p. Is l not equal to 1?
True
Let z = -0.0253 + 0.0253. Let p = -17 - -16.9. Let n = 1.5 - p. Does n = z?
False
Let j = 206.96763 - -0.03237. Does j = -6?
False
Let k = 519 + -841. Let p = k - -293.6. Let z = p + 28. Is z bigger than 8?
False
Let t be (-5)/((-45)/6)*9/3. Suppose 54 - 50 = t*p. Let b be p + (-12)/(-18) + -2. Is b <= -4?
False
Let f = -7790 + 7789.912. Is -26 < f?
True
Suppose 77032*j = 77044*j + 24. Let a = -168524/224137 - 12/4229. Which is smaller: j or a?
j
Let u = 80.9444 - -3.0556. Which is bigger: u or 19?
u
Let d be (-2919 + -6)/5*1/(-3). Suppose -5*p - d = r, p = -52*r + 57*r + 1079. Is -215 at most r?
True
Let i be (15/(-18))/((-1)/6). Suppose 0 = -0*n + i*n - 370. Let f be 2/(-32)*n + -4. Is -10 greater than f?
False
Let m be 0 + 15 - (-5)/5. Let v be 8/m - 6/(-4). Let p be (-230)/(-660) - 4/22. Which is greater: v or p?
v
Let q(p) = 3*p + 23. Let g be q(-3). Suppose -56 = 4*j - 2*a, -3*a - g = 24*j - 23*j. Which is smaller: -15 or j?
-15
Suppose 0*n = -40*n - 9*n - 1274. Which is smaller: -226 or n?
-226
Let r(b) = 676*b - 5605. Let w be r(9). Is w at least 476?
True
Let h = 248 + -247. Let i be 9 - (9 + -1)/h. Is 1/536 smaller than i?
True
Suppose 0 = 8*p - 78 - 90. Is 59/3 at least as big as p?
False
Let u be 1*5/(2 - -3). Let a be (2 - u)/((-12)/9*-3). Are -1.05 and a non-equal?
True
Suppose -118 = -89*g + 3442. Is g at most 61?
True
Let s(j) = 5*j - 6 - 11 - 6 + j + 2. Let d be s(-31). Which is smaller: d or 0?
d
Let f(j) = -2*j**3 + 8*j**2 - 8*j - 4. Let k be f(4). Let i = 42 + k. Let g be 190/616 - i/21. Which is greater: g or -1?
g
Suppose -66 - 39 = -7*l. Let u be 9*(-6 + 100/l). Which is greater: -5 or u?
u
Let j = 3.2973 + -3.2073. Are 367 and j equal?
False
Suppose 11*l = -402 + 358. Which is greater: -127/30 or l?
l
Suppose -110*g - 187614 = -103*g. Let c = g - -401882/15. Which is smaller: 0 or c?
c
Let w(g) be the second derivative of -11*g**3/6 - 73*g**2/2 - 67*g. Let c be w(-7). Is 2.1 > c?
False
Let t = -27712 - -27768. Which is smaller: t or 239?
t
Let x be 9*(-8 + ((-66)/(-18) - -5)). Which is smaller: x or 49?
x
Let g(p) = -6*p - 9 - 4*p**2 + 10 - 9 - 15. Let q(m) = 11*m**2 + 19*m + 69. Let k(n) = -8*g(n) - 3*q(n). Let f be k(-7). Which is greater: -7 or f?
-7
Suppose -4*y = 4*u + 328, -12 = -u - 4*y - 100. Suppose -2*l - 3*a + 209 = 0, 8*a = 2*l + 3*a - 249. Suppose 4*m - l + 432 = 0. Is m at least as big as u?
True
Let j(s) = -2*s**2 + 35*s - 47. Suppose -36*q + 352 = -14*q. Let z be j(q). Is 16/19 at least as big as z?
False
Let m be (-4)/10 - (34/(-10) - 1). Suppose -19 = m*n + 77. Which is greater: -22 or n?
-22
Let z be 1066/(-4123) + 22 + 2280/(-105). Which is greater: 0 or z?
z
Suppose 192 = -j + 496. Let b be (184/460)/((-8)/(-6100