t v be 3 + (1 - f)/(-2) + -12. Which is smaller: -2 or v?
v
Let i = -76 - -36. Let g be (10/i)/((-10)/8). Let p = -32 + 31. Is g <= p?
False
Suppose 3*u = -2*u. Suppose -4*s - 4 = 0, 2*o - 19 = -u*o + 5*s. Let i be (12 - o) + (-2)/2. Which is greater: i or 2?
i
Let p be 3/(-6)*(-1 - -5). Suppose 6*x + 24 = 2*x. Let n be -21 + 13 + x/(-2). Is p less than n?
False
Let w be ((-3150)/1005)/7*1/(-2). Is w greater than 1?
False
Let p(a) = -a**3 + 15*a**2 - 16*a + 11. Let x be p(10). Is x != 352?
True
Let m = -604 + 624. Which is greater: 216/11 or m?
m
Let z(f) = -13*f**2 + 1 - f**3 + 0*f - f + 8*f**2 + 4*f**2. Let l be z(1). Let c be 58/10 - (4 + l). Is c less than -2/7?
False
Let j = -554275/54 + 10264. Which is greater: 1 or j?
1
Let x be ((-135)/20 + 6 - -3) + -4. Let l = -81/112 - -7/16. Do x and l have the same value?
False
Let b be 2/10 - 27/10. Let w be 2/13 + (-56)/26. Which is bigger: w or b?
w
Let g(t) = t**2 + 12*t - 23. Let d be g(-13). Let r be (5 - 0)*(88/d)/(-4). Which is smaller: r or 48/5?
48/5
Let d = 9943/3 + -3357. Is -44 bigger than d?
False
Let g = -357 - -1774/5. Which is smaller: -2 or g?
g
Let n = 0.15 + -0.55. Do -0.17 and n have the same value?
False
Let m = -188.7 - -179. Let y = m - -9.7. Does -40 = y?
False
Let p = -2797/5 - -557. Let r = p + 81/40. Let s = -1 + -1. Is r < s?
False
Let d(q) = -16*q + 33*q + 20 - 19*q. Let z be d(10). Is z at least -3/29?
True
Let m = -245.332 - -246. Let h = m - 0.068. Is h < -6?
False
Let g = -0.7 + 0.6. Suppose 6*k - 2*k = 28. Is k != g?
True
Let u be 5/(-20) + 0 + 391/(-4). Let j = 56 + u. Which is bigger: -43 or j?
j
Let u be (-180)/8 + -9*7/(-126). Which is bigger: -7 or u?
-7
Let o be -95 + 102 + 36/(-7). Which is bigger: o or 1?
o
Suppose 3*z - 1 = 2*n, 3*z + 2*n - 17 = -0. Suppose 4*u = -g + 4 + 14, -4*g - z*u = -98. Does g = 26?
True
Let n = -0.102 - -0.092. Let o = 6 + -4. Suppose f + 4 = -3*j, -o*f = 3*j + 12 - 4. Is j >= n?
True
Let c = 0.042 - 0.102. Which is greater: c or 0.3?
0.3
Let j = 818 - 202045/247. Let d = 23020405 - 164895160303/7163. Let p = j + d. Is 0 bigger than p?
False
Let d(w) = w**2 - 4*w. Let y = 11 + -6. Let o be d(y). Suppose -3*q + 3*u = -27, 0 = 13*u - 9*u + 20. Which is smaller: o or q?
q
Let m(f) = -f - 1. Let n be m(-19). Suppose -4*d + 34 = -38. Is n equal to d?
True
Suppose 0 = 2*m + 2*k + 12, -2*m + 0*m + 2*k = -8. Let a be 2/(-4)*0*m. Let f = -34 - -169/5. Do a and f have the same value?
False
Let a = -123 - -126. Suppose -4*v + 39 = i + 2*i, -a = v. Which is smaller: 19 or i?
i
Let t(v) = -v**3 + 23*v**2 - 19*v - 66. Let s be t(22). Is s greater than or equal to -19/20?
True
Let y = -214 - -214.3. Is y less than or equal to 62?
True
Suppose 3*w + w = 28. Suppose -13 = w*z + 1. Which is bigger: -6 or z?
z
Suppose -9*p - 15 = -12*p. Suppose -r - p*n + 16 = 2*r, r = 4*n + 11. Let z be (-6)/r + -3 - -4. Which is smaller: 1 or z?
z
Let c(o) = -o - 4. Let j be c(-6). Let u = 0 + j. Suppose -5*r = -u*r - 3. Is 2 <= r?
False
Let m = 42 - 165. Let r = 77 + m. Which is bigger: 0 or r?
0
Suppose -4*u + 20 = -4*m, 0 = 5*u - 5*m + 3*m - 13. Suppose -5*y - 4 = u. Let k = 10/7 + -8/7. Is k equal to y?
False
Let j be -1*6/(-4) + (-8151)/3132. Let x = j + -1/116. Which is bigger: -2 or x?
x
Suppose -5*u + 29 = -b, -5*b - 6 = u + 9. Is u >= 66/13?
False
Suppose -2*o = q - 4, 7*o - 2*o = 5*q + 25. Let j be o - ((-3 - 0) + 2). Suppose 5*i - j*r = -14, 1 = 4*r - 3. Is -10/7 at least i?
True
Let p = 77/4 + -11. Which is smaller: p or 1/4?
1/4
Let k be (-1 + 12/(-24))/((-3)/(-284)). Is -139 equal to k?
False
Suppose -3*t = 2*t + 30. Let n(l) = -3*l - 16. Let h be n(t). Suppose -14 - h = -g. Which is smaller: 17 or g?
g
Let a = 57496/3 + -19166. Let i = 1 + 0. Is i not equal to a?
True
Let j = -86 - -95. Which is smaller: -0.02 or j?
-0.02
Let l be (-5)/(-1) + (9 - 680/50). Is l less than -42.1?
False
Let g be 5/(-1)*(0 + 1). Let c be ((-12)/(-14))/(g/35). Suppose 0 = -4*i + 1140 - 1160. Are i and c non-equal?
True
Let o(h) = 4*h**2 + 7*h + 14. Let u be o(-4). Suppose 49*q - u*q = 0. Is -2/269 at least q?
False
Suppose 5*v - 5*p = 0, -199*p = 5*v - 198*p. Which is smaller: 1/346 or v?
v
Let x = -0.03 + 0.43. Let v = x + -2.4. Let o = 1 + v. Are o and -0.2 non-equal?
True
Suppose 4*f - 667 = r - 665, 3*r = -6. Let v be -1 + 8/21 + 1. Which is smaller: v or f?
f
Let s = 48 - 85. Let o = s - -63. Which is smaller: o or 27?
o
Let t(l) = l**3 + 3*l**2 + l - 2. Let n be t(-2). Suppose 3*a - 20 + 5 = n. Suppose -a*j - 3*k - 17 = 11, 3*k = -j - 8. Which is greater: -6 or j?
j
Let z = -163 - -168.9. Which is smaller: z or -5?
-5
Let q = -268 + 269. Is q at most as big as -2/317?
False
Let m be (-952)/(-756) - (-2)/(-6). Which is bigger: m or 2?
2
Let s = -11 - -19. Suppose 4*i = s, 0 = -3*u + 5*i + 9 - 31. Let m be u/(-4) + (-5)/7. Is m < -2/3?
False
Let a(f) = -f**2 + 3*f**2 - 3*f**2 - 9 - 6*f. Let q be a(-4). Is q less than or equal to -1/81?
True
Suppose 0 = 6*z - 17*z. Are -2/29 and z nonequal?
True
Let f(k) = -2*k - 39. Let u be f(-13). Which is smaller: -1 or u?
u
Suppose 13643 = -18*a + 3005. Is a smaller than -589?
True
Let m(i) = 33*i**2 + 13*i - 53. Let q be m(4). Is 526 > q?
False
Suppose -27 = 5*f + 3. Let x be (5/10)/(1/f) + -7. Is x greater than or equal to -7?
False
Let o = -1 + -40. Which is smaller: o or 1?
o
Suppose -4*w + 783 = 75. Is 178 at most as big as w?
False
Let b(w) = 16*w + 23 - 7*w + 0*w**2 + w**2. Let x be b(-4). Which is smaller: x or 2?
2
Let i = -6.5 - -8. Let r = -2.4 + i. Suppose 0 = -o + 6*v - 11*v - 21, 4*v + 16 = 0. Which is bigger: o or r?
r
Let d = 1.33 - 21.33. Which is smaller: 1 or d?
d
Let w be (((-6)/14)/(44/77))/((-2574)/624). Let s be 10/(-14)*6/15. Which is bigger: w or s?
w
Suppose 18*y = 19*y - 38. Which is smaller: 35 or y?
35
Let j be -8 + ((-6)/10 - 18010/(-2100)). Let k be 0 + (-1 - (-2 + 1)). Which is smaller: k or j?
j
Let v = 2/417 - -3326/2085. Is -0.9 less than or equal to v?
True
Let h(l) = 2*l**2 - 16*l + 126. Let s be h(19). Is s equal to 545?
False
Suppose 23*s - 4*s - 247 = 0. Are -7 and s equal?
False
Let a = 199 - 199. Is -3/88 at least a?
False
Let i(p) = -p**2 + 1 - 7 - 4*p**2 + p**3 + 6*p. Let q be i(4). Let t be q + 16/(-4) + 2. Is 1/17 bigger than t?
True
Let a be 6*(-4 - 125/(-30)). Which is bigger: 1/1962 or a?
a
Let a = 181/1177 + 3/107. Let s(r) = -2*r - 17 + 13 - 12. Let v be s(-8). Are v and a nonequal?
True
Let j = -4 + 4.2. Let u = j - -8.8. Let h = -10 + u. Which is bigger: 0.01 or h?
0.01
Let s(t) = -t. Suppose 0 = -2*d - 8, -6*z + z + d = 36. Let c be s(z). Let k(l) = l**2 - 7*l - 9. Let h be k(c). Do h and 0.1 have the same value?
False
Let f = -27 - -66. Suppose 37*r = 18*r. Let j be (26/f)/(r - -1). Which is smaller: j or 4?
j
Let j = 67 + -25. Let r be 2023/49 + 4/(-14). Which is smaller: j or r?
r
Let z = -22732/9 + 153571/63. Let p = z + 88. Are 1 and p unequal?
True
Let f be ((-25)/10)/(2/1108). Let t = -155121/112 - f. Is t != -1?
True
Let t = 3.71 + -3.64. Suppose -44 = -5*h + 76. Let j be 22/h - (-2)/(-8). Do t and j have different values?
True
Suppose 165*g - 191*g + 15938 = 0. Is g at most as big as 612?
False
Suppose 47 = 2*d + 65. Which is bigger: -52/5 or d?
d
Suppose 4*g + 3*y + 54 = 0, 3*g - 9 = 4*y - 37. Is g greater than or equal to -2/27?
False
Let l be (-1)/(22/4) - 100/(-550). Suppose l = -2*p + 3*p + 58. Is p not equal to -1/2?
True
Suppose 10*d - 56 = 6*d. Let i be (2 - (4 + -1))/(d/(-4)). Is i smaller than -1?
False
Suppose -w - 23 = -2*v + 250, 0 = 3*w - 5*v + 816. Is w equal to -266?
False
Let c = 250 + -260. Which is smaller: 1 or c?
c
Let t = -74 + 93. Which is greater: 18 or t?
t
Let c = 18 - 13. Suppose -2*a - 4 = -c*q + 7, 4*q - 6 = 3*a. Suppose 5*g + 2*u = -28, 2*g - g + q = -3*u. Is -6 less than or equal to g?
True
Suppose 2*a + 27*z - 28*z = -335, 0 = 4*a + 5*z + 705. Which is greater: a or -0.1?
-0.1
Let i be (-7634)/77 - 6/7. Is i greater than or equal to -102?
True
Let k be 0 - 6 - (-1 - -3). Let w = k - -10. Suppose -3*z + 2*z = -x - 4, 0 = -w*x + 4*z - 12. Are x and -2 unequal?
False
Let s = -14 + 21. Suppose -4 = -s*f - 18. Let o = -5 + 5. Is o bigger than f?
True
Let m = 1107/2 - 630. Is -2/5 at most m?
False
Let z = -129 + 137. Let h be (2/15)/(z 