- b + 1 = 2*v. Let o be -1 - -5 - v/(4/(-112)). Let i(k) = 3*k**2 + 4*k + 1. Let s be i(-4). Are o and s unequal?
True
Let g(q) = q**3 + 60*q**2 + 416*q + 16. Let m be g(-52). Which is greater: 0.068 or m?
m
Let g = -0.15 + 0.077. Let d = g + -0.027. Let z = 0.001 - 31.001. Which is greater: d or z?
d
Suppose 0*u - u - 36 = -2*n, u + 24 = -2*n. Let d be u/(-2)*8/12. Let s be d/(-16)*78/(-30). Which is smaller: s or 0.1?
0.1
Suppose 84166 - 43468 = 21*f. Which is smaller: f or 1939?
f
Let l = -16 - 156. Let m = l - -183. Which is bigger: 7 or m?
m
Suppose 2*m - 2327 = -l, 7*l = 5*m - 3378 - 2487. Which is smaller: 12838/11 or m?
m
Let q(y) = 21*y - 626. Let a be q(-41). Which is smaller: -1488 or a?
-1488
Let r be (-10)/4*2 + 8 + -1. Suppose 6*b - 5*b + 46 = -2*p, -46 = r*p + 5*b. Which is bigger: -14 or p?
-14
Let i = 1209 + -789. Let a = 265 - i. Which is bigger: a or -1/4?
-1/4
Let m = 4469 + -4457. Which is smaller: m or -0.232?
-0.232
Let j(s) = -2*s**3 - 3*s**2 + s - 6. Let r be ((-48)/(-40))/(-3 - (-57)/20). Let p be 5/(-10) + 20/r. Let t be j(p). Is 18 > t?
False
Let d be -3 + 0 - (-13)/5. Let p = -5.406 + 6.026. Are d and p unequal?
True
Let u be 37/629 - (-1216)/136. Let g = 9 + -4. Suppose -g*n = -36 - 14. Are n and u non-equal?
True
Suppose -35*y + 2093 - 693 = 0. Let i(p) = -p**3 - 6*p**2 + 6*p - 5. Let o be i(-6). Let f = o + y. Is f equal to 7/18?
False
Let j = 3102 + -3102. Which is bigger: j or -1/1488?
j
Let y(p) = -p**3 - 51*p**2 - 46*p - 39. Let v be y(-49). Is -1 at least v?
True
Let a(f) = -f**3 + 6*f - 6. Let p be a(6). Which is greater: -200 or p?
p
Let t = 6627 - 6625. Is -130 != t?
True
Let w = 29812 + -29813. Are -117/106 and w non-equal?
True
Let o = 1211486/6482595 - -2/60585. Let p be 239*2/5992 + 0. Let l = p - o. Which is bigger: l or 1?
1
Let s be -9 + (0 - (2 - (-76638)/(-6966))). Is s less than or equal to 0?
False
Let p(j) = -2*j**3 + 3*j**2 - j + 6. Let z = -236 - -238. Let v be p(z). Which is bigger: -4/33 or v?
v
Suppose 5*z - 38 = -2*y, 3*z + 22*y = 26*y + 2. Which is bigger: -8 or z?
z
Suppose -22*l = -19*l - 32709. Let z = l - 250829/23. Which is smaller: z or -2?
z
Let x be 2*(204/(-170))/(64/(-10))*-2. Which is greater: -137 or x?
x
Let a = -653 - -533. Which is smaller: -1566/13 or a?
-1566/13
Suppose -82*o = -78*o + 5*c - 1417, -3*c = -4*o + 1441. Is o smaller than 359?
True
Let x be (-6)/(-30) - 205556/105. Let j = x - -1957. Let u(i) = -i**3 - 15*i**2 + i + 14. Let o be u(-15). Is o at most j?
True
Suppose 3*a - 12632 = -2*d, -4*a - 4*d + 15956 = -880. Suppose -a - 406 = 14*r. Which is bigger: -329 or r?
-329
Let w(r) = -2*r**2 - 25*r - 72. Let t = -936 + 928. Let h be w(t). Let k be (2/5)/(4/5). Is h equal to k?
False
Let r(v) = 2*v**3 + 113*v**2 + 50*v - 337. Let g be r(-56). Which is greater: g or -78/733?
-78/733
Let d be -1 - (-7)/(21/6). Let l = 613381/9 - 68056. Let n = 97 - l. Is n != d?
True
Let k = 135 + -3. Let h = 19854.57 + -19987. Let q = h + k. Are q and 1 nonequal?
True
Let s be (8/((-1480)/15))/((-9)/(-12)). Let r = -21/148 + s. Let p = -0.21 - 1.49. Is p <= r?
True
Let w(i) = 9*i - 53 - 2*i**2 + 3*i**2 + 2*i**2 + 2*i**2 - 4*i**2. Let v be w(-13). Let t be ((-2)/(-188))/(6/24). Are t and v equal?
False
Let p be (114/12 + -9)*3832. Is 1915 greater than p?
False
Suppose -3*c - i = -9, 0 = 6*c - 4*c - 3*i - 6. Suppose -28 = j + c*j + 4*s, 5*s - 13 = 3*j. Let n(q) = -q**2 - q + 31. Let h be n(j). Which is bigger: h or -2?
h
Let d = 1689 + -646. Let c be ((-104666)/3009)/((-1)/120*-4). Let m = c + d. Is m > -2?
True
Suppose 2*l + 3 = -l. Let a = -5599 - -9210. Let w = 494705/137 - a. Which is smaller: l or w?
l
Let v(l) = -l**2 - 2469*l - 12321. Let g be v(-5). Is g less than or equal to 8/7509?
True
Let r = -78 + 35. Let h = 19 + r. Let g = 99 + -98. Is h equal to g?
False
Suppose 0 = -33864*k + 33881*k - 149481. Is k less than or equal to 8794?
True
Let g(s) = -25*s**2 + 4*s + 3. Let m be g(-3). Let w = 349 + m. Is w < 116?
True
Let q = -73 - -74. Suppose 73*l + q = 72*l. Is l at least as big as 42?
False
Suppose 52*m = 49*m + 3*c - 273, 406 = -5*m - 2*c. Suppose -202 + 34 = 2*w. Are w and m nonequal?
False
Let x be (72/(-32))/((-3)/4064*-4). Let b = 512 + x. Which is greater: b or -251?
b
Let s(a) = -a + 1. Let l be s(2). Suppose 10 = -2*n - 2*q + 128, 67 = n - q. Which is greater: n or l?
n
Let s = 310 + -308. Let x be 692/646 - (-46)/437. Which is smaller: x or s?
x
Let r = -89035 + 89010. Let h(p) = -2*p**2 + 5*p + 3. Let u be h(-5). Let n be (-2)/(-2*3/u). Are n and r unequal?
True
Let b be 4/(-6)*405/540. Which is smaller: b or -2704?
-2704
Let a = -891.9953 - -892. Let p = a + -14.0047. Is p >= 0.15?
False
Let s = -0.2929 + -23.7071. Is -1/8 smaller than s?
False
Let o(f) = f**2 - 4*f. Let k be o(4). Let a be (11/(-6) - -2)/((-5661)/(-74) - 5). Is k equal to a?
False
Let o(z) = 5*z + 12. Let j be o(2). Let q = 23 + j. Is q at least 47?
False
Let h(w) = -3*w**2 + 30*w + 5. Let g be h(6). Let a = g + -76. Which is smaller: -16 or a?
-16
Let l = 2869.4 + -2869. Which is smaller: l or 202?
l
Let l be (-8)/(-36) - 183/216. Suppose 0 = -q, -5*m + 7*m - 2*q - 44 = 0. Suppose -3*g + m*g = 0. Is l > g?
False
Let r = 307 + -631/2. Let g = -137/16 - r. Is g equal to -1?
False
Let w = -25.2475 + -1.7525. Let s = -1.4 - -1.46. Is w != s?
True
Suppose 3*j - 8*j - 89 = -i, -j = -3*i + 197. Suppose 0 = -i*m + 52*m + 948. Is 79 at least m?
True
Let z(h) = -13*h + 13. Let o be z(-7). Suppose -3*l + 20*n - 15*n = -275, 6*n - 153 = -l. Does o = l?
False
Suppose 2*o - 100 = -3*o. Let t be (5/(-45))/(o/24). Let a = 8.98 + -7.48. Is t <= a?
True
Suppose -4*z + z = 0. Let p be 5/5 + (z - -18). Suppose -21*w - 2*a + 46 = -19*w, 5*w - 5*a - 95 = 0. Is w greater than p?
True
Let n = 129.32 - 128. Let s = n + -1.394. Suppose -g + 5 = 5*l - 3*g, -3*l - 5*g = 28. Which is bigger: s or l?
s
Let l(b) = 7*b**2 + 1. Let a be l(1). Let m be (-3)/((-9)/a) - 2. Let h = 1214/357 + -57/17. Is m >= h?
True
Let l be 2/14 - (-129)/(-462). Let d(y) = 38*y - 267. Let f be d(7). Is f smaller than l?
True
Let r be (1421/116)/(7367/(-10)). Let p = 1/139 + r. Is 0 != p?
True
Let u be 2 - ((-192)/16 + -116). Which is greater: 32 or u?
u
Let q = -658574/2529 + 2344/9. Which is smaller: q or 0?
0
Let j = 5079776/35 - 145150. Let h = j - -62/5. Which is smaller: 1.6 or h?
h
Let f = -15399 + 15400. Let p = 169/3434 + -1/34. Is p > f?
False
Let j be (16/4288)/(-3 - 366/(-120)). Let b = 31 + -31. Which is bigger: j or b?
j
Let u(c) = 223*c + 776. Let i be u(-4). Is 0 less than i?
False
Suppose 0 = 10*l - 9*l - 250. Let m = l - 277. Do m and -27 have the same value?
True
Let f be 3/(-1957)*-2*(-174)/(-522). Which is smaller: f or 1?
f
Let g be -3*(-6)/(-225)*-1. Let u be (-6 + 88/12)*18/4. Suppose 0 = -17*p + u*p. Which is smaller: g or p?
p
Suppose 0 = -3*x - 3*s - 2*s + 147, -5*x - 4*s = -258. Let r = 6 - x. Is -49 bigger than r?
False
Let h be (-8)/(-5) + -2 + (-2720817)/(-5293080). Let w = h - 20/169. Which is greater: -2 or w?
w
Let k be 38/(-171) - 38/(-9). Let a be 3/k*(-24)/(-1035). Which is smaller: 0 or a?
0
Let q be 154/(-5)*(-10)/(-2). Let h = 70 + q. Let f = -1094/13 - h. Is 2/11 smaller than f?
False
Suppose 5*y + 9*y = 140. Let x(w) = -2*w**2 - 6*w + 2. Let t be x(-1). Is t at least as big as y?
False
Let t = -613 + 627. Let s = 68 - 478/7. Which is smaller: t or s?
s
Suppose 0 = 5*p - 3*z - 235 - 248, 0 = 2*p + z - 202. Let l = p + -99. Which is greater: 2/561 or l?
2/561
Let z be 1*(3 + -1)*(-75 - -76). Suppose -4*d = 12, -5*d - 1 = z*k - 0. Let j be (-12)/k + (-22)/77. Is -13 at least j?
False
Suppose -163 = -30*o + 13*o + 41. Which is bigger: 48 or o?
48
Let j = 180 - 179. Suppose 5*g + 50 + 20 = 0. Let y be (-6)/18*12/g. Which is greater: j or y?
j
Let h be (4 - (-114)/(-15))*205/(-23). Which is smaller: 31 or h?
31
Let y = -5229 - -5228. Which is greater: y or -4/47?
-4/47
Let t be (-18)/(2 - (-305)/2). Let n = 5944 + -5944. Is n less than or equal to t?
False
Suppose -3*u + 3*y = 243, -2*u - 537 = -3*y - 380. Suppose 0 = -4*f - 5*o - 357, f - o + 108 = 21. Which is smaller: u or f?
f
Let g = 8273 - 2461. Is -0.2 >= g?
False
Let t = 667579049/1860 - 358913. Let b = t + -15/31. Let q = b + 13/60. Which is b