Is p smaller than 0.5?
False
Suppose -11*n - 475 = 14*n. Let x be (n - -20)/((-8)/866). Do x and -108 have different values?
True
Let u = 1760 - 19390/11. Let k be (1 + -17)/(-2) + 0 + -4. Suppose -8*q + k = 28. Which is greater: q or u?
u
Let p = -116/19 + 850/133. Suppose -3*c + 18 = -3*n, 0 = c + 3*n + 2*n + 24. Which is smaller: p or c?
p
Let t(r) = 27*r + 198. Let d be t(14). Suppose -18*n + d = 6*n. Suppose -w = 2*w - 3*b - 72, b = 0. Is n >= w?
True
Suppose -4*d - 5*z = 16, -7*d + 4*d - 5*z = 17. Let g be (-3 + 2 + d)*2/4. Let a be 6/155*(0 - 5). Which is bigger: a or g?
g
Let k = -789120 - -5534373/7. Let u = k + -1530. Which is smaller: -24 or u?
u
Let y = 4251 + -4851. Is -603 greater than or equal to y?
False
Suppose -2*r - 25 = 5*b, -5*b = -18*r + 22*r + 15. Which is smaller: 0.07 or r?
0.07
Let n be 2/(19/(171703/(-40626))) + 4/9. Is -1 at most n?
True
Let h = 57.15 + -59. Suppose 124*z - 33*z = -31 + 122. Is z <= h?
False
Let v = -2896 - -2890. Which is bigger: 5.3 or v?
5.3
Let g(r) = 7*r**2 + 4*r - 21. Let z(b) = -3*b**2 - 2*b + 10. Let i(h) = 4*g(h) + 9*z(h). Let n be i(3). Let o = n - 13. Do -3 and o have different values?
True
Let w be ((-235)/20)/(3/(-12)). Suppose w = -3*o - 100. Which is smaller: -51 or o?
-51
Let o = -0.27633 - -1.27633. Which is smaller: o or -3938/9?
-3938/9
Suppose 10549*o = 10573*o + 312. Is -18 greater than o?
False
Let j = 11246.6 - 11268. Which is greater: j or -0.7?
-0.7
Let v = 18.7 - 16.99. Let q = -0.59 + 0.3. Let j = q - v. Which is smaller: 0.32 or j?
j
Suppose -2*v + 4*u + 23 = 5, -4*u - 12 = 0. Suppose 5*g = -4*h + 451, 4*h + 344 = 4*g + v*h. Let n = g - 955/11. Which is bigger: n or 1?
1
Let d be (2 - (2 + 1))*6. Let h be (1 - (-2 - 28/(-6)))/(36195/125730). Which is smaller: d or h?
d
Suppose 0 = 4*q + 24, 14*b + 6 = 12*b - q. Which is smaller: b or -62/91?
-62/91
Suppose 0 = -3*h - 3*c - 285, 2*c + 250 = -3*h + 6*c. Let n be 2/(-5)*h/8. Let r(m) = m**3 + 23*m**2 + 117*m - 18. Let d be r(-8). Which is smaller: n or d?
n
Let u = -0.5 - 0.5. Suppose -114*f = -106*f - 600. Suppose 3*b - 3*t = f, -3*b - 7 + 72 = -t. Which is smaller: u or b?
u
Let m(i) = i**2 - 3*i + 4. Suppose -6*q + 2*q = 5*q. Let y be m(q). Let k be (-1*(y + -2))/(4/2). Is k greater than -1/6?
False
Suppose 6*u - 4*u = -68. Let x = u + 37. Suppose -5*r = -x*r. Which is bigger: r or 5?
5
Let d be (0 - 1/2)*4 - -15. Suppose d*m + 25 = -14. Which is greater: m or -2?
-2
Let n = 293 + -288. Let w(r) = -r**2 + 14*r - 46. Let t be w(n). Is t not equal to -38/23?
True
Suppose 4 = -4*q, -d + 6*d + q = -6. Let n be ((-357)/98 - 5) + 8. Is n >= d?
True
Suppose -9 = 954*r - 945*r. Let q = 102 + -169/2. Let i = -18 + q. Which is greater: i or r?
i
Suppose -b + 54 = 4*s, -5 + 29 = 2*s - b. Suppose -2*y + s = 13. Is y greater than -16/19?
True
Let n = -0.67 - 6.33. Let g = 9 + n. Let z = 6.09 - 0.09. Which is bigger: z or g?
z
Suppose -u - 1 + 2 = 0. Let g be u + -2 - 39/(-3). Let d be (3 - 3) + 14 + -1. Which is bigger: d or g?
d
Let y be (-6 + 5)/((-1)/13). Suppose y = 10*x - 97. Suppose -8*w = -13 - x. Which is greater: w or 5?
5
Suppose -6571 = -39*l - 11680. Suppose 3*i - 266 = 5*i. Is l greater than or equal to i?
True
Suppose -8*l + 3*l = t - 26, -3*t - 2 = -5*l. Suppose -u = -t*u + 35. Suppose -8*h + 4*h = 16, -13 = -w + h. Do u and w have the same value?
False
Let x = 75 - 98. Let k(f) = -f**2 - 20*f + 47. Let j be k(x). Let v = -31 - j. Is 4 at least v?
True
Let v = 400280 - 371059712/927. Let d = -6/103 + v. Which is greater: 1/4 or d?
1/4
Let f be (-99)/9 - -21 - 55/5. Is 44/831 <= f?
False
Let h be ((-2)/(-90))/((24/1860)/1). Is 1 at most as big as h?
True
Let i be 0/(-1) - -1*1. Let q be 573/(175/(-63)*(-6)/(-15)). Let u = q + 516. Which is bigger: u or i?
i
Suppose -i - 2*i + 2*p - 352 = 0, 5 = p. Let w = i - -48. Which is bigger: -65 or w?
-65
Let m be ((-7)/6 - (-7)/42)*7. Let j be (m + 10)/((-33)/14). Which is bigger: j or 0?
0
Let m be (-4)/(32/(-76))*-4. Let q = 31 + m. Let h be (-38)/3 - (22 - 27). Which is smaller: q or h?
h
Let t be (1155/4620)/((-1)/(-584)*-1). Which is smaller: -115 or t?
t
Let u be -1 + 1 + -1 + 45. Let v(f) = 5*f**2 - 385*f - 1574. Let x be v(-4). Are u and x unequal?
True
Suppose -j + 105 + 229 = a, 688 = 2*j + 6*a. Which is greater: j or 328?
j
Let f = -27 - -29. Suppose 3*a + 0 = p - 5, 2*p - 2 = -f*a. Is a equal to -1/96?
False
Let u = 38958 + -128327653/3294. Which is smaller: u or 1?
u
Let u = 14059 + -13240. Is 3279/4 at most as big as u?
False
Suppose -3*b = -x + 203, -3*x + 643 = -2*b + 62. Let g = x - 191. Is g <= -2/287?
False
Suppose 521 + 160 = 3*c. Let u be (-2)/16 - (-236450)/1040. Let d = c - u. Is d >= 0?
False
Let p = 5.42 + -6.1. Let g = 1.38 + p. Let u = g - 3.7. Is -9 at most as big as u?
True
Suppose 7 = -b + 2, 2*g = -4*b - 10. Suppose 0*u + u + g*q = 39, -2*u + 5*q = -93. Is u > 43?
True
Let s be -13 + 9 + -4 + 209. Which is greater: 204 or s?
204
Suppose -22*q + 17*q + 30*q = -6125. Which is smaller: q or -247?
-247
Let s = 127 - -20. Let a = -146.9 + s. Is 105 at most a?
False
Let z(u) = u**2 + 39*u + 108. Let i be z(-3). Is -8/123 at most as big as i?
True
Let c = -15318 + 15760. Are c and 445 equal?
False
Suppose 5*m + 358 + 463 = x, 637 = -4*m + 3*x. Is m smaller than -187?
False
Let f = -2523959/275 + 9178. Which is bigger: 0 or f?
0
Let y = -119 + 167. Let r be -1 + y - (-4)/(-1 + -3). Suppose 3*f = -0*f + 5*i + 148, f - i = 48. Is f smaller than r?
False
Let h be -1 - -71*268/15656. Let z = h + -1/206. Let o = -19 + 19. Is z greater than o?
True
Suppose -42 = 5*o - 462. Let u be 4/(-14) - 984/o. Let g be (-10)/u - (3/2 + 0). Does g = -1/6?
False
Let k = 556 + -587. Let r = 426 - 1537/4. Let v = r + -42. Is v < k?
False
Suppose w + 12*w + 26 = -0*w. Which is smaller: w or -29/23?
w
Let r = 1/1686 - -790171/1686. Is r greater than or equal to 469?
False
Let i(z) = -64*z + 64. Suppose -5*q = 3*w - w - 23, 19 = 4*q + w. Let h be i(q). Is -256 < h?
False
Let s = 0.759 + -0.959. Let y = -519/2 + 2631/10. Which is greater: s or y?
y
Let x(f) = -248*f - 20. Let u be x(-6). Let m = u - 60194/41. Is 1 >= m?
True
Let j be (-24)/4 + (-72)/(-12). Suppose n + 3*u + 4 = -j, u = 2*n + 1. Do n and -2/189 have the same value?
False
Let u = -536.939 - -538. Let m = -0.061 + u. Is m <= 5.8?
True
Let n be (11/33)/((1 - 0)/(-12)). Let t be 1/(-5) - (n - (-96)/20). Is t greater than 4/93?
False
Let n = 2481 - 1692. Let k = -2369/3 + n. Which is bigger: -5 or k?
k
Let p be (-2838)/(-114) - 2/(-19). Let o be (-400)/(-66) + p/(675/18). Which is bigger: o or 6?
o
Let d = -208 + 939. Let s = d + -732.721. Let c = -0.079 + s. Which is smaller: c or -2/3?
c
Let o = 85.866 + -0.166. Let w = -84 + o. Which is bigger: 2 or w?
2
Let b be (-3 - 28)/(-1) + 5. Let n = b + -21. Suppose -4*m = 5*q + n, -m = -q - 0 - 3. Is m at least as big as -6?
True
Suppose 4*z + 3857 + 3885 = 2*m, -2*m - 1948 = z. Let b be (z/216)/(-19) + 2/(-9). Which is greater: 53 or b?
53
Let i be 1*6*((-36)/(-8) - 4). Suppose -3*o + 6 = i*o. Is -1/19 less than o?
True
Let x be -314 - -309 - 1/(33/(-155)). Let a = 0.5 + -0.2. Which is smaller: x or a?
x
Let v(t) = 57*t. Let q be v(-1). Let h = q + 153. Let a = 114859 + -114764. Is h less than a?
False
Let x = -1/31491 + -1221145/188946. Let v = x + 13/2. Suppose -2*c - 1 - 1 = 0. Which is greater: v or c?
v
Let g = 7004.003 - 6963. Let w = -41.2 + g. Let x = w - -0.007. Which is smaller: x or -0.1?
x
Let s = 51 - 51. Suppose -11*w + 12*w - 2*l = s, 3*l = 3*w. Is -7/19 <= w?
True
Let i be 1932/15*(-3)/((-54)/75). Let t = i - 516. Which is bigger: t or 21?
21
Suppose 153*n + 158500 = -162341. Is n <= -2098?
False
Let b = 1.462 - 0.062. Let f = -5.4 + b. Let x = f - -3.64. Is x > 0.1?
False
Let x be (-4*(-2)/(-20))/((-8)/(-40)). Let a be (13/x)/(1/(-14)). Which is smaller: a or 92?
a
Let u be (-38)/(-3553)*-11 - (-2506)/493. Which is smaller: u or 4?
4
Let u = 4/2199 - -76949/8796. Which is smaller: 23 or u?
u
Let n = -107/132 - -2/33. Let i(d) = -15*d + 89. Let w be 105/(-14)*(-12)/15. Let t be i(w). Which is bigger: t or n?
n
Let m = -635 + 623. Is -51 <= m?
True
Let f be (-6)/(-51) - (49824/408 - 28). Is -2142/23 equal to f?
False
Let s = -10950 - -10954. Is 190/71 at le