 is bigger: 3/2 or f?
3/2
Suppose 2*d = 5*d - 9. Let p be -2*((-59)/5)/((-12)/(-30)). Suppose i + a = -d*a + 3, -5*i + p = -2*a. Is 11 less than or equal to i?
True
Let w be (14/5 - 3)*92. Which is smaller: w or -18?
w
Let q(s) = -2*s - 6. Let i be q(-5). Let x be ((i - 0) + 7)/5. Let r = 15 + -14. Is x less than or equal to r?
False
Suppose 31*n - 7 = 30*n. Suppose -5*w - 4*f + 26 = 0, -w + 2*f + 14 = 5*f. Suppose w*x - 6 = x. Which is greater: n or x?
n
Let g = -638/2337 - -10/57. Which is bigger: g or 1?
1
Suppose a + a - c - 11 = 0, -c + 1 = 0. Suppose -2*b = -5*u - 130, 6*u = 2*b + 9*u - 130. Suppose -b = -a*m + m. Are m and 13 equal?
True
Let r(u) = u + 8. Let v be r(-5). Suppose 0 = -v*p - j + 1, p - 12 = -3*j - 1. Let o be (-1)/(-28) + 4/(-14). Which is smaller: p or o?
p
Let l be (206 - -2)/(178/1525). Let g = 1782 - l. Is 0 < g?
False
Let l(a) = 2*a + 8. Let q be l(-2). Suppose -h - 3 = -q*h. Suppose d = -3*d - 5*o + 9, -o + h = 0. Which is bigger: d or 1/50?
d
Let s(a) = -a**3 - 7*a**2 + 12*a + 29. Let l be s(-8). Do 80 and l have the same value?
False
Let w be 64/(-864) - 2/(-27). Are w and 24/85 equal?
False
Suppose -t + 2184 - 522 = 0. Let x = t - 101384/61. Is 1 at most x?
False
Let j = 4 - 4. Let c = -16 + 28. Let u = c - 21. Is u at least as big as j?
False
Suppose -10 = 2*o + 4*d, -5*o = -0*d + 3*d + 4. Is o > 17/65?
True
Let h = -176 + 91. Which is smaller: h or 2?
h
Let q be 1/3*15 - -19. Suppose -q = -3*b + 4*o, b - 5*b + 2*o + 32 = 0. Which is greater: b or 27/4?
b
Let m = -25 - -31. Suppose 11 = -5*l + m. Is l <= -2?
False
Let c(o) = 2*o**3 - 8*o + 13. Let y be c(4). Do y and 108 have the same value?
False
Let r be (117/(-52))/(2*(-33)/(-48)). Let j(t) = -2*t**2 + 1. Let l be j(-1). Are l and r non-equal?
True
Let u = -0.13 + 12.13. Let r = -7.2 + 19.1. Let k = u - r. Is k bigger than 6?
False
Let v = 1.64 - 24.64. Is v < -1/8?
True
Suppose 4*z - 132 = h, h - 84 = -2*z - 3*h. Suppose z = -n + 1. Which is greater: n or 0.1?
0.1
Let a = -54 + 80. Let o = -26.22 + a. Which is smaller: o or 0.1?
o
Suppose 0 = 21*y - 31*y + 2970. Is 297 not equal to y?
False
Let n(b) = 5*b + 26. Let f be n(-5). Suppose -7 = -3*v - f. Are -3/5 and v equal?
False
Let b = -0.66 + 38.66. Let r = b + -36.1. Let m = r + 1.1. Is 2/5 less than or equal to m?
True
Let t = -5 + 4. Let r = -9/4 + 53/20. Are t and r non-equal?
True
Suppose 3*a - 2*t = 11, -2*a - t = 2*a. Let i = -1/307 - -330/7061. Which is greater: i or a?
a
Let a = 40806463193/67284 + -16981491/28. Let p = a - -78/89. Which is bigger: p or -1?
p
Let j = 0.0389 - 0.1389. Which is bigger: j or -0.249?
j
Let j be (-10 + (-111)/2)*2/(-1). Does 129 = j?
False
Let q be (-15)/2*41/(-20). Let b = q - 15. Let t = 2 - 3. Is t != b?
True
Suppose -2*s - 1 = -2*x + 5*x, -3*x - 4*s + 7 = 0. Let d be (-24)/30 + 176/(-30) + x. Which is bigger: -11 or d?
d
Suppose 3*j - 2 - 178 = 0. Suppose 2*d = j - 14. Is d less than 26?
True
Suppose -u + 2*u - 3 = v, -3 = -5*v - u. Which is smaller: v or -1/192?
-1/192
Let j = -587 - -593. Let y be ((-15)/(-10))/(3/4). Let z = y - -1. Which is smaller: j or z?
z
Let k(a) = -a - 1. Let s be k(-7). Let l(j) = j**3 - 6*j**2 - 8*j + 3. Let z be l(s). Let w be (-72)/z*5/6. Is 0.1 <= w?
True
Suppose 2*h = -9 + 7. Let n be -1 + (h + 0 - (-110)/56). Is n less than or equal to 0?
True
Let g be (2 + (-3 - -1))/(-2). Suppose -6*r - 115 + 7 = g. Is r smaller than -18?
False
Let t(y) = -4*y**3 - 16*y + 1. Let s be t(0). Let w be (-2)/(-8) - (-2067)/(-12). Let r = w + 863/5. Is r at most as big as s?
True
Let n = -254.34 - -284.2. Let t = -30.031 + 0.031. Let u = t + n. Is -2 less than or equal to u?
True
Suppose -21 = c + 6*c. Let s be -7*(5/c)/(-5). Is s equal to 1/2?
False
Let j = 175997/32 + -5499. Which is bigger: 0 or j?
j
Suppose -y = 2*z + 23, -4*z + 128 = -7*y + 3*y. Let d = y - -54. Let p be 8/(-10)*d/(-10). Is p != 2?
False
Suppose -5*i + c = 344, -7*c - 1 = -6*c. Which is smaller: -68 or i?
i
Let h = 0 + -1. Let w = -841 + 841.2. Is w greater than or equal to h?
True
Let x be ((-26)/39)/(2/(-6)). Suppose 0 = x*p - 7*p + 35. Let w = -1 + 2. Is p != w?
True
Let d = -774493/54 - -14343. Which is smaller: d or 2?
d
Let y = 2132/3 + -711. Let c = 69 - 71.9. Is y greater than c?
True
Let o be 2/9*(-24)/328*-1. Let b = -2105/861 + o. Which is bigger: b or -1?
-1
Let c(p) = -p**3 + 30*p**2 + 30*p + 31. Let u be c(31). Let f = -8/97 + 337/2910. Which is smaller: u or f?
u
Suppose 2*s + 222 = 144. Which is bigger: -118/3 or s?
s
Suppose 15*y = -3*y - 90. Which is bigger: 22 or y?
22
Let z = -2236 + 627. Let t = 30559/19 + z. Which is smaller: -2 or t?
-2
Let y = -49 + 55. Is -2/7 at most as big as y?
True
Let m be (-111)/74 + (-9)/(-22). Which is greater: m or -0.1?
-0.1
Suppose 0 = y - 3 + 7, -4*i - 5*y = 96. Let g be (i/(-2))/((-5)/10). Is -20 equal to g?
False
Suppose 2*i + 122 = -2*r - 32, -i + 4*r - 72 = 0. Which is bigger: -71 or i?
-71
Let s be (-7)/28 - (-9)/4. Suppose -6*g = -3*h - 3*g + 18, 4*h - 14 = s*g. Which is bigger: -2/47 or h?
h
Let u be (4183/(-12)*-2)/(77/(-33)). Let q = u - -299. Which is greater: 1/4 or q?
1/4
Let s = 0.0397 - 0.0497. Is s greater than -14?
True
Let p = -141 - -142. Let t(d) = 7*d + 1. Let n be t(-1). Which is smaller: p or n?
n
Suppose -3*g = 4*n + 30 - 6, -n + 9 = -3*g. Which is smaller: -2/7 or g?
g
Let b = 154 - 121. Which is smaller: b or -4?
-4
Let o be 1*(-3)/(21/(-119)). Which is bigger: 16 or o?
o
Suppose 13*g = 5*g + 80. Let c = 8 + -6. Suppose 0 = c*s + 2*w - 26, -5 = s - 4*w + 7. Is g > s?
True
Let c = -5 + 12. Suppose 4*m - c*m = -63. Let h be m/12*6/28. Which is bigger: h or 1?
1
Suppose 5*v - 183 + 208 = 0. Which is greater: 16 or v?
16
Let n be 8/(-6) + 220/150. Suppose 2*t - 33 = 7. Let g = -20 + t. Do n and g have different values?
True
Let h = 76 + -69.1. Let m = 5.9 - h. Which is smaller: m or 3?
m
Let v = -1.96 + 0.69. Let u = v + 1.47. Are -16 and u equal?
False
Let m(u) = -8*u + 48. Let c be m(23). Let l be 102/c - ((-10)/8 - -1). Let s = -0.1 + 0.19. Is s < l?
False
Let u be (3 + (-57)/18)*(-9)/6. Which is smaller: u or -3/5?
-3/5
Let b(u) = 5*u**2 - 17*u + 21. Let j(h) = h**2 - 4*h + 5. Let z(y) = 2*b(y) - 9*j(y). Let g be z(-3). Do 5 and g have the same value?
False
Let l be (-2262)/(-12)*(-4)/2. Let x be l/26 - (-1)/2. Which is bigger: x or -11?
-11
Let a = 269 - 257. Is -7 at least as big as a?
False
Let g be -14 + 852/60 - 291/5. Which is bigger: -63 or g?
g
Let g = -9 - -10. Let o be 4 - 21 - g*-2. Do -15 and o have the same value?
True
Let p = 138 + -139. Does -1/158 = p?
False
Let h be (-50)/(-48)*(-4)/(-10). Let b = 44101/60 - 735. Let q = b - h. Which is greater: 4 or q?
4
Let q be 2 + 608/342*(-55 - 1). Which is smaller: q or -97?
q
Let w(y) = -4*y**3 - 6*y**2 - 7*y - 28. Let t be w(-3). Which is bigger: t or 49?
49
Let x = 20.4 + -8.7. Let q = x - 11.695. Are -0.1 and q unequal?
True
Let p(t) = -t**2 + t - 20. Let b be p(0). Let s = -14 - b. Suppose 276*z - 981 = -161*z + 1204. Which is bigger: z or s?
s
Let w(a) = -3*a**2 - 25*a + 16. Let z be w(-9). Is -2 >= z?
True
Let l(m) = -2*m**2 - 2*m + 3. Suppose -4*v + 2 = -18. Let h be l(v). Let x = h - -229/4. Which is smaller: -2 or x?
-2
Let l = -25.2 + 0.2. Let a = -25 - l. Do a and -13 have different values?
True
Let t = -59 + 61. Which is smaller: t or -18?
-18
Let z = 1602 + -1602. Which is smaller: z or -1.1?
-1.1
Let r be -2 - (-3 + 1) - -3. Suppose 2 = -r*a - 7*t + 3*t, -t + 13 = 3*a. Let l be a/(-10)*40/(-16). Which is smaller: l or 1/2?
1/2
Let b be 9/(-12) - 41*(-39)/(-12). Let w be b/46 + (0 - -3). Suppose -3*q = -2*q. Is q at most w?
True
Let i(v) = 4*v**2 - 2*v + 4. Let p be i(-5). Let c = p + -87. Is 27 not equal to c?
False
Let d = -4 + 6.8. Let t = -10.2 - d. Let n = t - -12.1. Are -0.1 and n unequal?
True
Let u be ((-36)/(-70))/(2/(-28)). Let r(b) = -b**3 + 26*b**2 - 37*b + 294. Let x be r(25). Which is greater: u or x?
x
Suppose -3*t = 3*j - 8*j + 1099, -8 = -4*t. Are 221 and j nonequal?
False
Suppose -3*b + 42 = 3*b. Suppose 4*g = 4*q - 9 - 23, 3*g = -5*q. Let r = q - -3. Which is smaller: b or r?
r
Suppose -3*p + 0*b = 3*b - 27, -2*p - 4*b + 8 = 0. Let x be (-10)/(-15) - p/(-15). Let d = -2 + 5. Which is smaller: d or x?
x
Suppose -