. Let f be 1/((10/z)/(-6)). Suppose -r - 2 = r. Is r bigger than f?
True
Let k = 0.01051 - -4.01149. Let o = k + -0.022. Is o greater than -2?
True
Let s = 4.65 + 0.55. Let c = -5 + s. Which is smaller: c or 11?
c
Suppose -13*l + 7398 = 209. Is 553 greater than or equal to l?
True
Suppose 0 = -2*r - 10 - 18. Let a = 23 + r. Suppose 5*c = -3*d - 44, 4*d = -a*c + 4*c - 47. Which is greater: -8 or c?
c
Let t = 25 - 240. Let c be (t/45 - -5) + (-34)/(-90). Which is smaller: 1 or c?
c
Let w be ((-11)/44)/(22/8). Is w equal to -1?
False
Suppose i - 6*i + 498 = 3*p, -5*p + 3*i + 864 = 0. Which is smaller: p or 172?
p
Suppose -4*r + 0 = 2*s - 22, s + 1 = 0. Suppose a - r*a = -80. Let q = -198 - -215. Which is smaller: a or q?
a
Let l(b) = -b**3 + 14*b**2 - 49*b + 457. Let r be l(13). Which is smaller: r or -64?
-64
Let s = -0.158 + -64.842. Let d = s + 65.9. Is d >= -2/3?
True
Let a = -334/13 - -4439/65. Let w = 43 - a. Let d = -0.0611 - -0.0111. Which is smaller: w or d?
d
Suppose 5 = 4*y + 3*q - 4, 2*q - 13 = -5*y. Suppose 14 = 2*x - 4*u, x + u = y*x - 11. Suppose -p = 4*p + x. Do 3/13 and p have different values?
True
Suppose -20*a + 4166 - 746 = 0. Is 171 at least as big as a?
True
Let n = -9 + 5.6. Let r = n + 1.5. Let b = r - -2.2. Which is smaller: b or 0?
0
Suppose -c + 3*f + 19 = 0, -10 - 3 = 3*c + 5*f. Suppose 10*n - 165 = -n. Let g be (n/10)/(-1) + (-1)/(-2). Which is smaller: c or g?
g
Let l = 21 + -21. Suppose -m + 5*y - 22 = 0, -y + 110 = m - 6*m. Let v = m - -133/6. Is l at most as big as v?
True
Let a be (-11 - -9)*(-7)/2. Suppose -4*y - 8 = -2*x, -5*x = -y - a - 4. Suppose -x*h + 6 = 4*w + 90, w + 3*h = -21. Are -22 and w non-equal?
True
Suppose 5*u + 0 = 55. Suppose -u*k + 9*k = 0. Let v = -7/13 + 9/65. Is k less than v?
False
Suppose 5*y - 4*r + 5 = -5, -2*y + 5*r - 21 = 0. Suppose -a + 3*d = -6*a - 2, -3*a + y*d = 5. Is a at most -13?
False
Let d be 28/(-28) + 34*20/744. Do d and 0 have the same value?
False
Let a be (2/(-12))/((-2)/6). Let u(p) = -3*p + 7 + 2 + p**2 - 7. Let h be u(2). Which is smaller: a or h?
h
Let l(d) = -d**3 - 6*d**2 - d - 6. Let g be l(-6). Suppose 4*j - 4 + 40 = g. Let y be j/(-6)*(-5)/10. Is y smaller than 0?
True
Let b be ((-308)/36)/7 + 4/18. Which is smaller: -1/19 or b?
b
Let z = 37 - 37.09. Let u = z - -0.01. Which is smaller: u or 3?
u
Let p(n) = n**2 + n - 1. Let s(v) = 3*v - 4. Let t(i) = p(i) + s(i). Let m be t(-6). Suppose 7*y - 5*y = 16. Do y and m have different values?
True
Let v(b) = b**3 + 12*b**2 + 11*b + 4. Let k be v(-11). Suppose k*i - 8*i + 6 = -y, -2*y - 4*i - 12 = 0. Is y < -6?
False
Suppose 3*w + 36 = 6*w. Let q be (2/(-6))/(-2*(-35)/w). Is 0 smaller than q?
False
Let l = -6516 + 19321/3. Which is smaller: -77 or l?
-77
Let v = 395 + -395.3. Is -205 at most v?
True
Let j be -2 + 5 + -2 - (-35 + -1). Let z = j + -51. Is -25/2 smaller than z?
False
Let s(c) = c**2 + 27*c - 2. Let p be s(2). Is 56 not equal to p?
False
Let r = 0.49 - -1.01. Let h = 0.5 - r. Let j = -7.7 - -8. Which is smaller: h or j?
h
Let m = -121 + 117/2. Let x = -63 - m. Which is smaller: -0.37 or x?
x
Let f = -32 + -9. Let s = f + 24. Let n = 17.07 + s. Which is smaller: -1/3 or n?
-1/3
Let g(x) = 12*x**2 - 4*x - 26. Let j(t) = -t**2 + t. Let c(b) = -g(b) - 5*j(b). Let n be c(4). Is -90 < n?
False
Let c = -2.5 - 1.5. Let a = 3 + c. Let q be 1*2/(12/9). Which is smaller: a or q?
a
Suppose -2*g + 7*g + 2*w = 34, -24 = -5*g + 3*w. Suppose 8*h = -2*f + g*h + 18, -2*f - 4*h + 20 = 0. Which is smaller: 9 or f?
f
Let s = 660 + -19142/29. Suppose 0 = 8*j - 11 - 13. Let t be (-1)/6 - (4 - j)/6. Which is smaller: s or t?
t
Let o be (2/10)/(214/321). Suppose -2 + 0 = 2*h. Which is greater: h or o?
o
Suppose 534 = 3*q - 222. Let v = 153 - q. Let t be 22/v - 83/(-9). Do t and 7 have the same value?
False
Let w = -264 - -266. Which is greater: w or 213?
213
Suppose -3*t + 200 = -5*t. Let l be -4 - (t/4 + -1). Is 23 less than or equal to l?
False
Let t(o) = o**3 - 8*o**2 - 7*o - 24. Let p be t(8). Let d = p + 96. Is d at least 17?
False
Let m be 244/(-18)*(-42)/(-56). Let s = m - -29/3. Is 17/3 not equal to s?
True
Let c be 47*20*21/(-35). Is -565 greater than or equal to c?
False
Let w = -9132 - -18829/2. Which is smaller: 283 or w?
w
Suppose -5*f - 6 + 16 = 0. Suppose -4*y - 12 = -4*x, f - 4 = -4*x - y. Let g = -11/15 + 23/45. Are g and x nonequal?
True
Let j = -69 + 71. Let z = 164 - 487/3. Which is smaller: z or j?
z
Suppose 4*g = -5*t + 19, -3*t + t + 2*g + 4 = 0. Let h be 1*209/44 - (6 - 2). Is t not equal to h?
True
Suppose -5*x = -d + 14, -9 = -16*d + 22*d + x. Let y = -2/4227 - -8572/249393. Which is smaller: d or y?
d
Let b be 28/(-156) + (-6)/39*1. Which is bigger: -0.1 or b?
-0.1
Let c = -347.3 - -347. Which is smaller: 45/2 or c?
c
Suppose 4*w - 4*s + 12 = -44, -5*w - 3*s = 30. Which is smaller: -81/8 or w?
-81/8
Let m = 68/41 + -721/410. Let i be (-1)/1 - -1*1. Which is smaller: m or i?
m
Let c(o) = -o**2 + 14*o - 12. Let w be c(14). Let s be -2 - (189/w)/7. Is 4 <= s?
False
Let o be (0/2)/(-2*5/(-10)). Suppose -4*j = 3*r - 511, -2*j + 272 = -o*r - 4*r. Is 131 != j?
True
Let d be ((-22)/6)/(2 - 1). Let c be 5*((-1)/(-2) - (-8)/16). Suppose y + 3*o + 13 = -2*o, -c*y - 5 = -5*o. Do d and y have the same value?
False
Let c be -2 + 1/4*326. Let b = -77 + c. Let p be (-1)/2*-8 - 638/145. Is p less than or equal to b?
True
Let a = 112.9 + -83.01. Let c = -30 + a. Which is smaller: -1 or c?
-1
Let l be ((-8)/(-21) + (-12)/18)*-23. Suppose 0 = -4*k + 20, k - 3 + 38 = 5*f. Which is smaller: f or l?
l
Let w be (12/2)/((-12)/8). Let z be (w - -6 - 13/2)*-2. Let x = 17 - 7. Is z less than x?
True
Suppose 5 = -2*n - 3*j, 0 = 4*n - 11*j + 10*j - 11. Let b(v) = 28*v - 12. Let t be b(n). Are 43 and t equal?
False
Let n = -29/4 - -887/124. Is 1 smaller than n?
False
Let g = -24.22 + 24. Let a = 0.2 + g. Let f = -5460 + 5461. Is a less than or equal to f?
True
Let c be (-24)/30 - 3/15. Let m = -51/2 + 25. Which is smaller: m or c?
c
Let s = -432 - -431. Let c(z) = z**2 - z + 1. Let d be c(1). Are d and s non-equal?
True
Let v be (12/(-8))/((-2)/(-4)). Let z be -3 + 4 + -4 - v. Suppose 5*h - 2*h - 9 = z. Which is smaller: h or 1?
1
Suppose j - 6*j - 20 = 0. Let v = -437 + 435. Let i be v/j*(16 - 12). Is 4/5 smaller than i?
True
Suppose 16*q - 5225 + 1897 = 0. Which is greater: q or 209?
209
Suppose 0 = 5*p + 3*m + 88, -4*p + 3*m = -3*p + 14. Let j = 20 + p. Is 0 < j?
True
Let j(a) = -a**3 + 18*a**2 + 16*a + 36. Let b be j(19). Which is greater: b or -24?
b
Let d(f) = 5*f**3 + 4*f**2 - 3*f - 2. Let v be d(3). Suppose -q + 9*y - 4*y = -53, 5*q = 4*y + v. Is q at most as big as 28?
True
Let k(x) = x**3 - 11*x**2 + 11*x - 11. Let z be k(10). Let a(o) = -13*o**2 - 2*o - 1. Let y be a(z). Let r be 18/33*(-6)/y. Is r not equal to 0?
True
Let a be (-1)/10*(30/(-4) - -5). Which is smaller: a or 11?
a
Let x = 5/33 - 197/66. Does -2 = x?
False
Let v(u) = 10*u + 66. Let a be v(-7). Let s(n) = -n**3 + 6*n**2 - n + 3. Let d be s(6). Let h be (2 + d)/(4/12). Which is bigger: a or h?
h
Let c be 52/(-78) - (-259)/6. Is c at most as big as -0.1?
False
Let n = 126 + -126. Is n > 51?
False
Let b = -74.4 - -85.17. Is b greater than or equal to 2?
True
Let f be (2 + -3)*(-3 + -2). Let l(v) = 6*v - 16. Let n be l(6). Suppose -n = -3*c - 5. Is c bigger than f?
False
Let q be (3/(-75))/(4/16). Let k(s) = -32*s + 415. Let d be k(13). Which is smaller: d or q?
d
Let g be (951/(-84456))/(1/(-3)). Let f = 1/184 + g. Is f < -1?
False
Suppose 5 = 3*j + 5*c, -68*c = j - 63*c - 5. Which is bigger: j or -2/105?
j
Let g = -59 + 61. Suppose 3*w + 34 + g = 0. Which is smaller: w or -57/5?
w
Suppose 262 + 179 = 7*q. Suppose q = 6*s - 3*s. Suppose 16*i - 85 = s*i. Is i less than or equal to -18?
False
Suppose -2*c + 5*g = -25, 4*c - 6*c + g = -45. Suppose -c = -4*k - 1. Is k at most as big as 10?
True
Let j = 236 + -241.8. Are 1 and j equal?
False
Suppose 0 = -2*m - 2. Let v = 1619.3 + -1619. Which is smaller: v or m?
m
Let i be 10496/3116 - (1 - 1). Is i not equal to -1/3?
True
Let a be (4 + -3)/(2/(-36)). Let n be 2 - (4 + 56/a). Which is smaller: 1 or n?
1
Let k be ((-14)/(-6))/(8/(-72)). Let a = -67/112 + 5/16. Which is smaller: k or a?
k
Let n = -37 - -42. Suppos