 -z - 11. Which is smaller: o or -7?
o
Suppose -2207*y - 79254 = -2193*y. Which is smaller: -5662 or y?
-5662
Let m be 3/((-2772)/(-7395)) + (0 - 8). Do 0 and m have different values?
True
Let a = 0.135 - -69.865. Suppose 6*n + 31 = 25. Which is greater: a or n?
a
Let f = 155 + -352. Let a = -2543 - -2348. Which is smaller: a or f?
f
Let x be (-2)/(-1) - 150/5*1. Suppose 203*d = 1689 - 7576. Which is smaller: d or x?
d
Let u be (-3)/6*(-9 + -1) + -2. Suppose u*w - 4*w = 1. Is 2/213 <= w?
False
Let o be (8 - -2) + (-278 - -268). Which is smaller: o or 18/1111?
o
Suppose 0 = y + 3, l + 8 = y - 4*y. Let f = -1695/4 - -28935/68. Which is smaller: f or l?
l
Let t = -9582.1 + 9582. Is t at least as big as -25493?
True
Let h = 0.1052 + -0.2052. Let z = 36.973 - -0.027. Do h and z have the same value?
False
Let n(o) = 26*o**3 + 395*o**2 + 2*o - 9. Let i be n(-15). Is -1 at least i?
False
Let b(s) = 18*s - 11*s + 54 + 44. Let f be b(-14). Let h be 3*-1 - (-34)/18. Is f equal to h?
False
Let s be (-33 - 0)*-1*1. Suppose 3478 = -229*m + 323*m. Which is greater: s or m?
m
Let w = 2.652 + -823.652. Which is greater: w or 1/2?
1/2
Let o = -502514/18135 - -1796/65. Is o smaller than 0?
True
Let k be 6*5/(-10) - 91. Let d = k - -100. Let s be (-12 - 0)*(-2)/d. Which is bigger: s or 7?
7
Let v = -873.36 - -888. Let w = v - 14.6. Which is smaller: -0.09 or w?
-0.09
Let n(x) = -x + 1. Let o be n(-3). Let c(d) = -12*d**3 + 4*d**2 + 6*d + 1. Suppose 0 = 7*i - 22*i - 15. Let h be c(i). Is h at most o?
False
Suppose 3*y - 4730 = -410. Suppose j = 7*j - y. Let g be (-28)/140 - (-1)/j*43. Which is bigger: 0 or g?
0
Let b(k) = -3*k - 98. Let x be b(-32). Let n be (x + 27)*(-3 + 22/10). Is n at least -16?
False
Suppose -4*s - 5*j = -319, -18*s + 4*j = -14*s - 364. Suppose -12*k = -c - 15*k + 27, -4*k + s = 3*c. Is c less than or equal to 34?
True
Let d = -9081/7 - -22987/21. Let v = -202 - d. Which is bigger: v or 2?
2
Let r = -18266 - -1022863/56. Let z = r + 3/112. Is -2 at least z?
False
Let i = -43 - -26. Let w = i - -43. Let z = -27.5 + w. Which is smaller: -2/3 or z?
z
Suppose -3*s - 42 = 4*w - 8, -44 = 3*s - w. Let d be s/(-133) - 17828/(-304). Is d at least as big as 59?
False
Suppose -2*l - 912 = -4*b, -5*b - 245 = 2*l - 1367. Which is bigger: 200 or b?
b
Let t be 2*((-100)/(-8) - 3). Suppose t = -2*v + 5*v + r, -5*r - 25 = -5*v. Suppose 2*i - 1 = 11. Is v < i?
False
Let v(l) = l**2 - 4. Let i be v(-3). Suppose 9*b - 132 = i*b. Let z = 36 - b. Is -5 smaller than z?
True
Let d = 33988 + -33919. Which is greater: d or 16?
d
Let h be (36 + 1)*(-4)/(-208). Let b = h - 6/13. Let n = 3.24 + -3.45. Is n greater than or equal to b?
False
Let v(g) = -11*g - 27. Let s(z) = 5*z + 14. Let k(t) = -5*s(t) - 3*v(t). Let u be k(12). Which is greater: u or 109?
109
Let a be (33252/(-45) + (-2)/5)*(-1950)/650. Is -1 at least as big as a?
False
Suppose 0 = -0*j + 5*j + 5. Let i = -8691/19 - -8786582/19209. Is i bigger than j?
True
Let n = 1.0555 - 0.9555. Is 3478/7 > n?
True
Suppose -85 - 43 = -8*t. Suppose 3*n - 11 - 7 = 0. Which is bigger: n or t?
t
Let c = -9.88 - 0.6. Let w = c - -8.48. Which is smaller: w or 116?
w
Let i = -0.3752 + -18.8248. Is i != 0?
True
Let k = 0 - -0.2. Let v = 1123 - 1123. Let p = k + v. Which is greater: -2/7 or p?
p
Suppose -4*j - 456 = y, -4*j - 4*y = 363 + 105. Which is greater: j or -109?
-109
Let o = -125 + 117. Suppose -5*a + 1 = -b, a - 5*a - 8 = -3*b. Suppose 24 = -b*m - 4. Which is greater: o or m?
m
Let z be 4854/(-306) + -2 - (2/3 - 1). Which is bigger: 0.1 or z?
0.1
Let t(i) = 18*i + 349. Let o be t(-59). Which is smaller: o or -715?
-715
Let y(k) = 145*k + 2113. Let h be y(-13). Is h smaller than 255?
True
Let p(z) = -3*z - 57. Let a be p(-19). Suppose a*v + 171 = 9*v. Let u = -23 + 26. Which is greater: v or u?
v
Let x(w) = -147*w**2 - 9*w - 7. Let i be x(-1). Let r = -73 - i. Which is smaller: 70 or r?
70
Let b be (-2085)/264 - (231 + -239) - 2/(-16). Let g(m) = -m + 4. Let w = 0 + 3. Let c be g(w). Which is smaller: b or c?
b
Let h = 97 + -308. Let c = -2/164311 + -34575727/164311. Let x = h - c. Is -2 > x?
False
Let u = 3567915/203 + -17576. Is 0 greater than u?
True
Let w = 12194 - 12237. Is w > -920/21?
True
Let u be (2/180)/(590/66611). Let b = u + -1/225. Is 3 at most as big as b?
False
Suppose -3*v - 4*r - 217 = 0, -206 = 4*v - 5*r + 73. Let s be 10/36 - ((-94)/18 - -5). Which is bigger: v or s?
s
Suppose -46*j - 208*j = -26*j + 37620. Is -1478/9 smaller than j?
False
Let d = 156 + -82. Let u be ((-2)/(-4)*2)/(1 - 2). Let i be (u - 72)*1*-1. Is i less than d?
True
Suppose -22*y + 2*z = -25*y + 348, 3*z = 3*y - 333. Which is smaller: y or 121?
y
Suppose 339*u + 36 = 348*u. Suppose 0 = -3*l - 1 - 23. Let n be u/60*6 - l/(-20). Which is bigger: -1/39 or n?
n
Suppose 3*o - 134*u - 17 = -139*u, -5*o + 15 = -5*u. Suppose 3*j = -j + o*v - 12, -4*j = -5*v + 16. Which is smaller: -12/161 or j?
-12/161
Suppose -2 = -12*k + 11*k. Let s be k/(-4 - 63/(-16)). Let p = s + 54. Do p and 22 have the same value?
True
Let q(m) = -2*m**3 - 5*m**2 - m - 11. Let k be q(-4). Let l = k - 31. Suppose -7*j + l = -2*j. Are j and -0.06 nonequal?
True
Let z(g) = -g**2 + 28*g + 4. Let y = -28 + 42. Let l be z(y). Suppose -2*d - l = 4*i, 0*i + 5*i + 250 = d. Do i and -50 have different values?
False
Let t be 2/(-8)*10*(30/33)/(-10). Which is smaller: t or 1?
t
Let d = 118 - 119. Which is bigger: d or 1/1063?
1/1063
Let q = -3528 + 1194. Which is bigger: q or -4665/2?
-4665/2
Let q = -113.92 + 107. Let z = q + 4.72. Are z and 0.06 non-equal?
True
Let v(r) = -r**2 - 122*r - 302. Let h be v(-121). Which is smaller: h or -1/26?
h
Let y = -1517.2 - -1534.2. Is 0.161 smaller than y?
True
Let d(b) = 3*b**2 - 8*b - 7. Let g be d(3). Let f be 132/18*(-6)/g. Which is smaller: 2 or f?
2
Suppose -5*c - 314 - 2136 = -4*z, 4*c + 2*z = -1934. Is -494 less than c?
True
Let r be 48/21 + -2 + 33/7. Suppose d + 25 = -a + 6*a, -a - 3*d = -r. Let o be 4/(-8)*((-15)/6)/a. Which is smaller: -0.34 or o?
-0.34
Let f = -8607.98 - -8751. Let z = -143 + f. Is z less than -33?
False
Let z(c) = c**2 - 4*c + 6. Let b be z(5). Let l be 7/(-2)*(-8)/7. Is b <= l?
False
Let g = 215 - 306. Let n = -82.8 - g. Which is smaller: n or 0.2?
0.2
Suppose -4*t - j = -4, -343*t + 21 = -340*t + 3*j. Which is smaller: 3/17989 or t?
t
Let o be (-24)/(-5)*57/6. Let y = -3242/33 - -12935/132. Is o > y?
True
Let x = -3217.6 + 3208.6. Which is smaller: x or 1669?
x
Let s = 1.77 + -87.77. Let u = 88 + s. Suppose -5*i + 0*i = 4*y - 27, 4*i - 2*y - 6 = 0. Is u less than i?
True
Let t be 14/6*3762/5586*(-1)/13. Are t and 0 equal?
False
Suppose 0 = -3*z + 1 + 119. Let h be ((-36)/10)/(8/z). Let r(o) = o**3 + 18*o**2 + o + 18. Let w be r(h). Is 4/13 at least w?
True
Let x(j) = -3*j - 2. Let n be (-320)/15 - (2 + 16/(-12)). Let f be -2 - (4/n - 72/88). Let u be x(f). Is 3 greater than or equal to u?
True
Let y = -106 - -527/5. Suppose k - 5*s = -1098, 2*k + 2189 = 2*s + s. Let a = 1093 + k. Which is greater: a or y?
a
Suppose j - 21 = -7. Suppose 2*c - j = -0*c - 2*f, 4*c + 3*f = 26. Let p be (c/15)/((-1)/(-1)). Which is smaller: p or -0.7?
-0.7
Let z = 12119 - 12014.98. Let t = z + -103. Let b = -0.02 + t. Is b at most -5/13?
False
Suppose -317 = -5*g - 772. Let i = g + -447. Do -537 and i have the same value?
False
Let t(q) = -2*q**2 - 20*q + 3. Let l be t(-9). Suppose -l - 27 = -3*n. Suppose -19 = 5*o + n. Which is bigger: -9 or o?
o
Let n = 13912 - 6329. Suppose -5497 = -12*t + n. Let l = -5474/5 + t. Do -4 and l have different values?
True
Let v = -226 - -226. Suppose -19*x + 37*x + 6282 = v. Which is smaller: -350 or x?
-350
Let c = 22.669596 - -0.029404. Let v = -0.301 - c. Which is greater: v or -1?
-1
Let k = 25 - 17. Let n = -4 + k. Suppose -5*j - 25 = -5*l, l = -4*j - l + n. Does -6/37 = j?
False
Let d = 233.4407 + -0.4407. Which is smaller: 2/11 or d?
2/11
Let f be ((-5)/(-5))/(4/(-4))*1. Is f at most -12/163?
True
Let i be (1800/420)/((-236)/126 - -2). Which is smaller: 35 or i?
i
Let i = 704 + -704. Let j be 12/(-42) + 730/56. Which is smaller: j or i?
i
Let j = -29260591/219 - -133610. Let b(u) = u**2 - u + 1. Let n be b(0). Suppose -a - n = -2. Which is bigger: a or j?
a
Let f be (-78)/12 - 2/(-4