smaller than s?
False
Let w be (-55880)/72 - ((-105)/(-27) + -4). Which is smaller: -775 or w?
w
Suppose 188*s - 183 = 193. Which is greater: 29.01 or s?
29.01
Let x = -31 - 36. Let g = -121 - -186. Let w = x + g. Is 4 < w?
False
Suppose -2*c + 1098 = -5*t, c - 380 = 5*t + 164. Let o = -18839/34 + c. Is -1 less than or equal to o?
True
Let t = -9848648/857 + 11492. Which is greater: -1 or t?
t
Suppose 2*t - 3*z - 171 = -21, 0 = 5*t + 4*z - 467. Which is greater: 98 or t?
98
Let u(c) = -2*c**2 - 7*c - c**2 + 0*c**2 - 1 - 4. Let d be u(-2). Let k be (-2 + 3)/((-1)/1). Is d equal to k?
False
Suppose 3*d - 2*b - 24 = b, -5*d = -4*b - 37. Let s be (19/(-3) - -5) + d. Let i = 1 - -4. Is i < s?
False
Let y be (350/10)/5 + 283/(-404)*10. Suppose 3 = 5*s - 2. Are y and s equal?
False
Let j(o) = o**2 + 600*o + 2415. Let t be j(-4). Which is smaller: 77 or t?
t
Let y be 13/(-9) + -3*100/(-675). Is 12/967 at most as big as y?
False
Let f = 7 + -14. Let q be (776/(-6) - -3)/(-1) - -2. Let z = -128 + q. Is z <= f?
False
Let t be (1/2)/((-98)/196). Let w be 20622/(-5166) + t + 4 + 1. Is w greater than 0.3?
False
Let v be (-70)/84 + 1263/(-18). Let k = 58 + v. Which is greater: k or -12?
-12
Let i(l) = -108*l + 11521. Let n be i(107). Suppose -4*q - q - 175 = 0. Is n greater than or equal to q?
True
Suppose -4*d - 4 = -o, -4*o + 11 = -4*d - 17. Let h be (9 - 93/o)/((-9)/(-4)). Are -0.8 and h equal?
False
Let j = 1.16 + -1.26. Let l = -4 + 8.2. Let n = l - 1.2. Is j less than or equal to n?
True
Let g(a) = -6*a + 107. Let u be g(17). Suppose -3 - u = 4*v, l + 3*v = 10. Is 0.05 not equal to l?
True
Suppose 3 = l, 4*z + 180 = 3*l + 51. Let r(u) = -u**2 + 556*u - 4414. Let x be r(8). Do z and x have different values?
False
Let a = 2875 - 2887. Which is smaller: a or 77?
a
Suppose 0 = -6*x + 2*x + 4. Let k = -90 + -167. Let p = -3085/12 - k. Which is smaller: p or x?
p
Let u = 29642 - 326064/11. Is u >= -800?
True
Suppose 1491*r = 1494*r + 3. Is -2/4745 > r?
True
Let l = -3323 - -5693. Which is smaller: 2371 or l?
l
Let d = 1072 + -1010. Which is bigger: d or -17?
d
Let v = -125 - -149. Suppose -5*s - v = -4. Is s < 1?
True
Let s be ((-12)/(-143445))/((-68)/170). Which is smaller: s or 0?
s
Let i(n) = n**3 + 34*n**2 - 39*n - 139. Let s be i(-35). Let p be (-4818)/1608 + 4 + -1. Which is smaller: s or p?
p
Suppose 4*g - 1 = 3*f + 24, -15 = 2*f - 3*g. Let x be (6/4)/(f/(-20)). Suppose 6*m - 3*w + 10 = m, -2 = m + x*w. Is m less than 14/9?
True
Let o = -15 + 24. Let z = -4.47 + 0.57. Let p = z - -3.9. Which is greater: p or o?
o
Let v = -7492456/44547 - -5214/31. Let y(b) = -b**2 + 13*b + 140. Let l be y(20). Is l > v?
False
Suppose 0*n + 3519 = -9*n. Let d = n - -376. Which is bigger: -14 or d?
-14
Let l = 0.1944 + -41.2644. Which is smaller: l or 3?
l
Let m be (2/(-4))/((-8)/(-16)). Let u = 589/15 + -39. Which is smaller: m or u?
m
Let u = -82 - -85.62. Let n = u + -0.02. Let a = -6.6 + n. Are -3 and a equal?
True
Let r = 634 - 1091. Let c = -169 - r. Which is greater: c or 1?
c
Let g(b) = b - 6. Let s be g(6). Suppose 4*y + y - 25 = -5*h, y - 1 = s. Suppose 0 = 4*r - 2*m + 10, -4*r - 20451*m - 44 = -20455*m. Which is smaller: r or h?
h
Suppose 0 = 5*q - 278 - 152. Suppose -2*i + l + l = q, -6 = -3*l. Let u = i - -34. Is u greater than or equal to 1?
False
Suppose c = 2*y + 13, c = 6*c - y - 38. Suppose 2*s + c = -p, 3*s = -4*p - 8 - 0. Let l be (-52)/(-34) + (2 - 1)*-1. Do p and l have the same value?
False
Suppose 40*x - 55*x + 75 = 0. Suppose -3*o - 4 = o - c, -5*o = -x*c + 5. Which is greater: 5/24 or o?
5/24
Suppose -945 = -z - 26*z. Let s = -57 + z. Is s smaller than -17?
True
Let t = 716 - 702. Suppose t = 15*n - 22*n. Which is greater: n or 168?
168
Let o = -0.164 + -0.236. Let y be 96/(-15)*(-5)/(-1). Which is bigger: y or o?
o
Suppose 650 = -20*f + 30*f. Let v be (9/(-3))/(-15) + 24/5. Suppose 0 = -13*s + 18*s - v. Which is smaller: s or f?
s
Let g = -2/16225817 - -863375722616/373193791. Let d = g - 2314. Which is smaller: d or -2?
-2
Let j(o) = 48*o + 1. Let s be j(1). Let m = -41 + s. Suppose 11*r = m*r - 21. Is r at most -7?
True
Let n = -420114 + 76880860/183. Let h = -1 + 0. Is h > n?
False
Let c = 105 + -74. Let o = -13725 - -54899/4. Is c at most as big as o?
False
Let z = -60.27 - -182.27. Are z and 0.11 non-equal?
True
Let y = -85 + 86. Let u be (-6)/18*-15*y/9. Suppose 4*q + 2 = 6*q. Does q = u?
False
Let i(z) = z**3 - 21*z**2 - 37*z - 17. Let s be i(20). Do s and -2 have different values?
True
Let s be (-104300)/(-894)*(-4 + 1). Is 0.06 at most as big as s?
False
Suppose 8 = 3*n - 1. Let v(m) = n*m**2 - 34 - 4*m**2 + 6*m + 27. Let s be v(3). Which is bigger: 11 or s?
11
Let t = -129.78 + 135.78. Let z = 1927/8 + -242. Which is smaller: t or z?
z
Let n = -55 + 56. Suppose 5*s - 3*l + 11 - n = 0, -17 = -2*s - 3*l. Suppose 5*d = 16 - s. Is d at least -2?
True
Let z(h) = -h**2 + h - 115. Let c be z(0). Let r = -91 - c. Let b = -18 + r. Is 5 bigger than b?
False
Let h = -0.12822 - -0.02822. Which is smaller: -927 or h?
-927
Let x = -963.8672 - 0.1328. Let h = x + 959.006. Let g = h + -0.006. Is g less than -0.2?
True
Let w = 2470 - 2474. Let m be -2 + (-8)/(-28) + 2. Is w equal to m?
False
Let q = 6418 - 6418.101. Let g = 0.3 - 0.299. Let i = q + g. Which is bigger: i or -0.3?
i
Let i(w) = 124*w - 12. Let y(u) = -63*u + 6. Let a(c) = 2*i(c) + 5*y(c). Let m be a(1). Which is bigger: -185/3 or m?
m
Let g = 2 - 3. Let s(t) = 13*t + 171. Let r be s(-13). Suppose r*p - 108 = -6*i + 10*i, p = -2*i + 38. Which is smaller: g or p?
g
Let l = -624792 + 13131676/21. Let z = 526 - l. Which is bigger: 1 or z?
1
Let p = 1192 + 7561. Is 0.1 at most p?
True
Let h(j) = -2*j + 88. Let a be h(30). Suppose d + 2 = a. Which is smaller: d or 24?
24
Suppose -2*i + 2 = -4*i. Let p = -56133/20 - -2809. Let u = 3/4 - p. Is i at most u?
False
Let m be (10 - 13)/(12/(-104)). Let f be (13/m)/((-3)/2). Do f and -2 have the same value?
False
Let b = 64 + -10. Let s be (4/12)/(-1 - (-50)/b). Which is greater: s or -4?
-4
Suppose 326 = 2*c + 1124. Let m be (-309)/c + (-2)/14. Which is smaller: m or 2?
m
Let w = 312506/924749 - 14/7771. Which is smaller: w or 0?
0
Let k(q) = 4*q**3 - 20*q**2 - 5*q + 5. Let l be k(6). Suppose -5*u + 375 + 220 = 0. Is l >= u?
True
Let n be ((-192590960)/598111)/23 + 14. Is -1 >= n?
False
Let d be (-3)/((-3)/(-30)*3*-2). Suppose 0*l - 2*l + 54 = 4*r, -20 = -d*r. Suppose 16*i - l*i = 117. Is -39 less than or equal to i?
True
Suppose 5*f = -2*x + 3*x - 503, 3*f + 312 = 4*x. Let m = f - -58. Let s = -59 - m. Is -17 > s?
False
Suppose -4*v + 47*d = 42*d + 19, -2*v - 6*d = -16. Suppose 2*k + 41 + 69 = 0. Let p = k + 21. Which is bigger: v or p?
v
Let t = -72 - 92. Let w = -41 + 41. Which is smaller: t or w?
t
Let p be -7*(5 + (-228)/42). Suppose 0 = -t + 3 - 4. Let j = -5 - t. Is j not equal to p?
True
Let p(d) = -148*d**2 - 22*d - 11. Let f be p(1). Which is greater: f or -6?
-6
Let x = -25964 - -25961.7. Which is smaller: x or 0.272?
x
Let h be 18261/6459*(-1)/(-558)*-3. Let d = 2/2153 - h. Which is bigger: 1 or d?
1
Let v be ((-174)/(-145)*(-6)/4)/(51/(-170)). Let y be -6 + 2 - (-24)/3. Which is bigger: v or y?
v
Let p = -0.04808 + -45.95192. Which is bigger: -6/5 or p?
-6/5
Let q = -15/799 + -1/94. Let a = -419 + 411. Let p(c) = -c**3 - 10*c**2 - 11*c + 40. Let i be p(a). Is i less than or equal to q?
False
Let b = -1710467/332 - -5152. Is b at most 0.2?
True
Let b = 304 + -93. Let l = b + -211.1. Which is smaller: 4/9 or l?
l
Suppose -13 = -14*u + 5 + 24. Which is smaller: 106/35 or u?
u
Let c = 5167 - 6873. Is c at most as big as -1704?
True
Suppose 0 = 3*a + 3, -6*n + 3*a = -3*n - 9. Let t be 3*((-15)/(-90))/(n/(-16)). Suppose -o + 5*o + 5*j + 14 = 0, 4*o + 6 = -j. Do o and t have different values?
True
Let o = 29 - 26. Suppose 2*m = o*m - 2. Let d be (m - 1) + 228/(-236). Which is smaller: d or 0?
0
Suppose 119*h = s + 118*h + 16, -3*h = 3*s + 90. Is s at most as big as -14?
True
Suppose 126*p = 131*p - 2365. Let v = 17499/37 - p. Which is bigger: 13 or v?
13
Let s be (2/(-9))/(6/(-27)). Which is greater: s or 2/3019?
s
Suppose 3*s - 5*u = 2553 - 8589, -u = 4*s + 8048. Which is smaller: -1 or s?
s
Let f(z) = 2*z - 1. Let a be f(2). Suppose -a*