se -50 - 40 = -2*d - 4*b, 5*b = 2*d - 54. Are i and d non-equal?
True
Let f be (-889*(-4)/(-8))/(145/29). Is f > -89?
True
Let v be (-7 - -12) + (6/2 - 0). Suppose 3*y - 2 = -2*b + b, -v = -2*y - 4*b. Suppose 0 = -y*m - 0*m + 2*m. Which is bigger: m or 8/9?
8/9
Let k be 2/(-7) - 39/(-112). Let q be (1/360)/((-96)/(-17520)). Let d = k - q. Is d greater than or equal to -1?
True
Let k = -30 + 28.4. Are k and 23 non-equal?
True
Suppose 12*y - 14*y - 4 = 0. Let d = 14 + y. Let u be (-9)/d + (-3)/(-12). Is -9 equal to u?
False
Let u = 8 - 5. Let y be 2 + -1 - (1 - u). Suppose 6*h + 6 = y*h. Is -2 smaller than h?
False
Suppose 0 = -h + 5*c + 143, 2*h + h - 469 = 5*c. Suppose -g + h = 3*g - 3*j, -g + 4*j + 44 = 0. Are g and 39 equal?
False
Let g be 1664/(-278) - 96/(-24) - -2. Suppose 4*p + k = 45, 2*p + 2*p - 3*k = 25. Suppose 0 = 5*d - 0*d - 5*w + p, -4*w = -2*d - 8. Which is greater: d or g?
g
Let k be ((-6)/(-17))/((-1248)/(-28288)). Is k at most 255/29?
True
Let i be ((-6)/(-10))/((-285603)/(-103860) - (-11)/(-4)). Which is smaller: i or -5192?
i
Let c = -1657 - -1730. Let a be 15/35 - 179/(-7). Let d = a - 26. Which is smaller: c or d?
d
Let y be 4 + (-671832)/39516 + 5 + 8. Is -1 greater than y?
False
Suppose 6 + 57 = 7*i. Suppose 2*z = 5*v + 106 - 85, -2*v - 5*z + i = 0. Is -11/3 greater than or equal to v?
False
Suppose -3*q - 13 = -u, u + 3*q = -4*u + 65. Suppose -u*i - 2 = 11. Let c(h) = h. Let n be c(0). Which is greater: n or i?
n
Let z be 0 + 25/(-10) - 450/(-27). Let m(k) = k**3 + 4*k**2 - 3*k - 3. Let x be m(-3). Is z > x?
False
Suppose 23*i = 22*i + 37*i - 18144. Which is greater: i or 506?
506
Let x be (25013079/84)/(-91) - 10/(-4). Is -3271 > x?
False
Let n be (7 - 184/16) + (-9)/((-36)/16). Which is smaller: -1/868 or n?
n
Let d be (-7)/((-252)/(-7137))*-4. Which is bigger: d or -2/5?
d
Let o(v) = 13*v + 26. Let b(w) = 15*w + 25. Let l(y) = 3*b(y) - 4*o(y). Let g be l(-4). Do g and -1/118 have different values?
True
Let r(n) = 27*n + 12 + 1107*n**2 + 22 + n**3 - 1119*n**2. Let g be r(8). Which is smaller: 0.3 or g?
g
Suppose -138*l = 77*l - 139*l + 456. Let r be (15/7)/((-1)/3). Is r equal to l?
False
Suppose 0 = 5*k - v + 7, -15 = 3*v - 6. Let t be 12/(-634)*1/k. Which is smaller: -1 or t?
-1
Let p = 361 - 499. Let g be (-292)/3 + p/207. Which is smaller: -100 or g?
-100
Let v be (3/(-2))/(8/2288). Suppose -69*k = -188*k - 51170. Is k != v?
True
Let s = -910.852 - 0.148. Let l = s + 911.06. Which is smaller: l or 50?
l
Let k be -3 - ((-1)/1 - 1). Let y be 32/(-24) - (-112)/93. Which is smaller: y or k?
k
Let h(v) = -4*v**2 - 40*v - 271. Let m be h(63). Is m <= -18666?
True
Let c = 141.3 + -141.2. Let x = -1492 + 149197/100. Is c at least x?
True
Let g(x) = -x**3 + 15*x**2 + 15*x + 24. Let u be g(16). Let o(i) = -i**3 + 7*i**2 + 11*i - 15. Let a be o(u). Let q = 6.2 + -6. Is q <= a?
True
Suppose 12*k + 3*x = 17*k + 16334, -5*k - x = 16322. Which is bigger: k or -2/5?
-2/5
Let j = 34 + 13. Suppose -44*s + j*s = -3. Let k be (0 + (-2 - -2))/s. Which is smaller: 1 or k?
k
Let q be (-24)/(-108) + 79016/(-306). Are q and -242 unequal?
True
Let w be (-12 - -2)/(92/1357)*(-32)/10. Which is smaller: 477 or w?
w
Let r(m) = 8*m + 3. Let x be r(1). Suppose -c = -9*a + 4*a - 36, 0 = a + 3*c + 4. Is x greater than a?
True
Suppose 25 = 3*b + i + 4*i, 15 = -b + 3*i. Suppose 8*d - 14 - 18 = b. Suppose 165 = -5*w - 2*s, -2*w + d*w + 50 = -4*s. Does -36 = w?
False
Let l = -801840/7 - -114551. Suppose 9 = -0*g + 3*g. Let s be (2*2)/(6/g). Which is smaller: l or s?
s
Let o(w) = -2*w + 27 - 3*w + 3*w - 71. Let y be o(-19). Let i be (-4 - -2)/((-2)/(-8)). Which is bigger: y or i?
y
Suppose j + 290 = 4*x - 8*x, -4*x - 3*j - 286 = 0. Suppose 676 = -14*g + 5*g - h, 0 = 3*g - 2*h + 223. Is x <= g?
False
Let b(p) = -38*p**2 - 643*p + 52. Let a be b(-17). Is a >= 1350/11?
False
Let y(x) = x**2 - 74*x + 507. Let i be y(66). Is -117 at least i?
False
Suppose 19*b - 15*b + 204 = -3*j, 4*j + 2*b + 292 = 0. Is j at least as big as -91?
True
Let y(n) = 5*n + 25. Let k be y(-4). Suppose 5 = 16*a + k. Is 2/167 at least a?
True
Let j be (1 - 3)/(-2 - (-4)/3). Suppose 0 = j*i + 58 - 373. Let y = -231 + i. Which is bigger: y or -125?
-125
Let c be ((-6)/(-16) - -2*(-5)/(-16))*-1. Is c less than -1617?
False
Suppose -618*g = -654*g - 138204. Which is smaller: g or -1?
g
Let l be (-3)/(-2)*24/(-6). Let h be 1/(-12) - (16/64)/((-6)/578). Which is bigger: l or h?
h
Let k = 921.1113 - 921. Let a = 0.0413 - k. Is 0.11 at least a?
True
Let y = 4677 + -8678. Is -4000 at least as big as y?
True
Let d be (-6)/((-8)/(-64)*3). Let w = -5 - -10. Suppose -w*l - 9 = 51. Is l less than d?
False
Suppose 26*d - 480 = -12. Let r = 9 - 2. Suppose -b - 2*q = -7, -4*q + r*q - 70 = -5*b. Which is smaller: b or d?
b
Let z be ((-1)/(-3))/((88/(-24))/(-11)). Let g be (5 - 2)/(z/(-3)). Let c(s) = -s**3 - 7*s**2 + 16*s - 18. Let d be c(g). Is -12/13 greater than d?
False
Suppose -2*x + 5 = -4*b - 15, 5*x + 3*b - 63 = 0. Let n be ((-12)/15 + 1)*(3 - x). Suppose 5*v + 35 = 5*g, 0 = -g + 2*g - 4. Is v at least as big as n?
False
Let a = 3.05 + -0.05. Let i = 16340 + -16338. Is i at most a?
True
Suppose 12*q - 15*q = 0. Suppose q = 25*f - 36*f - 187. Is f < -17?
False
Let m = 82 - 9. Let f = m - 82. Let w(x) = -x**2 - x + 8. Let k be w(-4). Which is smaller: k or f?
f
Let i(r) = -r**3 - 73*r**2 + 152*r - 11. Let n be i(-75). Let z(s) = -4*s**2 + 4*s + 8. Let h be z(-6). Are h and n non-equal?
True
Let z(u) = -6*u**2 - 357*u - 60. Let j be z(-60). Which is bigger: j or -247?
j
Let h be 14 + (-26 - (-9 - 3)). Which is bigger: h or 34?
34
Suppose x = -g + 78, 0*x + 4*g = -x + 69. Suppose -32*t - 49 = -x*t. Is t >= 2/81?
True
Let n = -3 - -5. Let w be 1658/(-56) - n/8. Let h = w + 30. Is -4 smaller than h?
True
Suppose h = -5*h. Suppose h*i - 2*t = 2*i + 36, 2*i - 5*t + 1 = 0. Which is smaller: -12 or i?
i
Let k(z) = -2*z**2 - 107*z + 156. Let q be k(-51). Does 13 = q?
False
Let n = -8234018 + 98888299/12. Let m = -6662 + n. Let z = 43/4 - m. Which is greater: 0 or z?
0
Let o = -100 - -18. Let i = o + 68. Are i and -4 unequal?
True
Suppose -2 = -2*v + 4. Suppose v*i = -99 + 6. Which is smaller: i or -27?
i
Let l(k) = 34*k**3 + k**2 - k + 1. Let i be l(1). Suppose -9*v + i = -4*v - 2*a, 0 = -3*v - 3*a. Suppose -v*m = 4*f + 205, m - 3*f - 7 = -29. Is -37 at least m?
True
Let b(j) = -2*j**3 + 127*j**2 + 62*j + 257. Let t be b(64). Which is smaller: -0.4 or t?
-0.4
Suppose 0 = -94*a + 3 + 91. Which is smaller: -1/962 or a?
-1/962
Let y(o) = -3*o**3 + 2*o**2 + o + 1. Let r be y(3). Suppose 182 = -3*k - 340*p + 342*p, 5*k + 8*p + 292 = 0. Which is bigger: r or k?
r
Let p = 13.937 + 0.803. Let n = -0.26 - p. Is -1 less than n?
False
Suppose 0 = g + 203 - 202, -8*g = -2*v + 8. Which is smaller: 20/21 or v?
v
Let g(r) = -6*r - 6. Let l be g(-2). Let v be ((-12)/18)/((-1)/l). Suppose -3*q + 0*d - 4 = -d, 0 = 4*q - v*d + 8. Is -1/103 at least q?
True
Let z = 15.7 + 72.3. Let x = -87 + z. Which is bigger: x or 12?
12
Let h = -438.056 + 436. Let b = -539.944 - -540. Let l = b + h. Does l = 10?
False
Let q = -36 - -26. Suppose 5*l = 954 - 939. Suppose 0 = -2*a + l*m - 7*m - 26, 3*a + 2*m + 31 = 0. Is a at least q?
True
Suppose -10920*y + 10951*y - 23033 = 0. Which is greater: y or 1487/2?
1487/2
Let f = 0.1879 + -244.5379. Let d = f - -244. Is 1/4 less than d?
False
Let v = 7215 + -7214. Which is smaller: v or 126/115?
v
Suppose 0 = -257*o + 102*o + 17670. Which is greater: o or 121?
121
Let f = -10147349/5 - -193275336/95. Let s = f - 5009. Is s less than -1?
True
Let s = -812 - -379. Let a = s + 427. Is a equal to 3/7?
False
Let m(u) = u**3 - 7*u**2 - 15*u + 5. Let g be m(-2). Which is bigger: -6/19 or g?
-6/19
Let j(w) = -14*w**3 + 3*w**2 + 5*w + 2. Let t be j(-1). Suppose -t*v + 4*v = -4*v. Is 5/17 at most as big as v?
False
Let u(g) = 5*g**2 - 7*g + 12. Let l(w) = -6*w**2 + 6*w - 11. Let y(o) = -4*l(o) - 5*u(o). Let n be y(4). Is -7 less than n?
True
Let d = 216 - -24. Let k = -135 + d. Let n = 101 - k. Which is smaller: 0.02 or n?
n
Let a = -5.474 + 0.074. Let p = a + 5.94. Let n = p - 0.58. Which is smaller: 13 or n?
n
Let i = -0.292 + 8.892. Let w = 7.3 - i. Is -3 greater than w?
False
Let w be -3 + 184/6