be o(-13). Let t be ((-1)/3)/(q/(-3)). Let u = 35 - 34. Is u at most t?
False
Let i be 11 - 10/60*66. Is 9/17 not equal to i?
True
Let x be -2 + 1 + 3 + -1. Does x = -2/111?
False
Let n = 0.051 - -18.949. Is n at least as big as -3/5?
True
Let v = 767/1012 - 2/253. Is 3/14 at least v?
False
Suppose -66*z + 57*z = 540. Are z and -61 non-equal?
True
Let x be 0 + (-46)/1 + 0. Let v = -39 - x. Is 7 not equal to v?
False
Suppose -1 = -j + k, 11 = -j - 0*k + 4*k. Suppose h = -q + 6, j*q - 2*h = 14 + 9. Are 6 and q non-equal?
True
Let p = -12983/6 + 231755/114. Let n = p + 131. Is 0 <= n?
True
Let n = -1478/203 - -50/7. Let d = 8 + -7. Is n not equal to d?
True
Let n(z) = -1. Let b(i) = -5*i + 38. Let w(t) = b(t) - 2*n(t). Let l be w(8). Are l and -0.031 nonequal?
True
Let d = 556 - 947. Which is smaller: d or -390?
d
Suppose -38*s - 10 + 10 = 0. Which is greater: s or -6/275?
s
Let q be 4 + 1 - (-2 + 0). Let l be ((-735)/(-98))/(0 + 4/3). Which is smaller: l or q?
l
Let a = -22.4 - -5.4. Which is smaller: 3 or a?
a
Let d be (1*2 - 1) + 93. Suppose 2*s - 2*l = 170, 332*s + 4*l = 337*s - 433. Is d <= s?
False
Let w = 67 - 87. Let u be (w/14)/(16/(-7)). Is -0.1 less than u?
True
Let n = 622 - 561. Is n greater than 54?
True
Let z = 150 + -157. Let h = 10 + -2. Suppose -13 = u + 2*p + 2*p, p = -5*u - h. Which is greater: z or u?
u
Let b(f) = 15*f + 481. Let i be b(-32). Is i at most as big as -1/70?
False
Let h(g) = -19*g**2 - 7*g - 5. Let s be h(-1). Let d(u) = 20*u + 1. Let z be d(-1). Let f = s - z. Is f smaller than 2?
False
Let i = 465.13 + 869.84. Let m = i + -1341. Let g = 6 + m. Which is greater: -0.3 or g?
g
Suppose 2*v = -4*x - 44, -3*x = -4*x + 4*v - 2. Suppose -m = 3*m. Suppose -4*y - 48 = -4*t, -5*t + 3 + 2 = m. Are x and y nonequal?
True
Let x be 4 - ((1 + 55)/(-4) + -3). Let o(j) = j**3 - 20*j**2 - 21*j + 7. Let r be o(x). Let z = -1 - -9. Is r at most as big as z?
True
Let r be 6/27522*867 - (-14)/(-77). Suppose 2*z = z. Which is smaller: r or z?
z
Let r(v) be the third derivative of v**5/30 - v**4/6 + v**3/3 + 12*v**2. Let l be r(2). Is 3/5 smaller than l?
True
Let h = 431/18 - 403/9. Let o = 22 + h. Are o and 1/4 equal?
False
Suppose -5*i + 31 = 3*k, 2 + 3 = -5*k + 3*i. Is 27/10 <= k?
False
Let n be (-6)/(-45) + 953/30. Let i = 142/5 - n. Do -3 and i have the same value?
False
Let v = -196 + 198. Which is greater: v or -1.65?
v
Suppose 3*c - 3 = 2*c. Suppose -7 = c*n + 5*y, n - 5 = -0*n + 2*y. Is -7/17 at least as big as n?
False
Suppose -2*f = 3*p - 28, -4*f + 5 = 2*p - 3. Let k = 117 + -311/3. Is k smaller than p?
False
Let r(i) = -i**2 + 8*i + 42. Let v be r(11). Which is smaller: v or 12?
v
Let o = -28847/636 + 5/212. Let l = o + 47. Is l at least 2?
False
Let i = 1 - -6. Let c be ((-1)/i)/((-7)/28). Let m(n) = n**2 - 7*n + 8. Let z be m(6). Which is smaller: c or z?
c
Let q = 1 - 0. Let w = -545199/14 + 38965. Let x = 45/2 - w. Is x smaller than q?
True
Let p(n) = -11 + 3*n - 7 - 6*n. Let k be p(-14). Let x be ((-2)/6)/((-4)/k). Is 1 not equal to x?
True
Let m(p) = -14*p - 160. Let l be m(-12). Which is greater: 2 or l?
l
Let r = 86/3 - 608/21. Let m = 21 + -21. Is r less than or equal to m?
True
Let y = -49 + 47. Let f be ((-4)/(-261))/(y/3 + 0). Is f >= 0?
False
Let q be (-1)/6*4/11. Let p(j) be the third derivative of j**6/120 - 5*j**4/24 + j**3/2 + 2*j**2. Let t be p(2). Are q and t unequal?
True
Suppose 13 = 3*q + 10. Let y be (9/8)/(q + (-35)/20). Which is greater: y or -3?
y
Let v(p) = p**2 - p + 4. Let r be v(-8). Let w = -30889/2 + 217281/14. Let x = w - r. Which is smaller: x or 1?
x
Let n be 6/(-24) + 23/(-4). Let v(s) = -s - 1. Let c(h) = 5*h - 2. Let l(x) = n*v(x) - c(x). Let u be l(-7). Does u = -1/18?
False
Let f(v) = -v**3 - 7*v**2 + 31*v + 11. Let x be f(-10). Are x and -1/95 equal?
False
Let x(d) = d**2 - 20. Let m be x(0). Let z = m - -28. Which is smaller: z or 0.7?
0.7
Let l = 2/317 + -2225/951. Which is bigger: l or -2?
-2
Let x be 884/17*1 + -1 + 1. Which is bigger: 101/2 or x?
x
Let t be 2 + 1 - (2 + 110/114). Let n = t - -17/57. Which is greater: -2/49 or n?
n
Let l = 11 - 27. Let x be 36/48*l/(-66). Which is bigger: x or 1?
1
Let r be (28/(-60))/(2/5). Suppose 1 = m + 2*v - 0, -64 = -4*m + 4*v. Suppose -3*c = 5*i - 5, 0*c + 3*c = -2*i + m. Which is bigger: i or r?
r
Let y = 169 - 316. Let l be (-1 + 2)/((-7)/y*7). Is l > 2?
True
Let b = 0.081 - 1.141. Let f = 1790.9 - 1791. Is f at least b?
True
Suppose -34*k - 4*k = -17252. Is k > 455?
False
Let k = -112 - -105. Let u = -6.97 - k. Is u < 0.1?
True
Let q = -33371/162 - -206. Which is greater: 0 or q?
q
Let l = -1257/973780 + 1/5380. Which is smaller: 0 or l?
l
Suppose -3 = -k - 6. Let t = 139 + -133. Let h = k + t. Is h smaller than 4?
True
Let a = 2003 - 2041. Which is smaller: 0 or a?
a
Let r = -0.23 + 9.23. Let x = 15 - r. Let q = -5.94 + x. Which is smaller: -2 or q?
-2
Suppose -2*r = -4*g - 52 - 2, 0 = -r - 3*g + 22. Let q = r + -31. Are q and -9 unequal?
True
Suppose -2*v = 8*j - 13*j + 427, -j = -4*v - 71. Is 90 at most as big as j?
False
Suppose 3*y = 4*f + 2*y + 31, -3*f - 4*y = 9. Let i = f - 0. Let b = 9.8 - 10. Is i at most b?
True
Suppose 20 = 3*h + 119. Let q be (135/h - -2)/(-1). Let f = -449/220 + q. Is f less than or equal to -1?
False
Let a be 19/38 - 47/78. Is 4 less than a?
False
Let k = 193 + -211. Which is greater: -19 or k?
k
Let c = 1095 - 3251/3. Do 10 and c have different values?
True
Suppose y - 125 = -3*t, 0 = 3*t + 5*y - 214 + 69. Is t greater than or equal to 2?
True
Let l be 3/(-6)*(-192)/(-3). Suppose 2*j = 4*c + 136, -57*c + 53*c = -5*j + 142. Which is bigger: l or c?
l
Let h(j) = -j**3 - 17*j**2 - 14*j + 35. Let i be h(-16). Suppose 3 + 15 = -i*p. Is -2 smaller than p?
False
Suppose -6 = 2*d - 14. Let k be 5 - 1*4/d. Suppose -3*z + 2*x - 48 = 0, 4*x + 62 = -k*z + 6*x. Are z and -14 unequal?
False
Let d be (-324)/20*(152/168 - 1). Which is smaller: d or 2?
d
Let g = 1993/4 - 498. Is g smaller than -1/349?
False
Let h = 0.316 + -2.126. Let z = h + 0.01. Let b = 3.8 + z. Which is bigger: b or 0.9?
b
Suppose 0*r - 16 = 2*r. Let b be r/52 + (-212)/(-26). Let n = b + -12. Is -4 != n?
False
Let x = 147 + -145. Let y be (1/3)/(x/84) - 2. Which is bigger: y or 15?
15
Let q = -133 + 86. Let j = -29 - q. Let c be ((-7)/21)/(2/(-114)). Is c less than j?
False
Suppose 3*m + 2 = 4*w - 29, 0 = -4*w + 2*m + 26. Suppose -5*z - 15 - 9 = 3*c, 0 = -w*c + 2*z - 58. Which is smaller: c or 1?
c
Let r = 0.1238 + 165.8762. Which is greater: 1 or r?
r
Let i = 0.04 + -0.23. Let m = -0.39 - i. Let z = -1.2 + 1. Is m > z?
False
Let h(v) = 16*v**2 - 14*v - 36. Let k(u) = -3*u**2 + 3*u + 7. Let b(f) = -2*h(f) - 11*k(f). Let w be b(5). Let z = -95 - -286/3. Which is greater: w or z?
z
Let n = -1.68 - -2. Let z = -0.234 + -0.186. Let i = n + z. Which is bigger: -10 or i?
i
Let i be (3 - 6302/50) + 4. Let u = 119 + i. Which is greater: u or 1?
1
Suppose c = -0*c. Suppose 5*o + 19 = p - c*p, -o - 119 = -5*p. Which is bigger: p or 25?
25
Let n(u) = 4*u - 6. Suppose 3*g - 31 = 5*x - g, 2*g = -4*x - 30. Let f be (-9 - x)*(-3 - 1). Let q be n(f). Are 27 and q nonequal?
True
Let t be ((-6)/5)/((-1)/(-30)). Suppose 46*z = -2*z - 1200. Let m = t - z. Is m < -11?
False
Let v(p) = p**2 - p - 15. Let n be v(7). Let l = n + -34. Are l and -8 equal?
False
Let i be 8/(-16)*(0 - 0). Suppose i = b - 0*b + 5*m + 25, b = -2*m - 13. Are b and -6 non-equal?
True
Let d = 0.003 + 2.897. Let z = d - 2.7. Which is greater: z or -7?
z
Suppose -3*i = 5*v + 356, 5*i = 2*i - v - 376. Let k = -91 - i. Let b be 303/k - 2/3. Is 7 bigger than b?
False
Let d = 14747 - 58635/4. Which is greater: d or 87?
d
Let a be 11/(880/(-7410)) + (-3)/8. Is a equal to -92?
False
Let c(l) = l**2 + 9*l - 20. Let d be c(-11). Suppose -3 - 3 = -h. Let x be 3/5 + (-4)/h. Which is smaller: x or d?
x
Let x be (6/10 - 1)*1. Suppose -k = 17*j - 12*j - 6, 0 = 3*k - 5*j + 22. Which is smaller: x or k?
k
Let w(g) = -19*g**2 - 7. Let x be w(3). Is -178 at least x?
True
Suppose y + 5*c - 20 = 0, y - 9 = -c + 19. Let j be -12*(1/(-5) - (-111)/y). Is j at most -41?
True
Let v be (-39)/2*(-8)/(-6). Let h = -59 + 34. Is v equal to h?
False
Suppose 11*b - 110 = 176. Let g be b/(-3) + 8 - 158/6. Which is greater: g 