hich is greater: 1/2 or x?
x
Let g(b) = b**2 + b - 9. Let p be g(-4). Suppose p*f + 16 = 19. Do f and 14/9 have different values?
True
Let z(w) = 75 - 64 - w**2 + 5*w - 3*w + w. Let l be z(5). Which is smaller: l or 16?
l
Let w = 39.74 - -0.26. Let k = -2793 - -2793. Is w at most as big as k?
False
Let l(b) = b**2 - 5*b - 30. Let i be l(9). Suppose -7 - i = -13*m. Is m < 8/5?
True
Let c = -0.5 + 0.3. Let z = 583 - 2345/4. Let r = z + 7/2. Is r >= c?
True
Suppose -4*f - 5*d = -543 - 1011, 4*d = f - 399. Which is smaller: f or 392?
f
Let p be (20/650)/(16/60). Which is smaller: 0.1 or p?
0.1
Let h be ((-297)/264)/(6/8). Which is smaller: h or -3?
-3
Let t = -424 - -420.26. Let q = 0.26 - t. Is -0.02 != q?
True
Suppose 8*f - 1254 = -11*f. Which is smaller: 67 or f?
f
Suppose t + 3 + 24 = -4*y, 5*t = y - 30. Is -25/4 at least as big as t?
True
Let b(r) = -2*r**2 - 7*r - 4. Let d be b(-6). Let l = 3829 - 3861. Which is greater: l or d?
l
Suppose 4*x = -3*d + 332, -5*x - 70 = -d + 9. Which is greater: 105 or d?
105
Suppose 0 = -3*k + 3*q - 4551, -3224 = 2*k - 3*q - 185. Is k < -1512?
False
Let b be 7/(-4) - (15/(-4) - -3). Suppose -13 = -3*k + 2*h, 0*k - 5*h - 27 = -2*k. Let z be ((-9)/(-3))/(-2 + k). Is z < b?
True
Let g = 170 - 27. Let n be 1/(-3) - 30128/210. Let y = g + n. Is y at least as big as -1?
True
Let o = 0 + -2. Let r be 28/(-5) - (-15)/25. Do o and r have the same value?
False
Let c = -1/1410 - 3523/2820. Let u = 2 + -1.8. Let l = u - 0.1. Is c < l?
True
Let t be (-23 - 13)*(-94)/(-4). Are t and -846 unequal?
False
Let c be (30/75)/(1/80). Suppose 4*w + 44 + c = 0. Which is greater: w or -18?
-18
Let l(b) = b**3 - 23*b**2 - 28*b + 98. Let o be l(24). Which is smaller: 169 or o?
o
Suppose -27*b + 31*b - 20 = 0. Let t be (-56)/b - (-12)/(-30). Which is smaller: -11 or t?
t
Let n = -0.0025 - -0.0525. Which is bigger: 3 or n?
3
Suppose y + 0*z + 4*z + 1 = 0, -5*y + 87 = -3*z. Suppose 3*t - y = 0, 0 = 3*s - 5*t + 17 + 11. Which is smaller: 19 or s?
s
Let s be (-2 + 2)/5 + -1. Let m be (s/18)/(25/(-200)). Which is smaller: m or -1?
-1
Let h = 1441/54440 - 2/1361. Which is bigger: h or -1?
h
Suppose -1 + 35 = -34*q. Which is smaller: 2/1053 or q?
q
Suppose -2*j = 2*j + 560. Let s be (-8)/20 - 46/j. Let p(q) = -q**2 + 11*q + 12. Let h be p(12). Which is greater: h or s?
h
Let o = 37 - 38. Let u be o*(-7)/(203/2). Which is smaller: u or 1?
u
Suppose -2*o - 10 = 0, -3*o + 64 - 81 = w. Which is bigger: w or -42/25?
-42/25
Let a = 5.396 + -0.096. Let f = a + -0.3. Which is smaller: f or 4?
4
Let o = -1 - -2. Suppose -73 = -3*f - 13. Let q be (3/f)/(24/(-20)). Are o and q non-equal?
True
Let k = -21 - -21.7. Let m = 3 - 2.6. Let s = m - k. Which is bigger: 0.2 or s?
0.2
Let b = -55.64 - -0.64. Let c = b + 38. Let p = 16 + c. Is -1 at most as big as p?
True
Let s = -48.4 - -17.4. Is s <= -1?
True
Suppose 0*j = -4*j - 80. Let m = j + 11. Let d be 5/(-15) + (-156)/m. Which is greater: d or 0.1?
d
Suppose -2*v + 4*t - 36 = 0, 0*t = 5*v + 5*t + 105. Suppose -5*x - 33*x = -200 + 922. Which is greater: x or v?
x
Suppose 123 = 49*z - 3160. Which is greater: 63 or z?
z
Let q = -834 + 1075. Which is greater: 1 or q?
q
Let t be (-5)/3 + -2*(-4)/12. Are t and 1/95 equal?
False
Suppose -5*t + 0*n - 3*n = -12, -5*n + 1 = 2*t. Suppose 2*a = -2*j, -a + 4*j = t*a + 8. Let l be (-6)/(-38)*(-18)/27. Are a and l nonequal?
True
Let i be (99/4422)/(0/(-1) + -21). Which is smaller: i or 0?
i
Let j = -3.15 - -0.15. Let s = -1 - j. Let l = 1 - s. Which is smaller: 0.07 or l?
l
Let g = 0.882 + -0.812. Suppose 3*b = 2*b + 12. Let c be 2/4 - 14/b. Which is smaller: c or g?
c
Let p = -23 - -23. Let s = 58 + -172/3. Do s and p have the same value?
False
Let d be ((-138)/4)/((-68)/8). Which is smaller: d or 3?
3
Let f = 171 + -171.023. Is 2 smaller than f?
False
Let a = -0.55 - -25.55. Let d = a - 2. Let f = 18 - d. Is -0.3 >= f?
True
Let f be 1547409/105*10/8. Let v = f + -18425. Let k = v - -15/4. Which is smaller: k or 1?
k
Let i = 33.15 - 0.15. Let j = -32.7 + i. Are 4/11 and j nonequal?
True
Suppose 5*j = -2 + 7. Let d be (-4150)/5502 - (-4)/12 - 0. Let t = d + -1/131. Which is bigger: j or t?
j
Suppose 0 = -19*z + 21*z + 8. Let a be ((-9)/6)/1*(-2)/z. Does a = 3/5?
False
Let j = 3/97 - 17681/873. Which is smaller: j or -20?
j
Suppose -2*y - 23 = 135. Are -78 and y non-equal?
True
Let a be (2/7 + 0)/(25/175). Is a > 0?
True
Suppose -w + 113 = 118, 0 = 5*s - 4*w - 25. Which is smaller: s or -5/351?
-5/351
Suppose -7*t = -339 + 38. Which is smaller: t or 37?
37
Suppose -80 - 205 = -19*u. Is 12 at least u?
False
Let q(y) = -y**2 - 6*y - 5. Let t be q(-6). Let o be 2/(-6) - 285/90. Is o less than t?
False
Let u = -497.9691 + 498. Which is greater: u or -0.1?
u
Let v = -10807 - -54209/5. Is v at least 34?
True
Suppose -26*l + 25*l = -4. Suppose l*h - 2*j + 81 = -h, -4*j - 33 = 3*h. Which is bigger: -18 or h?
h
Let s(m) = m**2 + 12*m + 5. Let o be s(-13). Suppose 0 = 4*v - 26 + o. Is -4 at least v?
False
Let i(r) = 4*r**2 + 35*r + 68. Let u be i(-6). Suppose n = 2*s + 7, -n - 21 = -4*n + 5*s. Let b be (n/(-15))/(4/(-10)). Which is smaller: u or b?
b
Let q = 3631/5103 + 2/729. Let z = -28144 + 84431/3. Which is smaller: q or z?
z
Let k be ((1 - 0)*-1)/1. Let p be (k/(-26) - 0)*-6. Suppose 7 = -2*t - 3*m, -10 = -0*t + 2*t + 4*m. Is t greater than or equal to p?
True
Let m be (2 - 6 - 1) + 3. Let f = 5 + -10. Let w = f + 3. Is m smaller than w?
False
Let d = -105 + 106. Is 1/11 smaller than d?
True
Let i(w) = w - 6. Let p be i(5). Let r(h) = -1735*h**3 + h**2 - 2*h + 1. Let g be r(1). Let s = 133593/77 + g. Does s = p?
False
Suppose 5*v = -3*o - 15, 3*v - 5*o - 87 = -62. Let d be -1*(-2)/268*2. Is v at most as big as d?
True
Let t be (-8)/108*-9 - 29/33. Which is smaller: t or -1?
-1
Let j = -2 + 2.01. Let z(i) = 0*i**2 - 6099*i + 5 + 6101*i + i**3 + 3*i**2. Let n be z(-3). Is j at most n?
False
Let w = 3187/186795 + -12/593. Is -1 < w?
True
Let n = 0.27 + 1.53. Let d = 0.8 - n. Let j = 2 + -4. Is j greater than d?
False
Suppose 9*n - 4*n - 5*w = 35, 0 = 2*n - w - 13. Is 9 > n?
True
Let b = 21 + -9. Let h = -12 + b. Suppose -2*c - i - 7 = h, 2*c + 2*i + 2*i + 22 = 0. Which is smaller: c or 0?
c
Let v(a) = 189*a - 46. Let j be v(2). Is 333 smaller than j?
False
Let d(i) = -i**2 + 12*i + 24. Let v be d(10). Let f = v + -54. Is f <= -11?
False
Let w = 7/13 + 16/91. Let p = -132 - -134. Is w less than or equal to p?
True
Let j = 9 + -13. Let f = 5.068 + -0.068. Is f less than j?
False
Let z be 1 - -1 - 1150/391. Does -2 = z?
False
Let s(t) = -15*t - 22. Let o be s(-3). Let a(w) = 2*w**2 - 5*w - 1. Let h be a(5). Is h != o?
True
Let i be (-390)/(-20) + (-3)/9. Is 19 bigger than i?
False
Let c = 63 + -47. Suppose 0 = 5*f - f - c, -2*j - f = 114. Is -58 <= j?
False
Suppose -5*h + 12 = -3*d, -7 - 2 = -3*h. Let u be 1/3 - 1/d. Let y = -0.73926 - -0.03926. Which is bigger: u or y?
u
Let p = -638 + 639. Is -1/482 not equal to p?
True
Let d(i) = -33*i + 8. Let m be d(-6). Is m at least as big as -3?
True
Suppose -764*v = -763*v + 18. Does v = -2?
False
Let k(g) = g**3 + 12*g**2 + 12*g + 12. Let p be k(-11). Let a be -1 + (-68)/(-3 + p). Let b be 6/21 + a/7. Is 4 greater than or equal to b?
False
Let v be (-12)/(-21) - 138/(-322). Let y = 80158/167 + -480. Which is smaller: v or y?
y
Suppose -f = -0 + 2. Let j = -509 - -515. Is f > j?
False
Let n(j) = -j**3 - 6*j**2 + 6*j - 7. Let f be n(-7). Suppose -5*p - 3*m + 15 = -0*m, p + 4*m - 3 = f. Let v be 0/(p/1) + 10. Which is bigger: v or 9?
v
Let p be (-111)/18 - (-8 + 3). Is -1/10 > p?
True
Let s = 2601 - 2596. Which is smaller: 0.13 or s?
0.13
Let f = -515732/353 - -1461. Which is bigger: f or 1?
1
Let g(o) = -1. Let m(c) = -c. Let i(p) = -g(p) - m(p). Let a be i(-2). Let w be 14/(-8) - 1/a. Which is greater: -1 or w?
w
Let u be 10/18*(-15)/(-100). Let o(h) = -h**2 - 1. Let r be o(1). Which is greater: r or u?
u
Let a = 1043/4 + -259. Suppose 3*f - 24 = -5*f. Which is smaller: f or a?
a
Let b = -1468 + 1468. Which is smaller: b or -7/20?
-7/20
Suppose -3*k + 2*v = -8*k + 4*k, -3*k = 5*v. Let y(z) = z**3 + 4*z**2 + 1. Let h be y(-4). Let c = h - 1. Is k at most c?
True
Let z be (-22)/(-110)*10/2. Let g be ((-12)/238)/(2/(-14)). Which is small