/2. Let m be z + 1*19*-3*1. Let a = m - -54. Which is greater: 1/62 or a?
1/62
Suppose -13*g = -19*g + 87*g. Is 22/101 < g?
False
Suppose 0 = -17*n + 6 + 28. Suppose 0 = f - n*h + 19, f + 4*h - 107 = 6*f. Is -20 bigger than f?
True
Suppose -420 = 3*f - 105. Let c(t) = -137*t - 1339. Let v be c(-9). Which is bigger: v or f?
f
Let o(f) = 831*f - 847. Let z be o(5). Is z less than or equal to 3307?
False
Let k(h) = h**2 - 7*h + 8. Let a be k(7). Let n = 0 + 18. Suppose 0*q = -2*q + n. Is a > q?
False
Let v = 0.83679 - 0.11679. Does v = 2/45?
False
Let d(a) = -a**3 + 44*a**2 - 83*a + 54. Let k be d(42). Let u be k - -4*(-6)/12. Are 96 and u unequal?
True
Suppose -l + 466 + 22 = -z, -3*z + 4*l - 1460 = 0. Is z > -0.1?
False
Suppose -w - 4*n + 41 = 0, n + 53 = w + 17. Suppose -4*o + t = -92, -5*o + 67 + w = -4*t. Is 12 at least as big as o?
False
Let m = 107 + -194. Let t = -89 - m. Is t at most as big as -50?
False
Let d = 20066356813/10382 - 3865605/2. Let s = 3/179 + d. Is 1 bigger than s?
True
Let d be 4/10 + 726/10. Let z be ((-8)/14)/(62/(-45787)). Let t = z - 350. Which is smaller: d or t?
t
Let z = 9782 - 9783. Let f = 827325749/53697288 - -276/131611. Let h = f + -185/12. Which is greater: h or z?
h
Let l = 22810 + -433512/19. Do l and -7 have the same value?
False
Let n be (-2 - -4*(-7)/(-28))/((-14869)/(-2)). Is 1 less than n?
False
Suppose 0 = -19*d + 4182 + 3152. Let g = -278 + d. Is 108 greater than or equal to g?
True
Suppose 0 = 3*i + 2*p + 103, p + p - 193 = 5*i. Let y = 186/5 + i. Let d = y + 1/45. Is d at most -9?
False
Let i = 2513.919 - 2516. Let x = i + 1.04. Let m = x - -0.041. Are -2.1 and m unequal?
True
Let g be 34287330/(-7161) - (-2)/31. Which is smaller: g or -4790?
-4790
Let m = -5992247/459 + 13055. Let l = -5 + 3. Which is bigger: m or l?
m
Let b = 44 + -43.7. Let p = 1.3 - b. Let y = 48.902 - -0.098. Are p and y unequal?
True
Suppose 4*z = -3*n - 426, 3*n = -134*z + 131*z - 432. Is -146 at most n?
False
Let s = -207662 + 37794579/182. Let c = -31484/91 + 346. Let w = s - c. Which is bigger: 0.01 or w?
w
Let o = 0.1054 - 0.1654. Which is smaller: o or -44?
-44
Suppose 15 = -6*z + z. Let a = 52 + -9. Let g = a + z. Which is bigger: 38 or g?
g
Suppose -42*p + 179999 - 479585 = 0. Is p less than or equal to -7134?
False
Let y(a) = -a**2 - a + 1. Let b be y(5). Let f = 28 + b. Let v be 3/(-3) + ((-14)/10)/f. Is 0 != v?
True
Let x = 17828 - 1051836/59. Are 1/11 and x nonequal?
True
Let x = -0.268 - -0.19. Let s = -6 - -6. Does x = s?
False
Suppose 3*f - 236 = -w + f, -w + 2*f = -224. Let l = w - 229. Which is bigger: -98 or l?
l
Let k be -10*(-88)/(-20)*5/4. Let n be (-10)/k - 204/22*-3. Let o = n + -31. Is o bigger than -2?
False
Let t = 9704/13 - 746. Let w be 26/(-221) - (-6934)/(-17). Let n = -407 - w. Which is bigger: t or n?
n
Let j = 431 - 86. Let i = -343 + j. Do i and 3 have different values?
True
Let n be 181 + 0 + 1 + 13. Is 206 less than n?
False
Let r = -267 - -205. Let i(c) = -c**2. Let g be i(8). Which is smaller: r or g?
g
Let f be ((-3)/(-4))/(27/(-6)). Let k be (-2 - 152/(-136)) + 1 - 894/663. Which is greater: f or k?
f
Suppose -8*l - 386 = -3*l - 3*q, 5*q = -l - 66. Let a = l - -75. Which is smaller: a or -1/46?
a
Let f = -55187/4 + 13797. Which is bigger: -551 or f?
f
Let m be 5*30/75*-1. Is -2.4 <= m?
True
Let a(y) = 82*y + 904. Let d be a(-11). Does 420/131 = d?
False
Let r be (-38)/(48/45 + 6/(-9)). Let w(i) = -22*i + 630. Let f be w(33). Is r at least as big as f?
True
Let q = 234 - 233. Suppose -o + 5 = 10, 0 = 2*f + 5*o + 1. Let u be (-2)/4*f/183. Are q and u equal?
False
Let z = -2029.81 - -2030. Is 70 less than or equal to z?
False
Let s = -20.25 + 18.7. Let w = s + 1.59. Let r be (-17)/(-35) - (-4)/(-14). Which is smaller: r or w?
w
Suppose 3*k - 2 = 2*n, -5*n = 4*k - 3*k - 12. Suppose -u + 8 = k*p - 4*p, 5*p = 2*u - 19. Let i(l) = -l**2 - 3*l + 2. Let v be i(p). Is 16/5 > v?
True
Let x = 29 - 80. Let w = -46 - x. Let k be (3 + -1)/(10/w). Is -1/17 < k?
True
Let q = 0.051 + 127.949. Let t = 98 - q. Is t smaller than 0.2?
True
Let c be ((-380)/(-57)*(-6)/5)/(-6 - 4). Let v = -128/901 + 20/53. Is v != c?
True
Let i be 33*(56/98 - (-88)/42). Is i != 265/3?
True
Let i be 8 + 63/(-8) - (-1774)/16. Suppose 3*v - 108 + i = 0. Which is smaller: -1/22 or v?
v
Let m(c) = 2*c**2 + 3*c - 4. Let h be m(0). Let j(r) = 81*r + 335. Let g be j(h). Is g at most as big as 13?
True
Let f = 442 - 458. Let h be 16 + (-3 - -2 - 2). Suppose 4*n + h - 1 = 0. Which is smaller: f or n?
f
Let r(l) = 32*l**2 - 188*l + 36. Let b be r(5). Suppose 2*a + 200 = -2*n, 5*n + 3*a = -0*n - 508. Is n <= b?
True
Let d = 1011 - 492. Which is bigger: d or 3624/7?
d
Let a be -1 - (3 - 9/(-3)). Let z(b) = -b**3 - 7*b**2 + 3. Let w be z(a). Let g be 0 + (2 + -2 - w). Is g smaller than -1?
True
Suppose y + b - 3*b - 33 = 0, -3*b + 48 = y. Let a be 3061/y - 22/143. Let p = a - 76. Which is smaller: 2 or p?
2
Let c = -221 + 254. Suppose 2*i + 4*l + 10 = 0, 7 = 5*i - 0*i + 2*l. Suppose -i*x + x = -64. Is x equal to c?
False
Suppose 18*b - 39 = 33. Let a be 6/12 - b/(-8). Which is smaller: -1/34 or a?
-1/34
Let s be (-12868)/13 + 1390/(-9035). Which is greater: -4954/5 or s?
s
Let s be (134/13)/(1008/(-8)). Let z = s + 4/117. Is 0 > z?
True
Suppose -2*c + 5*g - 6142 = 0, -3*c + 4*g = -509 + 9708. Let v = c + 21347/7. Is -10 greater than or equal to v?
True
Let m be 2182/(-25093) - ((-128)/(-322))/2. Let t be -2 - (-3)/((-1)/(-1)). Let l be 1/(1/2) - t. Are m and l non-equal?
True
Let j(v) = -v**3 - 114*v**2 - 13*v - 1481. Let l be j(-114). Which is smaller: 0.5519 or l?
0.5519
Let c(i) = i**3 + 16*i**2 + 22*i + 28. Let p be c(-12). Let y = -638 + p. Is y greater than or equal to -298?
True
Let y = -5249 + 802. Which is smaller: 1 or y?
y
Let r be ((-2)/2)/(1/2). Let y be r/13 - (-1460)/26. Let w = -115320 + 115321. Which is smaller: w or y?
w
Let v = -117 + 117. Suppose v = -3*j - 3*j - 14*j. Let b be 6/(-12)*(-4)/50. Which is greater: j or b?
b
Let f = -19346 - -19346. Which is bigger: f or 129/185?
129/185
Let o(u) = -3*u**2 + 7*u - 26. Let q be o(5). Is 18 > q?
True
Let d be (-6 + (-238)/(-35))*3/(-15). Let n(z) = z**3 + 10*z**2 + 10*z + 9. Let j be -2 + (-1 - 4 - 2). Let a be n(j). Which is greater: d or a?
a
Let i = -1661 - -3217. Let v be ((-126)/(-26) - 5) + i/11128. Is 1 < v?
False
Let p = 4.2765 - 1.2765. Is p bigger than 12/101?
True
Suppose 0*p + 2*p = -5*y - 9, y + 3*p + 7 = 0. Let s be (1 - (y - -5))/(27/(-45)). Let x(b) = -b**3 + 3*b**2 + b + 12. Let w be x(s). Does w = -33?
True
Let y = -319093/1288 - -5756/23. Which is smaller: y or 3?
y
Suppose 0 = -4*a + 4 + 620. Suppose -310 = 8*x - 10*x. Which is smaller: a or x?
x
Let d = -414178893/7 - -59059675. Let p = d - -108033. Let f = 707 + p. Is 3 not equal to f?
True
Let z(y) = y**2 - 33*y + 89. Let w be z(30). Let x(b) = -b**2 - 16*b + 8*b + 11*b**2 - 8 - b**3. Let f be x(9). Which is smaller: f or w?
w
Let q = 4570 + -5170. Which is smaller: q or 0.1?
q
Suppose 8*a + 44934 - 12222 = 0. Let v = a + 192171/47. Are 1 and v non-equal?
True
Let a(o) = -o**3 - 8*o**2 - 13*o - 55. Let y be a(-8). Suppose 4*c - y = 83. Is 32 < c?
True
Suppose -5*v + 8 = -15 + 23. Is v at most -1862?
False
Let j be 4*6/((-624)/13). Let o be (148 - 0) + 3 + 0. Is j less than or equal to o?
True
Let m be (-2976)/(-372) + (2*149)/(-2). Which is greater: -0.06 or m?
-0.06
Suppose -8*w + 4*k = -2*w + 206, -k + 129 = -4*w. Let v(u) = -2*u**3 + 14*u**2 + 12*u - 2. Let d be v(8). Do w and d have the same value?
False
Let g = -231 + 233. Suppose 0 = -3*m + g*c + 82, 17 + 153 = 5*m + 5*c. Which is greater: m or 29?
m
Let n = -61 + -110. Let v = n - -121. Let i = v - -51. Is -47 at least as big as i?
False
Let s(u) = 2*u**3 + 3*u**2 + 2*u. Let v be s(-2). Let b(n) = -3*n**3 + 8*n**2 + n - 5. Let i be b(4). Let w be (247/i)/(3/6). Which is smaller: v or w?
v
Let b = 49 - -288. Let j = 351 - b. Is 3/2 < j?
True
Let u = 6903 + -6665. Which is bigger: u or -2/11?
u
Let o(n) = -11*n - 474. Let b be o(-43). Let d = 4/283 + 1006/48959. Which is smaller: b or d?
b
Suppose l = -4*l + 935. Suppose 1496 = -137*r + 145*r. Is l less than or equal to r?
True
Suppose 199*b - 524315 = -62038. Which is smaller: b or 2321?
23