- 91. Is p >= a?
True
Let d be 2682/(-39) + 162/(-702). Suppose -3*q - 185 = 5*s, -s + 6*s = 3*q + 235. Is q less than or equal to d?
True
Let y = 6398.2 + -6398. Does y = -5384?
False
Let h be (3*1*(630/56 + -11))/3. Are 0.3018 and h nonequal?
True
Let f be (462/(-1))/(7072/234 - 28). Do f and -209 have the same value?
False
Let b be (-1599)/(-65) + -25 - 23*(-2)/190. Which is greater: 1 or b?
1
Suppose -5*t + 176 = -24. Suppose -3*f = f + t. Let q(k) = 3*k + 28. Let x be q(f). Which is smaller: 2/15 or x?
x
Suppose 0 = 10*y - 2*y + 4*y. Is y at most as big as -1/7628?
False
Let x be 3/(-4)*(-8)/18*-3. Let d = 252/113 + -124514/55935. Which is smaller: x or d?
x
Suppose 8*g + 1498 = -2414. Let t be ((-33)/(-414))/11*g/(-7). Let a = -10/23 + t. Are a and -2/5 non-equal?
True
Suppose -116*o + 492 = -128*o. Which is bigger: 27 or o?
27
Let n = -436/183 - -3/61. Which is smaller: 6/17 or n?
n
Suppose 43065 = 4*q + 43069. Which is greater: 2/66031 or q?
2/66031
Let a be (385 + -406 - (1 + -16)) + -1. Suppose -2*h - 4*d = -32, 0 = -2*h + 2*d + d + 11. Are h and a non-equal?
True
Let g(r) = -r**3 + 5*r**2 - 3*r + 16. Let a be g(5). Let z be ((-5)/a)/((-9)/9). Is z at most 5?
True
Let c = 303 + -139. Suppose -5*h + 5 = 0, -h + 5*h = 4*o + c. Let p = 12 - o. Which is bigger: 53 or p?
53
Let j = 0.421 - -0.129. Let n = j - 24.55. Let h = n + 29. Is h != -4?
True
Suppose -5*f + 367 = -173. Suppose -i - 2*i = -f. Suppose 0 = -12*j - 0*j - i. Which is bigger: j or 2?
2
Suppose -3 = -3*i, -6*q + 1627 = -10*q + 3*i. Let l = q - -419. Suppose -31 = -2*n - 9. Is n greater than l?
False
Let a(n) = 8*n**2 - 5*n + 16. Let r be a(5). Let z = r - 956/5. Is z at most as big as -18?
False
Let u be (-2 - -4) + 313170/78295 + -6. Which is smaller: u or 0?
u
Let i = -4973.8 + 4973.98. Suppose -v + 3*v = 4. Suppose 2*r - v + 4 = 0. Which is bigger: r or i?
i
Let c(t) = 4*t - 3. Let i(s) = 9*s - 6. Let l(g) = -14*c(g) + 6*i(g). Let h be l(5). Is -7 smaller than h?
True
Let n = 80450/168519 + -71/149. Which is smaller: n or -1?
-1
Suppose -999 - 789 = 2*m + 2*r, 0 = 5*m - r + 4470. Let v be 3 - 0 - m/(-270). Is -1 not equal to v?
True
Let t be 848/106 + 488/(-66) - -6. Is t greater than 8?
False
Let s = 45.2 + -44.2. Which is greater: -2278 or s?
s
Let p(o) = o**2 - 15*o + 9. Let r be (31/(-2))/(6/(-12)). Suppose 3*v - 11 - r = 0. Let k be p(v). Does k = -7?
False
Let g = 75 + 437. Let r = g + -514. Which is smaller: 12 or r?
r
Suppose 5*o - 2*o = -3. Let q = 132 - 161. Let j be (-410)/68 + q + 35. Which is smaller: o or j?
o
Let g = 0.288 - 0.288. Which is greater: -227 or g?
g
Let n = -9.62 - -0.72. Let k = -3.72 - -12.72. Let t = n + k. Which is bigger: -7 or t?
t
Let j = -261 - -264. Suppose 0 = d + z - j, -2*d + 3*z + 5 = 2*d. Which is smaller: 3/2 or d?
3/2
Suppose 12 = q - 4*i, 14*q - 17*q - 5*i + 19 = 0. Let t be (-1)/(q/(-10))*(0 - 4). Which is smaller: t or -4?
t
Suppose 4*m + 3*y = 22 - 148, 5*m + 140 = 5*y. Let d be (-258)/(-9)*(-18)/12. Let r = m - d. Are 14 and r nonequal?
True
Suppose 0 = -13*r + 12 - 38. Let h be 708592/244 - (1 + 0/r). Let n = 2903 - h. Is n greater than 0?
False
Let s = 2494 - 2499. Let f = -0.034 + 25.034. Is f <= s?
False
Let g = 3.634 + -3.87. Let f = -0.336 - g. Let m = 13 - 26. Which is smaller: m or f?
m
Let v = -13.32 - 600.68. Let k = v + 615. Which is bigger: -52 or k?
k
Let y be 3/99*-3 - (-8215)/341. Do 14 and y have the same value?
False
Let m = -872.9788 + 873. Do m and -1/4 have different values?
True
Let x = -1903.1 - -1903. Are -10.76 and x equal?
False
Let k(i) = i**3 - 7*i**2 + 7*i - 1. Let n be k(6). Let p = -122 - -22. Let c = -99 - p. Is c greater than n?
False
Let c = 3643/9 - 2566/9. Let p = 7/11670 - 9553889/81690. Let m = c + p. Which is greater: m or 2?
m
Let m(q) = 5*q + 4*q**2 - 5*q**3 + 19 + 4*q + 5*q**2 + 4*q**3. Let r be m(10). Suppose 5*f - 4*b - 94 = 0, 118 = 5*f + r*b - 7*b. Which is smaller: f or 20?
20
Let q be (-6)/(-15) + 746/10. Let w = q + -75. Suppose -p = -k + 9, k = 3*p - w*k + 17. Are p and -36/11 non-equal?
True
Let r(n) = 4*n - 16. Let b be r(4). Suppose b = c - 4*c + 9. Suppose -q - 6 = c*q + 3*u, -2*u = 4. Is -4/3 at least as big as q?
False
Suppose 6641*i - 95034 = 6735*i. Is i <= -10119/10?
False
Let p(a) = 3*a + 7. Let n be p(-3). Let u be ((-15)/30)/(n/(-28)). Let m(b) = 3*b**3 + 2*b**2 - b - 7. Let i be m(0). Do i and u have the same value?
True
Suppose 12 = -k - 2*v, 36*k = 35*k - v - 6. Which is smaller: 2/333 or k?
k
Suppose -149*u - 701 + 725 = 2855. Let x = 1.8 + -2. Which is bigger: x or u?
x
Let u = 70 - 101. Let j(q) = -6*q - 180. Let x be j(u). Do x and 14/3 have the same value?
False
Let x = -13/118 - -157/354. Suppose -27 = 4*b - 7. Which is bigger: b or x?
x
Let x = -76 + 72.45. Let s = x + 7.01. Let h = s - 0.46. Which is greater: h or 10?
10
Let x be 2/(-2) - (-18)/30. Let h = -1.82 + 0.12. Let l = h - -0.7. Which is smaller: l or x?
l
Let y(o) = 6*o + 654. Let r be y(-107). Which is smaller: r or 159/13?
r
Let t be 8/28 - 2196/3276. Which is bigger: -1 or t?
t
Suppose -44*i - 242 = 8690. Let x = -252 + 48. Is i greater than x?
True
Let c = -4096 - -4095.7. Are 11.67 and c equal?
False
Let b be 4*(-30)/24 + 5*100. Let n = -476 + b. Which is smaller: -3/2 or n?
-3/2
Suppose -1092 = 5*c - 4*r + 530, -3*r = -5*c - 1619. Let x = -1679 + 1356. Which is bigger: c or x?
c
Let w = -85.68 - -85.78. Which is smaller: 5873 or w?
w
Let i = -454977/92929 - -6/4891. Are -6 and i unequal?
True
Let w = 33 + -53. Let t = 27017.06 + -27017. Is t at least w?
True
Let q = -3321 + 10656. Which is greater: q or -0.2?
q
Suppose 2*g + 5*i = -17, 17 = g - 5*i - 12. Suppose -h - g*c = 3*h + 16, -5*h - 3*c = 18. Which is greater: 41 or h?
41
Let f be 14/35 - (-1 - (-12)/5). Let h be (-2)/(-4)*-2 - (f - 0). Is h <= -10/17?
False
Let a be 54/(-30) + 4026/770. Are a and -117 nonequal?
True
Suppose 0 = 41*y + 2*y. Is y greater than or equal to -15/34?
True
Let b = 17786/5 + -3557. Which is bigger: b or 46/7?
46/7
Let s(g) = 9*g - 17. Let z be s(-7). Let f be (319/44 - 7) + 17/z. Does -1 = f?
False
Let g be 36/42*7 - -635. Suppose -3566 = -9*z - g. Which is smaller: z or 326?
z
Let p = -2243 + 2242.959. Let f = -499 - -498.041. Let h = p + f. Is 49 != h?
True
Let h = 623 - -1735. Which is bigger: h or 7070/3?
h
Let o = -129 + 245. Suppose -5*q + 10 = -y, -4*y - 3*q = -4*q + o. Let s be 4/7*y/36. Which is bigger: s or 1?
1
Let z = -2.69 - -1.69. Suppose 31 = 4*a + 15. Suppose 0*v = -v + a. Which is smaller: z or v?
z
Let f = -57 + 83. Suppose -3*o = -4*t + 94, -3*o + 102 = 4*t - 2*o. Is f greater than t?
True
Suppose -3*h + 18 + 111 = 0. Let u = -7 - h. Let p = -7901 + 7902. Which is smaller: p or u?
u
Let s(l) = -l**2 - 11*l. Let j be s(-9). Suppose -j = -4*i - 2*i. Suppose 5*v + 2*b = -b + 6, -3*v - i*b = 0. Which is smaller: v or -1?
-1
Let a be 15/3 + 2 + (-16)/2. Is 1609 equal to a?
False
Suppose 0*a - 1 = a. Suppose 242*r - 219*r = -736. Let f be r/36*(-33)/(-242). Which is greater: a or f?
f
Let s(g) = -112*g + 8910. Let y be s(108). Does y = -3186?
True
Let f(o) = o**2 - o - 12. Let u = 58 - 61. Let q be f(u). Which is smaller: -1/24 or q?
-1/24
Let q be (-32 + 133)*3/((-9)/(-3)). Is q at most 104?
True
Let z(j) = -3*j**2 + 58*j + 43. Let f(h) = 5*h**2 - 57*h - 42. Let d(s) = -3*f(s) - 4*z(s). Let m be d(-20). Which is smaller: m or -11?
m
Let z = -1655.5 + 1656. Which is smaller: z or 675?
z
Let n = -5 + 12. Suppose -134*t - 50 = -144*t. Which is bigger: n or t?
n
Let h = 1.04 - -52.96. Let v = -55 + h. Let y = -17 + 223/13. Is y not equal to v?
True
Let t = -466/1209 + -50/93. Let j(o) = 697*o - 11851. Let r be j(17). Which is greater: t or r?
t
Suppose -4*l + 2*x - 34 = -0*x, 3*x = 3. Let b be (-31)/l + -8 + 4. Let w = -6 + 8. Are b and w non-equal?
True
Let x be 3 + ((-20)/6)/((-2)/3). Suppose -x = 3*h + 4. Let z(s) = 7*s + 2. Let j be z(h). Is j smaller than -25?
True
Suppose -58 = 4*c - 3*q, -4*c + 0*c + 2*q = 56. Let j = c - -12. Let x be (-2)/8 + (-518)/(-1624). Which is smaller: x or j?
j
Suppose 5*l = 25 - 0, g - 4*l = -24. Let m = -5 - g. Let x = -370 - -368. Which is smaller: m or x?
x
Let z = -5121549/76 - -67375. Let g = -1072/3 + 4453/12. Let h = g + z. Is -1 < h?
True
Let m =