equal to b?
True
Suppose -z + 11 = -4*g - 6*z, -4*z = -3*g + 15. Let j = g - 0. Suppose 277*p - 252*p = -25. Which is smaller: j or p?
p
Suppose 7*p - 7 + 0 = 0. Let j(i) = i**3 - 2*i**2 - 2. Let m be j(2). Which is bigger: m or p?
p
Let c = 16676 - 17141.05. Let f = c - -478. Let s = 13 - f. Which is bigger: s or -2/3?
s
Let f(y) = y**2 + 1. Let d(p) = p**3 + 13*p**2 - p - 11. Suppose s + u + 2*u = -4, 4*s + 37 = -5*u. Let i be d(s). Let v be f(i). Is 0 <= v?
True
Let h(u) = -u**2 - 70*u - 550. Let s be h(-9). Which is smaller: s or 1/2408?
s
Suppose -25*c + 34*c = -9. Are c and -1/6 equal?
False
Let l = -378/187 + -46/17. Is -4 < l?
False
Let x(k) = -k + 24. Let q be x(12). Let m be q*(-3 - -4)/(-1). Let b(f) = -3*f + 8. Let j be b(7). Which is smaller: j or m?
j
Let w be (10/(-6))/5*-3. Let q be ((-28)/(-16))/(w/8). Let t = q + -4. Which is smaller: 11 or t?
t
Let i be (12/9*3 - -1) + -5. Let m be 0 + 0 + 18/(-20). Is m less than i?
True
Let u(o) = -o + 0 - 3 - 2. Let g be u(-5). Which is greater: g or 4/11?
4/11
Let u = -1403/7 - -201. Let s be (1 - -2) + 11/(-4). Which is bigger: s or u?
u
Let f(l) = 2*l - 30. Let v be f(15). Let s be v + 2 + (-16)/12. Let k = -1.2 - -0.2. Is k >= s?
False
Let w be (284/(-3))/((-1)/3). Which is smaller: w or 283?
283
Let m(u) = -u**3 + 4*u**2 - u - 1. Suppose 0 = -4*o + 3*r + 4 + 17, 2*o + r = 3. Let q be m(o). Is 14/3 != q?
True
Let g = 67360052/259 - 260077. Let m = 2/259 + g. Let y = -1.714 - -1.814. Which is smaller: y or m?
y
Let m = -119.4 + 124.4. Is m at most as big as -3/61?
False
Let x be (0 - (-4 + 4)) + 3. Suppose -x*u = -8*u + 5*a - 15, 5*a - 15 = -3*u. Is u not equal to 2/101?
True
Let g = 1 + 1. Let l be 14/2 + -3 + 4 + -2. Suppose l*a - 8*a = g. Is a <= 3/20?
True
Let v = -21 + 5. Let c = 6 + v. Let k = 168 - 168. Which is greater: k or c?
k
Let x = -8 + 8.1. Which is bigger: x or 16/25?
16/25
Let k be 11/(-22) - 163*3/(-90). Let h = k - 1613/330. Let z be -1 - (-3 + 2/1). Which is bigger: h or z?
h
Suppose 4 = -4*t + 4*n, 3*t - 5*n = -4*n - 11. Which is smaller: 0.06 or t?
t
Suppose -15 = -b + 1. Let f = -10 + b. Let t be (4/(-8))/((-1)/f). Is -1 > t?
False
Let z(b) = 146*b - 1021. Let g be z(7). Is -9/287 <= g?
True
Let l = -557 - -582. Is l equal to 25?
True
Let x = 35031/4 - 8757. Let o = 3 + -2. Let z be o/(-1*(-3 + 2)). Is z > x?
True
Let n be ((-14)/(-3))/(2/(-6)). Let g be 8/n + 1/1. Let f = -13 + 12. Which is smaller: f or g?
f
Let x(p) = -p**2 + 3. Let m be x(0). Suppose i - 5 = -3*z, -i = 4*z + 4*i + 8. Suppose -2*b = m*c + z, 0 = -5*b - 4*c - c. Which is smaller: 1 or b?
1
Suppose 5 = -5*t - 2*w, 3*w - 16 = 4*t + 7*w. Which is greater: t or 3/35?
t
Let m be (-24)/(-1)*(-11)/3. Let w be -3 + 4/m*-62. Which is greater: w or 0?
0
Let f = -2/779 - 677/39729. Let g(q) = -q**2 + 4*q + 5. Let d be g(5). Which is greater: d or f?
d
Let f = 65 + -63. Let p be 2/4 + 5/(-10)*f. Which is greater: -9/7 or p?
p
Let g = -284 - -284.05. Which is greater: g or 9?
9
Let q = 164 + -102. Are 1 and q equal?
False
Let d = 0.3438 + -26.3438. Let i = -3 + 3. Which is smaller: i or d?
d
Let i = -4.07 + 0.77. Let t = 2.95 - -0.05. Let f = t + i. Is -4 greater than f?
False
Let x be (-14)/(-8)*24/(-13 - -7). Is x greater than -39/5?
True
Suppose -s + 2*s + 16 = 0. Let j be 5 - (3/(-9) + (-13 - -33)). Is s at most j?
True
Suppose -275 = -45*l + 46*l. Which is smaller: -274 or l?
l
Let u = -5 - -6. Suppose b = 0, 2*b = -3*s - 3*b - 120. Let k be 1/5 - (-6)/s. Is u at most as big as k?
False
Let w = 31 - 33. Let f = -34 + 37. Suppose 3*c - 9 = 2*y + y, -2*c = f*y - 16. Is w less than c?
True
Let k = -2085077/19 + 110038. Let j = -297 + k. Are j and -1 non-equal?
True
Let u be ((-6)/(-12))/((-6)/12) + 315. Is 315 > u?
True
Let o be 592/(-6) - 6/18. Let q be (-6)/15 - 6922/70. Let j = q - o. Are -11 and j equal?
False
Let n = -561 - -506.1. Let y = n - -55. Which is bigger: -3/7 or y?
y
Let s = -60 + 57. Let p = -1 - s. Is p equal to 0.2?
False
Let w be (1 - (-2 + 2))*10/(-90). Let i = -4 - -8. Suppose u + i*u = 5. Is u at least as big as w?
True
Let g = 1044 - 1558. Is -514 less than g?
False
Let s be (-75)/9 - (-5)/(-3). Let t = 0 - 4. Which is bigger: t or s?
t
Suppose 0 = -8*c - 6264 + 1264. Is c less than -625?
False
Let l = -163 - -163. Which is smaller: -46 or l?
-46
Let k = -116 + 112. Suppose 0 = -o + 2 - 6. Is o greater than k?
False
Let f(m) = m + 6*m - 13 - 3*m**2 + m**2 + 24. Let q be f(6). Does q = -19?
True
Let g = 2635 - 2635. Do g and 12/37 have different values?
True
Let t(q) = q**3 - 7*q**2 - 4*q - 14. Let m be t(8). Suppose -v + 4*w - 1 = 3*w, 2*v - m = -3*w. Is v bigger than 1?
True
Let q = -1.5 + 34.5. Let j = -61.394 + 0.394. Let l = q + j. Which is smaller: 1 or l?
l
Let c be ((-6)/(-5))/(9/30). Let o = 826 - 826. Does o = c?
False
Let y = 2 - 0. Let h = -2.072 + -0.028. Let k = y + h. Are 1/11 and k unequal?
True
Suppose -v + 4*v = -d + 354, 2*v + 3*d - 243 = 0. Let l be -2 - (-56)/9 - 26/v. Is l not equal to 19/4?
True
Let g = -341 - -399. Which is smaller: 65 or g?
g
Let s = -1979/12 - -165. Let u be (0 - -1)/(140/40). Which is bigger: s or u?
u
Let k = 507 + -578. Is -70 < k?
False
Let o be ((-6)/21)/1 + 1935/(-63). Which is bigger: o or -32?
o
Suppose 0 = -306*t + 312*t - 720. Which is smaller: 241/2 or t?
t
Let l = 48 + -43. Suppose 4*a - 12 = l*z, 2*z + 2*a + 10 + 2 = 0. Is z at most as big as -5?
False
Suppose -5*p - y = y, 0 = -2*p - y - 1. Let n = -6080/29 - -120338/203. Let l = 384 - n. Which is smaller: p or l?
l
Suppose -h = -5*x - 157, -11*x + 8*x + 189 = h. Which is smaller: h or -0.1?
-0.1
Let v = -64 + 25. Suppose -d + 2*f - 18 = 20, -3*f - 203 = 5*d. Is v not equal to d?
True
Suppose 0 = 7*f - 2*f - 20. Suppose l = 2*t + 91, -f*l = 3*t - 5*l + 134. Is t less than or equal to -43?
True
Let x = -41 - -56. Let u be (72/(-21))/((-24)/84). Which is smaller: x or u?
u
Let m = -51 - -77. Are m and 1/3 unequal?
True
Suppose 0 = 16*f - 11*f - 7500. Let l be -753*(-8)/f + -4. Which is smaller: l or 1?
l
Let u = 155/3 - 43. Is 8 at least u?
False
Let d(z) = -z**2 + 6*z + 7. Let q be d(6). Suppose 2*f - s + 26 = -q, 4*f + 5*s = -87. Is f > -19?
True
Let m = -707 - -9203/13. Let u be 0/((1 - -1)*-1). Which is smaller: u or m?
u
Let o(j) = 4*j - 2. Suppose -2*f + 4 = -0. Let m be o(f). Let c be 4/m - 115/15. Which is bigger: -6 or c?
-6
Let f(i) = -4*i**2 + 13*i - 42. Let y be f(5). Let c = y + 82. Let p = -1 + 7. Are p and c unequal?
True
Let d(s) = 5*s**2 - 5*s - 25. Let j be d(-4). Suppose -j = 3*c - 6*c. Which is smaller: 0.2 or c?
0.2
Let v = 12/113 + -1147/11865. Let m = -2188 - -2189. Which is bigger: m or v?
m
Let z = 98 + 67.1. Let k = z - 156. Let n = k - 9. Is n smaller than -15?
False
Let z = 1 - 7.4. Let x = z - -6. Let f = -11 - -97/9. Which is bigger: f or x?
f
Let s be (-1)/(-4)*8/10. Let a = -35.975 + -0.025. Let t = a - -35. Which is greater: t or s?
s
Let j(k) = k**3 - 12*k**2 + 9*k + 21. Let c be j(11). Let n be (c + -2)*56/(-40). Are -0.1 and n equal?
False
Let u = -2.6 + 1.6. Let f = 543 - 2717/5. Which is smaller: u or f?
u
Let i = 2067.5 + -2068. Is i less than -0.05?
True
Let v = -0.36 + 0.14. Let j = v + 0.08. Let d = 0.04 + j. Which is bigger: -1/6 or d?
d
Let a = 310 - 310. Let z(i) = i - 3. Let x be z(5). Suppose a*v + x*v + 4*t = 24, -2*v + 26 = 3*t. Which is greater: v or 17?
17
Suppose 61*n - 231 = 135. Let c = 11 + -8. Suppose -d = -c*d. Is d at most as big as n?
True
Let u(l) = l**3 + 3*l**2 - 2*l + 5. Let o be u(-3). Suppose n + 1 = 2*n. Is n bigger than o?
False
Let r(s) = -s**3 + 5*s**2 + 2*s + 8. Let k be r(5). Suppose 2*m - 6*m = -4*f + 16, -3*m - 3*f = -k. Let l = -9 + 16. Does l = m?
False
Let j(s) = -2*s + s + 4 + s - s. Let y be j(6). Which is bigger: 1/4 or y?
1/4
Suppose 0 = -3*k - 4 + 13. Let h be -2 - (k/9)/((-3)/9). Which is bigger: 1/32 or h?
1/32
Suppose 0 = -j - 4*n + 20, -5*j + 3*j = -5*n + 25. Is -21/67 at most as big as j?
True
Suppose 0 = 61*u - 48432 - 33125. Do 1337 and u have the same value?
True
Let o = 27 - 85. Let i = 78 + o. Is 23 >= i?
True
Let d(z) = -z + 4. Let i be d(3). Is i equal to 1/10?
False
Let q = -140 + -45. Is -185 at least q?
True
Suppose -5 - 7 = -3*y, 0 = 4*o - 5*y + 20. Which is greater: o or -3/25?