nonequal?
True
Suppose 343*i + 3*b = 344*i - 5, -i - 5*b = 11. Is i > -101/87?
True
Suppose -3*i - 24 = -33. Suppose 0 = i*f - 29 - 49. Which is greater: 4 or f?
f
Let m = 496 - 489. Suppose -m*w + 8 - 15 = 0. Which is smaller: w or 0.19?
w
Let b = -3285.174 - -7.174. Which is smaller: b or 1/4?
b
Let c be (231/23723)/(-11)*(-3)/(-9). Which is bigger: c or -1?
c
Let l(p) = -38*p - 60. Let n be l(-10). Let r be (n/6)/(3*4/(-36)). Is -159 not equal to r?
True
Let b = 1439 - 997. Let k = b + -454.8. Which is smaller: k or -3?
k
Let i = 8817/4588 + -72/37. Let j = -431 + 431. Which is greater: j or i?
j
Suppose 4*b - 75 = -99, 0 = -4*t - 2*b - 9368. Which is smaller: -2340 or t?
-2340
Let n = -7302 - -15765. Let v = n - 2378106/281. Do -1 and v have different values?
True
Suppose 24 = -2*w - 4*z, 0 = 4*z + 9 + 15. Is w < -14/39?
False
Let a(p) = 4*p**3 + 14*p**2 + 25*p + 69. Let v be a(-6). Suppose 11*x + 2*x + 5746 = 0. Which is smaller: v or x?
x
Let a = -7143/16582670 + -1/5174. Do 0 and a have the same value?
False
Suppose -338*h = 543*h + 49*h. Let a = -5208 + 2206. Let u = a - -561376/187. Which is bigger: u or h?
u
Suppose -59*k - 5*v + 140 = -64*k, k = -4*v - 13. Let h be 24/(-30)*5/(-2). Suppose -5*f = -h*l + 120, -3*f = 5*l - 2 + 74. Is f <= k?
False
Suppose -24 = -756*u + 750*u. Which is smaller: 288/95 or u?
288/95
Let x be 3 + (-1 - 2/(-2)). Suppose -4*h = x*q + 12, 0*q = q + 3*h + 9. Let u = -0.24462 + 0.10462. Which is smaller: u or q?
u
Let z = 30.3 + 0.7. Let g = 76.1 - 107. Let o = g + z. Is o greater than -4?
True
Let i(w) = 3*w**2 + 18*w + 7. Let n be i(-7). Let q = 3/113 - -18175/678. Which is bigger: n or q?
n
Suppose -55*t + 59*t - 8 = 0. Suppose -t*a = -2*a + 7*a. Which is smaller: a or 4/267?
a
Let a(k) = -k**2 - 8*k - 14. Let q(r) = -r**2 + 16*r - 20. Let u be q(15). Let s be a(u). Is s greater than or equal to 3/37?
True
Let g = -517 - -517.357. Let j = -1.357 + g. Which is greater: 155 or j?
155
Suppose -20 = -q - 2*x, -2*q + 2*x + 2*x = -48. Suppose 19*c + 60 - q = 0. Which is greater: 0 or c?
0
Let x = -0.1029432 + 56.2153932. Let t = x - 0.05245. Let c = 56 - t. Is -5 bigger than c?
False
Let t = 39.2 + 15.6. Let d = t - 55.8. Is 0.139 bigger than d?
True
Let y(i) = -i - 3. Let p be y(-3). Let c = p + -6. Let q = 1773 + -1771. Which is bigger: c or q?
q
Suppose -4*z - 5*n - 7203 = -0*z, -25 = -5*n. Let k be (-136170)/75 + -4 + 7. Let w = z - k. Is 5 > w?
False
Let s = 472 + -248. Let m = s - 223. Which is smaller: m or 7/5?
m
Let r be (-1958)/11*((-10)/(-4) + -1). Let f be r/9 - (-10)/(-30). Do f and -32 have the same value?
False
Let s(w) = -w**2 + w + 2. Let o be s(0). Suppose 0 = o*j - 123 + 41. Is 39 <= j?
True
Let n(z) = -z**3 + z**2 - z - 1. Let g(m) = -6*m**3 + 4*m**2 - 7*m - 142. Let t(j) = -g(j) + 5*n(j). Let d be t(0). Is 137 <= d?
True
Let u = 16 + 5. Suppose 0*f - f = 3*h - 2, -u = -4*f + h. Suppose 7 = 3*n + 5*q + 15, -q - f = 4*n. Which is smaller: n or 2/31?
n
Let p = -193796/353 + 549. Let a = 10508 + -10508. Which is smaller: a or p?
a
Suppose 7 = 166*y - 173*y. Let c be 12*(16/(-3))/(y - -11). Suppose -5*x + 3*x = 12. Which is greater: c or x?
x
Let g = 13137/5 + -2627. Is 1.571 <= g?
False
Let j be (0 + 270)/5 + -4. Suppose -57*h = -j*h + 133. Is -19 less than h?
False
Suppose 31 = 151*t - 150*t. Let q be (-1)/t*(-6)/(-2). Which is smaller: -1 or q?
-1
Let l = -0.0344 - -399.0344. Let x = 398 - l. Which is smaller: x or 0.572?
x
Let l(u) = -12*u**2 - 54*u - 5. Let t be l(6). Is t greater than or equal to -753?
False
Suppose -7*x - 168 = 27146. Is -3902 at least as big as x?
True
Let l = 3648 + -4505. Is -861 > l?
False
Let o be 3/254*9/((-45)/554140). Let f = -1309 - o. Which is smaller: 0 or f?
f
Let a(s) = s**2 + 13*s + 18. Let n be a(-12). Let h = n - 7. Let r be 1704/122 + -10 - 4. Is h equal to r?
False
Let a = -2 - -2.1. Let u = 20378 - 20349. Which is smaller: u or a?
a
Let k be (-6)/(-6)*(-1 - 4) + 618. Is 615 less than or equal to k?
False
Suppose -4*c - 3*s + 57 = 0, 2*c - 2 = 4*s + 10. Let z(k) = -k**2 + 12*k. Let i be z(c). Suppose i = 4*f - 1 + 9. Is f > -2?
False
Let s be -1 + -2 + (-36)/2. Let a = -19 - s. Let l be 9/(54/(-16)) + a. Which is greater: l or -3.6?
l
Let a = -22 - -22.2. Let i = -262 + 263.06. Is i greater than a?
True
Suppose 0 = s + 79*t - 83*t + 424, -3*t = 6. Is s != -419?
True
Suppose -19 = -13*a + 7. Suppose 5*o - 2*b + 34 = 10, -2*o = -a*b + 12. Let t be o/40*-26*(0 + -1). Is t < -2?
True
Let c be (8/(-5))/((-4)/10). Suppose -2*i + 2*u = 6, u - 15 = -c*u. Suppose -5*m + m = i. Which is smaller: 2/5 or m?
m
Let s = 942 + -921.956. Let i = 0.044 - s. Let c = i + 14. Is c smaller than 1?
True
Let x = -145 + 593. Let d be ((-157)/2*-1)/(x/1792). Do 316 and d have the same value?
False
Let h = 0.1 - 2.1. Let s = 94690/9 + -10523. Which is bigger: h or s?
s
Suppose 6*k = 164 - 194. Let v = -141 - k. Which is smaller: -135 or v?
v
Let h = 2880.9 + -2881. Which is bigger: -17.6 or h?
h
Let f = -51 + 57. Suppose -4*w = -f*w - 168. Let q = w - -73. Is -11 at most as big as q?
True
Let c = -11615 - -11614. Is c at most as big as -4/2645?
True
Let g be (-12)/90*(-150)/20. Which is smaller: g or 3/457?
3/457
Let c be (9/4)/(7*7/29204 + 0). Is c greater than 1344?
False
Let y = 28071395/13 + -2160629. Let r = y - -1284. Let o = r + 21/65. Is o smaller than -7?
False
Let l = -1506 + -2419. Which is smaller: l or 1/3?
l
Let f = 0.061 + -7.061. Let z = 7.21 + f. Let n be (-2)/19 + 1575/(-380) + 4. Is z at least n?
True
Suppose -i - 38 = -n - 2*i, 0 = -3*n + 2*i + 119. Let w = n - 17. Suppose -44 = -4*k - j, -j - j - w = -2*k. Which is smaller: k or 13?
k
Let k = -24867/398 + 125/2. Which is smaller: 1 or k?
k
Let i = -35 + 51. Suppose -5*b = -0*v - v - 84, -4*b = i. Let f = 106 + v. Does 6/5 = f?
False
Let w = 4 + -4.03. Let m = -0.07 + w. Let a = 22 - 52. Which is smaller: a or m?
a
Let z = -18059 - -18330. Is z != 812/3?
True
Suppose 1012*t + 7 = 1005*t. Which is bigger: -1/2306 or t?
-1/2306
Suppose -7*t = -10*t - 17*t. Let s = -1/188 - 591/30268. Which is greater: t or s?
t
Let d(c) = 17*c + 78. Let s(p) = -12*p - 77. Let l(q) = 4*d(q) + 5*s(q). Let b be l(9). Is b at least as big as -2/105?
False
Let i(a) = a**3 + 37*a**2 - 211*a - 25. Let v be i(-42). Is -0.03 at least as big as v?
False
Let g = 9/53 - 325/2226. Let s = g - -2/63. Is s < 1.1?
True
Let m be ((-2144)/(-29868))/(3 - 1631/543). Let u be (-60)/57*74/4. Let i = u - m. Is 0 > i?
False
Let o be 6/8*(-40)/(-6). Suppose -o*z + 8 + 2 = 0. Suppose 4*y - 4 = -5*j, 2*j + 6 = 2*y + 4. Is j less than or equal to z?
True
Suppose -19*p + 14*p = -z - 2498, p - 5*z = 514. Let q = -5493/11 + p. Let c(n) = n**3 + 6*n**2 - n - 7. Let g be c(-6). Which is greater: q or g?
q
Let r = -88 + 164. Let v = r + -76.26. Let a = v + 0.36. Which is smaller: a or 1?
a
Let b be ((-4)/28)/(533 + -45). Do 1 and b have the same value?
False
Let x(g) = g**2 - 11*g - 48. Let n be x(9). Let p be (-112)/6 - 44/n. Which is bigger: -16 or p?
-16
Let p be ((-13)/(-507))/(7 - 120/18). Is p at least as big as 2?
False
Let h be (-90)/(-4)*11/(-99). Suppose 0*s + s + 4*k + 1 = 0, 0 = -s + 3*k + 13. Is h less than s?
True
Let l = 6 - 7. Let y be (-1)/(-5) + ((-9)/(-5) - l). Which is bigger: 23/8 or y?
y
Let p be (-81)/35 + 3*8/(-84). Let j = 541/210 + p. Which is smaller: 0 or j?
j
Let u = 252 + -251. Let h be -3 - ((-33)/90)/(u/9). Which is bigger: 1 or h?
1
Let k = 29573/184 + -1287/8. Let b = k + 175/92. Which is bigger: -2 or b?
b
Let t(h) = 14*h**3 + 17*h**2 - 66*h - 106. Let q be t(6). Which is smaller: q or 6267/2?
6267/2
Let f be (1050/526 + (-3 - -1))*2. Let m(w) = -w**3 - 72*w**2 - 142*w - 141. Let n be m(-70). Which is smaller: f or n?
n
Let k be ((-15)/((-120)/(-208)))/(-4). Let h = k - 27/4. Suppose y = -2*y - 3. Is h greater than y?
True
Suppose 220*t + 64 - 35 = -191. Which is smaller: -91/67 or t?
-91/67
Let c = -13026 + 12805. Which is bigger: c or 25?
25
Let i = 138.95 - 138.9684. Which is bigger: 6/13 or i?
6/13
Let f = 17914 + -17915. Let d = 283 + -413. Is f > d?
True
Let v(s) = -22*s + 832. Let w be v(0). Let n be (-6)/33 + w/(-22). Is n at most -39?
False
Let o be -3*6/72*292*(7 - 3). Which is smaller: -285 or o?
o
Let r = 0.913 +