maller: -2 or l?
-2
Suppose -5 - 8 = 13*p. Let d be -4 + (1774/178 - 6). Which is greater: d or p?
d
Let x be (23 - 22)*(-1 + 1)/(-16 - -18). Are x and 63/118 equal?
False
Suppose 2*r - 15 - 2 = -3*u, -3*u - 3 = -3*r. Suppose -89*z + 1392 = -92*z. Let o = z - -471. Is u bigger than o?
False
Let x be 2/(-12)*(5 - 47). Let w be x/(3402/2918) - 6. Are -1 and w nonequal?
True
Let s = -847 + 417. Let r = s + 41704/97. Which is smaller: r or -1?
-1
Let m be (-124719)/98 - 6/(-4). Let q = 1269 + m. Which is smaller: q or -2?
q
Let z = -2.6 + 0.9. Let o = -3014 + 3015.9. Let y = o + z. Which is greater: y or -3/5?
y
Let f be 8 + 9 + (-168464)/9912. Are -1 and f nonequal?
True
Let g be (10/(-40))/(5/(-19820)). Do 994 and g have the same value?
False
Suppose 5*a + 148 + 62 = 0. Let v be (-180)/(-200)*(-10)/a. Let g = -3 - -2. Is v at most as big as g?
False
Let m = 160 + -479/3. Let b = 103 - 99. Let s be 1*2*10/b - -1. Which is bigger: m or s?
s
Suppose 0 = -17*k - 104*k + 148830. Is 1229 >= k?
False
Suppose 13*q = 10*q + 6. Suppose 5*y - q*b + 807 = 0, -5*y = -b + 4*b + 802. Which is greater: y or -1?
-1
Suppose 3*x - 1829 = -p - 0*x, -x + 2 = 0. Let o = p - 198705/109. Which is smaller: -1 or o?
-1
Let f = 276 - 254. Let u(t) = -t**2 + 20*t + 19. Let n be u(f). Is n not equal to -31?
True
Let u = -1447708/115 - -12590. Which is smaller: 1 or u?
1
Let v be ((-20)/(-6))/(2/(-12)). Suppose -85 = 4*b + r, 0 = -5*b + 4*b - 2*r - 30. Let d be (-8)/b + 13/v. Is d at least as big as -1?
True
Let z(p) = -84*p - 23. Let f be z(6). Let a = 591 + f. Which is smaller: a or 62?
62
Let a = 69.93 - 70. Let x = 0.003 + a. Let r = -8.933 + x. Which is smaller: 2/3 or r?
r
Let d be 0 + 1/(-9) - -13*(-168)/2457. Which is smaller: d or 40/111?
d
Let d(f) = -2*f**3 - 28*f**2 - 15*f - 30. Let h be d(-13). Let k = 192 + h. Is k at most 19?
True
Let i be ((-4)/(-21))/2 - 7942/(-399). Is 4 at least as big as i?
False
Let n be -5 + -86 - (-4 - (-9 + 1)). Let x = -56 - 39. Are x and n non-equal?
False
Let u(q) = -58*q - 51*q - 31 + 112*q. Let h = 15 - 5. Let x be u(h). Is -1/5 at least as big as x?
True
Let w be (-123)/82*89668/(-6). Which is smaller: w or 22418?
w
Let h(s) = -3*s**3 - 3*s**2 + 3*s + 5. Let b be h(-3). Let u = 37 - b. Let i be (1 - (-11)/u) + (-3354)/(-4563). Is 0 greater than i?
False
Let d = -1 - -2. Let w = -622.1 + 593.7. Is w at least as big as d?
False
Let j = 57.9 - -10.1. Let b = j + -68. Which is smaller: -183 or b?
-183
Let x be -1*(-23 - 1*-2). Suppose -2*g - x = 1. Let f be (1007/(-76) - -15) + 86/(-8). Which is greater: g or f?
f
Let m be 669/3 + 1342/(-122). Which is bigger: m or 216?
216
Let b be 4/(-22) + 60/(-33) + -4. Let i be (-26)/(-6) - (2/b)/(-1). Let d = -2 + 4. Are d and i unequal?
True
Suppose 0 = 4261*t - 4241*t + 2200. Which is greater: t or -113?
t
Let u be (-124 + 1)*(1 + -11). Let f be 1/(-5) + u/25. Let d(l) = l**3 - 27*l**2 + 26*l + 49. Let z be d(26). Is z at least as big as f?
True
Suppose 630 = -6*g - 0*g. Let p = -190 - g. Which is greater: -86 or p?
p
Suppose -8*p + 18 = -2*p. Suppose -p*y - 7 = 2*c - 2, -c = -y. Let h be y - (0 + 3/(-6)*-4). Which is greater: h or 0?
0
Suppose -5*y + 189 = -8*r + 7*r, y = r + 37. Suppose y = -b + 40. Are 8/9 and b unequal?
True
Let f be (-1 + (0 - 0))*1*-1. Suppose 5*a = 4*a - f. Which is bigger: 13 or a?
13
Let s = 112.931 + -113. Let d = -0.096 - -0.065. Let l = s + d. Which is smaller: 0.17 or l?
l
Let v be (3075/48175)/((-1)/5). Which is bigger: v or 30?
30
Suppose -2*k + 14 = -11*l + 8*l, -5*k - 10 = 0. Let q be (l/(-4))/((-5)/((-80)/276)). Which is bigger: q or -1?
q
Let y(p) = 46 - 118*p - 51 + 16. Let g be y(-1). Is 129 < g?
False
Let r = -1192 + 1157. Let c = 36 + r. Let s = 44 + -44.038. Are s and c equal?
False
Let q be (2/4)/(80/400). Is q at most -1/236?
False
Suppose 10*a + 1770 = 1760. Which is smaller: 2/13 or a?
a
Let p(a) = 28*a - 11. Let t be p(2). Suppose -44 = l - t. Let y be (l/4)/(9/(-12)*3). Which is bigger: 0.05 or y?
0.05
Let n be 23/(-153) + 602/15351. Is n at least -55?
True
Let g be (6/14)/(28/196). Suppose -5*m - 17 = 3*q, -g*m + 0 + 13 = -4*q. Which is bigger: q or 23?
23
Let j = -36 + 41. Suppose 2*r - j*w = 30, -2*r - 4*w + 6 = -3*w. Suppose -8*f = r*f - 104. Is 8 != f?
False
Let q = -6533 - -6472. Is -14 greater than or equal to q?
True
Let i = -343 + 343.2. Let a = 45 + -43.93. Let n = a - 1. Which is bigger: n or i?
i
Let u(l) = -l**2 - 10*l - 12. Let x be u(-9). Let y(d) = 0*d + 2*d - 10 + 4. Let a be y(0). Is x != a?
True
Let y be 14412/4806*-1 - -3. Let j = y + -12821/4005. Is j > -3?
False
Let q = -1382 + 1383. Which is bigger: q or -127/12?
q
Let h = -91 - -83. Let a be (-6)/(-8)*h*(-28)/(-18). Do a and -10 have different values?
True
Let d be 116/754 + (-2)/13. Is -5/1227 >= d?
False
Let s(r) = -r**3 + 3*r**2 + 4*r + 1. Let i be s(4). Let g be 3 - -6 - i*2. Let c(d) = d**2 + 41*d + 425. Let u be c(-20). Which is smaller: u or g?
u
Let y be ((-102)/85)/(2/(-15)). Suppose 9*s = 90 + y. Suppose -8*k - 6 = -s*k. Is 4 less than or equal to k?
False
Let v = -186 + 260. Let t = v + -74.01. Is 0.1 != t?
True
Let o = -5340 + 5062. Suppose 1028 - 188 = -3*g. Which is smaller: g or o?
g
Let w(s) = 4*s - 52. Let b be w(14). Suppose -b*o = 2 + 10. Which is bigger: -30/17 or o?
-30/17
Let n(v) = 2*v**2 + 6*v + 96. Let m be n(0). Is -1/35 != m?
True
Let o = 4667 + -4726. Which is smaller: o or -31?
o
Let t(k) = -k**3 - 5*k**2 - k - 1. Let l be t(-5). Suppose 93 = 2*v - 6*v + 5*g, 0 = -l*v - 4*g - 48. Let h = -101 - -101. Which is smaller: h or v?
v
Let k = -104328 + 185390861/1777. Is 0 greater than k?
False
Let g(v) = v**2 + 9*v + 11. Let m be g(-8). Suppose -m*u = 2*j - 22, u - 3*j - 2 = 2*u. Let s be 22/60 + (-2)/u. Which is bigger: -2/5 or s?
s
Suppose 3*d + 14 = 2*d. Let p = 10 + d. Let v(j) = -j**2 - 3*j + 5. Let y be v(p). Is y equal to 2/33?
False
Let s = 46.482 + 0.518. Let n = -27 - -63. Let i = n - s. Is 2 > i?
True
Let a = -2.461 - -2.361. Which is smaller: a or 0.571?
a
Let u = 4.9 - 5. Let r = 4818.5 - 4832. Which is greater: u or r?
u
Suppose -34*k + 63 = 3475 + 5496. Which is bigger: -268 or k?
k
Suppose 2*f + 14 = p, f - 4*f + p = 22. Suppose 0*o + 9 = 3*o + 2*d, 0 = -5*o - 3*d + 14. Let b(u) = -5*u - 4. Let i be b(o). Which is greater: i or f?
f
Let l = 8075 - 5649. Are 2432 and l nonequal?
True
Suppose 557*y - 554*y + 177 = 0. Let q(l) = -3*l**2 + 16*l - 24. Let z be q(7). Is z equal to y?
True
Suppose 3*q - 1 = 2. Let j = -235/7 + 4051/119. Let k = -11/17 + j. Which is smaller: q or k?
k
Let k(h) = -3*h - 8. Let j be k(-2). Suppose g + 10 = 2*g. Let x be (-4)/g - 438/30. Is j at most x?
False
Let j = -1337 - -1336.98. Which is smaller: -4/291 or j?
j
Suppose 60*i - 78022 + 776082 = -149*i. Is -3340 bigger than i?
False
Let a(x) = 2*x**2 - 18*x + 16. Let j(n) = 3*n**3 + 31*n**2 + 9*n - 3. Let h be j(-10). Let g be a(h). Which is bigger: g or -90/7?
g
Let s be (-4462)/(-184) + (3/(-12))/1. Is s less than 303/13?
False
Let i be 9*(-10)/(-75)*-205. Which is bigger: -233 or i?
-233
Let b(h) = h**2 - 7*h + 7. Let z be b(8). Suppose 0*v - z = -3*v, -4*i - 2*v = -18. Let y be 4/(-32) + (-119)/(-56). Is y >= i?
True
Let g be (2/(-14))/((-4)/14)*2. Let r be 2*g/28 + 8/(-28). Let q = -1 - -2. Which is bigger: q or r?
q
Let x = -3571.36 + 3519.3767. Let u = 0.0167 - x. Is u at least 0.2?
True
Let s = -650.9182 - 0.0818. Let i = -638 - s. Which is smaller: i or -16?
-16
Suppose 10 = y - 5*p - 8, p = -y + 6. Suppose -11*z + 14 = -y. Suppose -4*q - 3*b = -94, z*q - 85 = 5*b - 25. Is q equal to 26?
False
Let b(y) = 2*y**3 - 86*y**2 - 75*y + 66. Let k be b(44). Let q = 320 - k. Which is bigger: -316 or q?
-316
Suppose -m + 4 = -0. Suppose 3*d - 71 = -m*b, d - b = 19 + 7. Let j(k) = -k**3 + k**2 + k + 24. Let c be j(0). Is c greater than or equal to d?
False
Let h = 17799 - 12585. Let b be 18/(-162) + h/27. Is 192 at least b?
False
Let s = -153.66 + -3.34. Let i = s + 157.169. Is 2 less than i?
False
Suppose -7*k + 0*k = -42*k - 105. Which is smaller: -7/26 or k?
k
Suppose 6 = -h + 4*h. Suppose -h*u = u - 24. Suppose 2*t = 2*r - 18, -r + 0 = -5*t - 21. Which is smaller: r or u?
r
Let b be 16384/(-14) + 6/21. Let d be b/(-15)*(-8)/(-3). Let i = d + -393/2. D