aller: -7/5 or a?
-7/5
Let w = 7317 - 373136/51. Let d = -1/17 - w. Is d < 9?
True
Let r be (2/4)/(6 + (-1374)/228). Let y = -0.5 + 0.7. Is r not equal to y?
True
Let d be (-780)/(-182) + 4/(-14). Let w(b) = 9*b. Let l be w(1). Which is smaller: l or d?
d
Let u(o) = o**2 + 3*o + 7. Let m = 17 - 22. Let z be u(m). Let f = z - 17/2. Which is bigger: 9 or f?
9
Let y(x) = x**2 + 7*x + 11. Let s be (-1*2)/((-2)/(-6)). Let m be y(s). Let w be 20/m - 14/2. Is -4 smaller than w?
True
Let q = 2.25 + -2.2. Let z = -6 + 6.1. Is q >= z?
False
Let g = -0.408 - 1.592. Which is smaller: 10 or g?
g
Let n(f) = -f**2 - 87*f + 9. Let a be n(6). Which is greater: -548 or a?
-548
Let o be 4/18 + 4/(-18). Let l be o*((-3)/(-2) - 2). Suppose l*y = -y. Which is smaller: y or -7?
-7
Suppose 2*j = -2*j - 32. Let z be (j/(-6))/((-4)/6). Let w be (-32)/(-18) - 2/1. Which is greater: w or z?
w
Let r = 19.698 - -0.302. Are r and -5 non-equal?
True
Let h = -2 + 2. Suppose h = 5*s - 4*f - 7 + 1, 24 = -2*s - 5*f. Is -3 greater than s?
False
Let z(d) = d**3 + 1. Let u(h) = 7*h**3 + 4*h**2 + 10. Let k(b) = -u(b) + 6*z(b). Let l be k(-4). Let j = -52 - -47. Is l greater than j?
True
Let i = 161 - 73. Let q = i + -443/5. Let f = -0.05 + 0.15. Which is smaller: q or f?
q
Let h = 10 - 2. Let g = -3 + h. Suppose -n + g = 4*n. Is n < 2/19?
False
Let l = 58.7 - 53.7. Is l at least -0.243?
True
Let f(u) = 178*u**3 - 5. Let s be f(2). Is s at least 1419?
True
Let o(i) = i**2 - 10*i + 8. Let d be o(9). Let f = 5009597/90 - 55661. Let a = f - 13/10. Which is smaller: d or a?
d
Let b = -1.118 - -0.628. Is -0.2 at least b?
True
Let c = 2 + -2. Suppose 3*i + 3 = -c. Is i < -1/2?
True
Suppose -7*r + 5*r - 1 = -a, 0 = -4*r - 8. Let m(d) = -5*d**3 + d**2 - 1. Let o(l) = -l - 4. Let j be o(-5). Let f be m(j). Are f and a unequal?
True
Suppose -3*s - b = 27, 7*s + 3*b = 5*s - 18. Which is greater: s or -14?
s
Let l be (2 + 0)*(-1)/(1330/7). Is l equal to 0?
False
Let z = -7 - -11. Let o(b) = -b**3 + 4*b**2 - 4*b. Let l be o(z). Suppose 30*j + 177 = 88 - 421. Are l and j equal?
False
Let d = -171 + 182. Which is bigger: 5 or d?
d
Let h be 11/(-66)*18/(-1668). Does h = 2/3?
False
Let g = 3488 + -603422/173. Does g = 1?
False
Suppose 3*g + 90 = 4*t + 12, -3*t + 55 = -4*g. Is 22 less than t?
False
Let h = 0.022 + -0.122. Suppose -4*w + 5*b + 60 = 0, -36 = -w + 4*b - 10. Which is smaller: w or h?
h
Let h be (-8 - 2) + -2*(-6)/4. Let f be h/28*9*(-2)/2. Is 3 at least as big as f?
True
Let y = -4 + 7. Let i(a) = -3*a**2 + 5*a + 4 - 3*a + 2*a**2. Let n be i(y). Does n = -1/20?
False
Let z = -0.0143 - -1.0143. Suppose w + 26 = -0*w. Which is smaller: z or w?
w
Let b be (-1)/3 + 32/(-48). Let g = 2622/7 - 374. Is b at least as big as g?
False
Let m = -56 + 50. Let x be (m/2)/(7/((-56)/(-12))). Which is smaller: -1.2 or x?
x
Suppose -2*j = -5*v - 114, 30 = 2*j + 2*v - 112. Let n = j + -51. Suppose -5*a = r + 6 - 16, -34 = -2*r + 4*a. Is n greater than r?
True
Let f be (-1)/((-2)/(-4)) - -6. Let z = -4365 + 4371. Are f and z non-equal?
True
Let h be 1 - -2 - 1766/511. Let m be (-1)/4 + (-162)/(-584). Let r = m + h. Does r = 1?
False
Let l = -7.9 - -75.81. Let u = -68 + l. Let t = 0.6 + 1.4. Is t at least as big as u?
True
Suppose -13*a + 2604 = -44*a. Is a equal to -84?
True
Let w = 57 - 61. Let a be ((0 - -4) + -4)/w. Which is greater: 1 or a?
1
Suppose 2*l + 4*r - 14 = 8*r, 2*l - 14 = -4*r. Suppose u - l*u - 126 = 0. Is u >= -21?
True
Let b(u) = -u**3 - 9*u**2 + u - 3. Let x be b(-9). Let s be (-15)/x - 6/(-8). Suppose -s = 3*y - 5. Which is greater: 0 or y?
y
Let p = 0.9 + -1. Let k = -1657/1000 + 4/125. Let x = 127/88 + k. Is p less than or equal to x?
False
Let k = -232/1125 - 2/125. Let c(w) = 3*w - 20. Let r be c(8). Let o be r*(-8)/(-20) + -2. Do o and k have the same value?
False
Let r be 459/(-306) - 29/(-22). Let x(z) = z**3 - 6*z**2 + z - 7. Let q be x(6). Which is smaller: q or r?
q
Let o be 104/4*((-165)/(-162) + -1). Let u = o + -11/135. Let r be 10/8 - (-2)/(-8). Which is smaller: r or u?
u
Let z = 0 + 0.4. Let j = 31.032 + -31. Let k = j - 0.132. Which is bigger: z or k?
z
Let d = -14 - -14. Suppose d = 3*y + 11 - 14. Is y != 9?
True
Let z = 148 - 141. Do z and 14 have the same value?
False
Let k be (36/(-126))/(1084/(-7)). Which is smaller: k or -1?
-1
Let y = 736 + -208. Suppose y = 13*o - 278. Is o greater than or equal to 62?
True
Let u = -170 + 168.5. Is -2/13 bigger than u?
True
Let w be (10676/16)/(-2 + (-28)/(-16)). Let y = -125437/47 - w. Do 0.1 and y have the same value?
False
Suppose 2*o - 4*l - 32 = 0, 5*l = 2*o - 0*o - 37. Suppose 0 = o*m - m. Is 4/21 at least as big as m?
True
Let s = 4.9 - 4.96. Which is smaller: s or -15?
-15
Let o(l) = -3*l**2 + 5*l + 6. Let v be o(6). Let d be (v/16)/((-4)/3). Let s = -1/24 + d. Is 4 greater than or equal to s?
True
Let w be (-7 + (-88)/(-16))*(-6)/3. Let y(h) = 5*h - 1. Let p be y(1). Let t = p - 1. Do t and w have the same value?
True
Let l = -7.03 - -7. Let h = l - 0.19. Let o = h + -8.78. Which is bigger: o or 0.1?
0.1
Let v = -983 - -69795/71. Let y = 293/2840 - v. Which is bigger: -1 or y?
y
Let v = 27.7 + -28.46. Which is smaller: 0.2 or v?
v
Let w be (-2)/(-6) + 200/12. Suppose -2*j = -4*p + 28, 3*j - p + 0 + w = 0. Is j greater than or equal to -1?
False
Let b = 100 - 89.9. Let f = b - 8.1. Which is smaller: 14 or f?
f
Let m be 12/18 - 4/(24/358). Is -55 smaller than m?
False
Let w = 0.198 + -0.398. Is w bigger than 43?
False
Let h = 20020/47 - 426. Let v = 3 - 4. Which is smaller: v or h?
v
Let t = -276 + 342. Is 68 less than t?
False
Let n be (-60)/(-14) + (-7 - -3). Suppose 0 = f - 2*z - 56, 3*f - 102 - 64 = 5*z. Let b = 207/4 - f. Are n and b unequal?
True
Let y be (102/85)/((-4)/((-7680)/(-9))). Is -255 != y?
True
Let s(b) = 9*b + 44. Let w be 4*(-5)/10 + -3. Let f be s(w). Which is bigger: 2/31 or f?
2/31
Let r be (-2)/3 + (-25)/(-33). Suppose 3*j = 5*a - 12, j = 4*j + 12. Suppose 0*g - g - 1 = a. Which is smaller: g or r?
g
Let w = -27 + -42. Let y = w + 74. Do -0.03 and y have the same value?
False
Let j = 16 + -13. Let q(y) = 1 - 2*y**3 + y + 5*y**j + y**2 + 2 - 2. Let s be q(-1). Are s and -2 nonequal?
False
Suppose -2*r = 2*s - 16, s - 3*r + 12 = 2*s. Let n(x) = x**3 - 3*x**2 - 2*x - 2. Let h be n(4). Is s > h?
False
Let k = 20 - 21. Let z be ((-8)/(k + 0))/(-1). Is -8 smaller than z?
False
Suppose 3*f = 2*b - 6*b + 52, 0 = f - b - 22. Let o = 24 - 21. Suppose 0 = 2*x - 2*w - 38, -2*x - 13 + 51 = o*w. Which is greater: x or f?
f
Let s(n) = -2*n**2 - 8*n - 3. Let l = -9 + 6. Let m be s(l). Suppose m*v = -v - 36. Do v and -7 have the same value?
False
Suppose 207*c - 210*c - s - 341 = 0, 3*c = -3*s - 339. Which is smaller: c or -111?
c
Let l = -775 + 1458. Is l not equal to 1?
True
Let k be (-6)/8*(-16)/66. Let i = -12 + 16. Let o = 3 - i. Is k at least o?
True
Let g be 261/(-5)*40/(-12). Suppose -u + 6 = -g. Let s = u + -3782/21. Is -1 >= s?
False
Let v = -248 + 247.8. Is v at least as big as -0.06?
False
Let g = 0.0409 + 9.9591. Which is smaller: -1/3 or g?
-1/3
Suppose -3*z - 96 = -3*u, 0 = -2*u + 19 - 11. Do z and -28 have different values?
False
Suppose 0 = -13*u + 14*u + 9. Let r be u*(-1)/((-15)/(-25)). Let s = r + -24. Which is smaller: s or 1?
s
Suppose 2250 = -7*g + 25*g. Are g and 124 non-equal?
True
Let o = 3.8 + -4.2. Let t = 29 - 34.5. Let v = t - -5. Is o >= v?
True
Let h = 72659/224553 - 95/289. Which is smaller: 1 or h?
h
Let z(a) = a**3 - 9*a**2. Let t be z(9). Let d(g) = -g - 7. Let y be d(-9). Suppose -2*k - y = -t. Which is greater: k or 2/67?
2/67
Suppose 18 = -0*r + r. Let a be 374/r + (-6)/(-27). Let z = -21 + a. Which is smaller: z or 2/7?
z
Let u(j) = j**2 + 43*j - 1473. Let i be u(-66). Which is bigger: i or 33?
i
Let h = 6013 + -6024. Let x be ((-11)/(-4))/((-1)/4). Is x > h?
False
Suppose -79*g = 82 - 398. Let h(p) = p**2 - 5*p + 4. Let b be h(4). Suppose 5*d + 2*k - 5 = -b, d + k = g. Which is bigger: -6/5 or d?
d
Let l(w) = w**2 + 3*w - 28. Let q be l(-7). Suppose q = 5*u + 60. Which is smaller: -2 or u?
u
Let n be (-10045)/1127 - (-4)/(-46). Is n smaller than -9?
False
Let r = 346 + -436. Which is smaller: 0.3 or r?
r
Let z = -6 - -7. Let w = -14 - z. Let j = w - -10. Is 2/9 != j?
True
