 Which is smaller: 7/5 or u?
u
Let d = 19566 - 10847. Is d < 0.1?
False
Suppose -q + 11 = 4*g, q = 5*q + g + 1. Let f = -46 - -20. Let o be (-4)/f + (-296)/(-104). Which is smaller: q or o?
q
Let b = -1493 + 4009. Is 2516 smaller than b?
False
Let p = 25114 + -33831. Is -8718 bigger than p?
False
Let p = 87 - 102. Let h(v) = -v**3 + 7*v**2 + 7*v - 3. Let f(i) = 1. Let d(a) = 2*f(a) + h(a). Let x be d(8). Which is greater: p or x?
x
Suppose -t - 20 + 33 = -a, 20 = 5*t. Let z be 330/(-99)*a/55. Is z greater than or equal to -3?
True
Suppose 5*a + 18 = 3*g + 7*a, -5*a - 23 = -g. Suppose 63*y + g = 59*y. Is y smaller than -57?
False
Let x = 318.978 - 0.978. Let p = x + -318.8. Which is bigger: -0.071 or p?
-0.071
Suppose 16692 - 3805 = -49*v. Which is bigger: 0 or v?
0
Let q = -239 + 244. Let x be 885/(-10)*2/(-3). Suppose -q = -m - x. Which is smaller: m or -53?
m
Let b = -5007 + 5507. Is 499 at most b?
True
Let x = -216 + 124.84. Let t = 1.16 + x. Let b = 94 + t. Is -2 equal to b?
False
Let x = 1/56 + -643/32872. Which is bigger: 1 or x?
1
Suppose 0 = 111*u - 113*u - 72. Let y be (-76)/16 + u/(-48). Is -27/8 greater than or equal to y?
True
Suppose 3*v + 14 = 4*q, 3*q + 4*v = -2*q + 33. Suppose -t - y + 3 = -2, -10 = q*y. Suppose 4*a - 691 = 4*w - 727, 0 = -3*w + 5*a + 29. Which is greater: t or w?
w
Let h(o) = 2*o - 2. Let p be h(4). Suppose -m + 4 = p*g - g, g = m + 2. Let z be (-14)/(-84)*1 + 11/42. Are z and m unequal?
True
Let c = 2023440/161 + -12568. Which is smaller: 1 or c?
c
Let p be (-25)/(-150) + (-89)/(-6). Suppose -9*w + 129 = -p. Which is bigger: w or 11?
w
Suppose -3*q + 3326879 = p, -2*q - 2*p - 3*p + 2217928 = 0. Let i = 449127068/405 - q. Let r = 10/81 - i. Is 2 smaller than r?
True
Let p = 351 + -371. Let s = p - -12. Is s greater than -0.04?
False
Let l = -124.877 + -0.123. Let w = l + 125.3. Is w at least as big as 18?
False
Suppose 995 = 4*o - 5*b, -o + 5*b + 230 = 10*b. Let p = o - 301. Which is smaller: p or -58?
-58
Let o(c) = -62*c - 1614. Let i be o(-26). Which is smaller: -44/17 or i?
-44/17
Let x = 71 + -88. Suppose -2*i = -3*o - 64, o - 3*i = -o - 41. Which is smaller: o or x?
o
Suppose 0 = 2*t + 4*x - 8, -t = 2*t + 5*x - 15. Let m(c) = c**3 + 17*c**2 + 19*c + 51. Suppose 6*r + 27 = 4*r - 5*v, -4*r - 5*v = 59. Let d be m(r). Is t > d?
True
Let i = 52 + -19. Suppose -15 - i = -3*w. Suppose -46 = -5*b - w. Is b smaller than 0.2?
False
Suppose 70*l + 96764 = 2*l. Is -1422 < l?
False
Let z = 21 + -53. Let h = -30 - z. Suppose h*c + 4*i = -18, 3*c - 2*i + 1 + 10 = 0. Which is bigger: -4 or c?
-4
Suppose 5*x - 33 + 23 = 0. Suppose 4*q - 8 = x*k, 25 = 4*q + 5. Let c be (k + 9)*(1 - 122/110). Which is smaller: c or -1?
c
Let r(a) = 98*a + 56. Let n be r(-5). Is n at least as big as -2?
False
Let i be 130/(-104) + ((-126141)/(-24036) - 4). Is i less than 0?
True
Let k = 254.0399 - 254. Let l = 0.0489 - k. Is 0.06 smaller than l?
False
Let g = 60 + -76. Let f = g - -16. Is 1/26 != f?
True
Let m = -155 - -147. Let w(b) = b - 2. Let g be w(5). Let f be m/(-4) + g/((-18)/15). Which is smaller: f or 0.17?
f
Let h = 407/21 - 138745/7161. Let a = h + 291/8525. Suppose -3*b - 16 = 4*z, 2*z - 4*b = -2*z + 12. Are a and z nonequal?
True
Suppose -21*a + 9 = -3*n - 18*a, -5*a + 15 = 0. Which is smaller: n or -8/923?
-8/923
Let c = 1075.8 + -1382.8. Which is smaller: 2/17 or c?
c
Suppose 1074 = 3*z - 5*z - c, 5*z + 2663 = 3*c. Let s = -2677/5 - z. Which is smaller: 23 or s?
s
Let h(c) = -291*c - 1941. Let b be h(-25). Is 5334 at most b?
True
Suppose 18 = 4*x - 98. Let n = 15232 - 15199. Which is smaller: n or x?
x
Let x = -14951 + 14951.22. Is -3.2 at least x?
False
Let z = -3392 + 3258. Which is smaller: -138 or z?
-138
Let n be (((-10)/35)/(-1))/((-32)/(-3)). Let x = 3 + -4. Are x and n unequal?
True
Let c(x) = -x**3 - 11*x**2 - 5*x - 52. Let w be c(-11). Let m = 7702 - 115636/15. Let f = -238/45 - m. Which is greater: w or f?
w
Suppose 0 = -2*r, -5*r = g - 0*g - 2. Suppose -q + 12 = q + g*y, -2*q - 3 = -y. Which is greater: q or 2/579?
q
Suppose 17*t - 22*t = 785. Is t at least as big as -165?
True
Let n(w) = -2*w + 13. Suppose 4*j - 1 - 15 = 0. Let b be n(j). Suppose b*i = 2*h + 14, i + h = -2*h + 13. Which is greater: i or 7?
7
Let o = 111.9 - 114.9. Let f = 0.52 + -0.5. Is f less than o?
False
Let k = -932 - -17714/19. Let j = 15.904 - 15.804. Do j and k have different values?
True
Let g(j) = -5*j**2 - 7*j - 31. Let t be g(-4). Which is greater: 0.1 or t?
0.1
Let z = -14968427/41374260 - -2/121689. Let d = -7/17 - z. Let w(q) = -q**2 - 60*q - 372. Let n be w(-7). Which is smaller: d or n?
n
Suppose 5*y - 2*c + 52282 = 0, -5*y - 15*c + 12*c - 52252 = 0. Is -10455 at most as big as y?
True
Let o be ((-6)/33)/(-2) + (-10)/(-11). Is -3/16 < o?
True
Let d be 125 + (-6)/(12/(-10)). Let x = 124 - d. Let c be -10*(-11)/x + (-26)/39. Which is greater: -23 or c?
c
Let j = -36317/10 + 3632. Is -2/9 smaller than j?
True
Suppose 14*r - 7*r = 35. Suppose 0 = x + 3*f + f - 12, -r*x - 4*f + 28 = 0. Is x at least 3?
True
Suppose 0 = 9*a - 1291 + 1192. Is a greater than or equal to 148/15?
True
Let b be (-1267)/4410 - 10/180. Let c(l) = -2*l + 1. Let x be c(1). Is x at least as big as b?
False
Let n = -10885664/217 + 352557/7. Let h be 2 + -2 + 603/3. Let z = h - n. Is z at most -1?
False
Let z = 0.28 - 0.368. Let i = z - -49.088. Let k = i - 50. Is k != 21?
True
Let w be 6*-2 - -232*(23 - 24). Which is smaller: w or -2200/9?
-2200/9
Let w = 3402 - 3442. Suppose 2*t = 4*i + 168, -174 = 4*i + t - 6*t. Which is bigger: w or i?
w
Let h(t) = -t + 16. Let p(a) = a - a - 4*a - 17 + 5*a. Let n(b) = 7*h(b) + 6*p(b). Let y be n(-7). Which is greater: 16 or y?
y
Let n(p) = p + 3. Let y be n(-3). Let r = 179 + -178. Let q be 2/r + 510/(-252). Is y equal to q?
False
Let b(l) = l**2 - 12*l - 7. Suppose -5*g + 360 = -g. Suppose -5*s - 35 = -g. Let z be b(s). Do -0.4 and z have the same value?
False
Let k = 274156 + -43590952/159. Is k smaller than -1?
False
Let x = 5.6 + -15.1. Let v = 7.1 + x. Which is smaller: -2 or v?
v
Let q be (606/7)/((-1)/7). Let w = q - -675. Do 69 and w have the same value?
True
Let g be (396/42 + -9)*(-7)/(-2). Let n = -397 + 1979/5. Which is greater: g or n?
g
Let r = -251 - -253. Suppose -52 = -2*f - r*f. Is f <= 95/8?
False
Let y = 0.0488 + 30.9512. Let z = y - 40. Which is greater: -1 or z?
-1
Let c be 2667/(-2)*(-950)/(-1425). Which is greater: c or -887?
-887
Let x be (-229)/(-11) + -4 + 276/66. Suppose -3*i - x = -0. Let d(n) = -n**2 - n. Let t be d(3). Is t < i?
True
Let p = 16 + -90. Let s(o) = -o**2 + 32*o - 41. Let z be s(33). Does z = p?
True
Suppose 3*v = 3 - 0. Let b = 474 - 810. Let r be (-1)/(b/(-35) - 7). Is r equal to v?
False
Suppose 4*n + 5*h = -1162, 0 = -5*n + 2*h - 0*h - 1469. Let b be (-3)/n*46/(-69). Which is smaller: b or -1?
-1
Let y be (-2)/(-1) + (-1 - 2*-2). Suppose -y*r + 55 = 5. Suppose 5*i - r = 15. Are i and 3 unequal?
True
Let i(h) = -h**3 - h**2 + 3. Let r be i(0). Suppose -4*t = -q + 681, 0 = -5*q + 3*q - r*t + 1384. Let w = q + -11709/17. Which is smaller: -1 or w?
-1
Let d be 100418/18 + (-36)/(-612) + (-100)/(-612). Does 5578 = d?
False
Suppose 478*q + 79228 = -76122. Is -2924/9 at most q?
False
Let q = -2050 - -2052. Let k = 1 - -11. Suppose k = -0*f - 2*f. Which is greater: q or f?
q
Let i(v) = 2*v**2 - 10*v - 10. Let a be i(6). Suppose a*k = 2*p + 496, 4*k + 4*p - 1276 = -k. Let u = k + -1664/7. Which is bigger: u or 14?
u
Let k(r) = 4*r**3 - 4*r**2 - 17*r - 31. Let p be k(-2). Which is smaller: -42 or p?
p
Let g = 3 - 1. Let n be g + 1*108/3. Let x = -224 + 262. Are n and x equal?
True
Let k = 259469 + -13231937/51. Which is greater: k or 18?
k
Let o = 34.9 + 3.9. Which is smaller: -7 or o?
-7
Let a be (96/(-360)*267)/((-4)/10). Which is greater: a or 1950/11?
a
Suppose 5*w - 5*p - 75 = 0, -9*w + 11*w - 3*p = 33. Suppose 2 - w = -5*d. Is -1 smaller than d?
True
Let t = 67 + -61.4. Let u = t + 66.4. Let n = 70 - u. Is n < 2/9?
True
Let h = -992 - -658. Let p = 315 + h. Is -24 greater than p?
False
Suppose 13*c + 18*c = 21*c. Are -17/667 and c equal?
False
Let b be (27/108)/(2/(-4))*-34. Suppose 6*i = 3*i + 5*m - b, -2*i - 3 = -5*m. Suppose -h = -n - 7, 5*n + 3*h = -h - 80. Which is greate