smaller: n or w?
n
Let t be ((-172)/215)/(2/20*2). Let q be -3 - 26*-1*165/t. Let d = 1099 + q. Is d at most as big as 25?
True
Let c be (2/7)/(3060/714). Let s = -58 - -49. Which is smaller: c or s?
s
Let s = 1.55 - -10.45. Let r = -9.6 + s. Is 1/3 smaller than r?
True
Let z be 1/((-8)/(-12)*3). Let t = -56 - -34. Let r be t/(-264)*2*7. Is z less than or equal to r?
True
Let b(x) = -2*x**3 - 13*x**2 + 20*x - 15. Let m be b(-8). Suppose 0 = -m*a + 21*a - 12. Which is smaller: a or 92?
a
Suppose -5*n + 3*a = 2*a - 6, 5 = 4*n - a. Let h(g) = 5*g + n - g - 2*g + 17*g**2 - 8*g**2. Let v be h(-1). Which is smaller: 9 or v?
v
Suppose 41*v - 2*j - 7 = 42*v, 5*v - 4*j - 7 = 0. Is 6 > v?
True
Let q = 137 - 205. Let i = -63.2 - q. Let o = -4.2 + i. Which is smaller: o or -2/11?
-2/11
Let k(d) = -25*d - 63. Let n be k(-3). Suppose -2*q = -3*q + 4*z + n, 2*z = -5*q + 16. Is 3.8 greater than q?
False
Let x = 2/6329 - -6319/31645. Are -566 and x nonequal?
True
Let q be 24/10*10/1. Suppose 0 = q*v - 26*v + 40. Let s be 3 - 17/5 - 532/v. Is -29 >= s?
False
Let y be (-1577)/(19 - 0) + (0 - -3). Is y less than -1?
True
Let k(o) = o**2 - 13*o - 37. Let u be k(-14). Let r = -342 + u. Is r at least 0?
False
Suppose -4*s = k - 36, -2*k + 43 = k - s. Suppose -t - 4*v + 7*v + k = 0, -4*t + 4 = 3*v. Which is bigger: t or 13?
13
Let k(d) = 409*d - 1228. Let i be k(3). Let y be 53/240 + 3/(-15). Which is bigger: y or i?
y
Let i(u) = -u**3 + 19*u**2 - 16*u - 4. Let v be i(7). Let l be v/64 - (-5 + 1). Are l and 11 non-equal?
True
Let c = -1543/10 + 26279/170. Which is smaller: -1 or c?
-1
Let o = -0.613 + 0.7. Let t = o + 0.013. Which is bigger: -27 or t?
t
Let q = -96.6 - -95. Let h = 13 - 13.6. Let i = q - h. Is i not equal to -1?
False
Let i = -41 + 42. Let u be (i + -11)*(-1)/(-2). Let o = -87 - -74. Is o at least as big as u?
False
Let o = -906286574/429 + 2112554. Let v = 40/39 + o. Suppose -i + 2*i - p = 4, 3*i = p + 4. Does i = v?
False
Let f = 60 + -109. Let r be (-4)/(-7) + 714/f. Let z = -70 - r. Which is smaller: -55 or z?
z
Suppose 0 = 5*i + 5*o - 10, 4*i + 0*o - 9 = -5*o. Let k = -12/12779 + -73374/3514225. Are k and i non-equal?
True
Let s be (-2)/(-7) + (-8624)/1372 + 782/26. Which is greater: 1 or s?
s
Let l be 22/143 - (-9658)/(-78). Let t = 126 + l. Is t equal to 3?
False
Let k(j) = -113*j - 4102. Let r be k(-74). Which is smaller: r or 4258?
4258
Suppose -124 = -29*h + 3646. Let j be (-168)/h + (-24)/(-40). Which is smaller: j or -1?
-1
Let l = -1.14 + 0.63. Let k = 0.11 + l. Let i(g) = g**3 - 4*g**2 - 29*g - 22. Let r be i(8). Is r not equal to k?
True
Let t = -215.8 - -214.8. Which is smaller: 1882 or t?
t
Let n(p) = -p**2 + 3*p + 1. Let o be n(0). Let z be 12/(-351)*((-4)/16)/o. Which is smaller: z or 3?
z
Let a = 11 + -3. Let u = 0.015 - 30.015. Let l = u + 29.9. Do l and a have the same value?
False
Let r = 571/5 + -1328/15. Let i = -55 - -80. Let u = r - i. Which is smaller: 26 or u?
u
Let b be 3/54 + (130380/(-15984) - -8). Is -1 at least b?
False
Suppose 2*j + 2 = 12. Let o be (1/(-1) - j) + 6. Is 1/43 greater than or equal to o?
True
Let q = -127/15 + 43/5. Suppose 75*w = -7*w - 88*w + 170. Do w and q have different values?
True
Let d = -56.4 - -54. Let b = 2.43 + d. Let z be -6*1*4/(-16). Are b and z nonequal?
True
Let o = -3.1644 + -0.0656. Let a = o + -0.69. Let r = -3.9 - a. Which is greater: -3 or r?
r
Let o(d) = 2*d + 32. Let f be o(10). Let m be (-3)/f*(6 + (-68)/10). Is m smaller than 0?
False
Let u = 0 - 8. Let l = -13 - u. Let z = 40334 - 40332. Is l less than z?
True
Let n = -27 - -27. Suppose 0 = -2*s + 4*m - 10, 2*m = 3*s + 3*m + 8. Let y be (2 - (-40)/65) + s. Is y >= n?
False
Let m = 3775 + -3600. Is 175 equal to m?
True
Let x = 1357195/2796 + -5819/12. Which is bigger: 0 or x?
x
Let h(w) = 49*w**2 + 2*w + 4. Let x be h(-2). Suppose -3*k + x = 25. Is -0.2 at least k?
False
Let z(l) = -37*l + 8. Let j be z(4). Suppose 0 = 12*a - 263 + 1955. Is j smaller than a?
False
Let s be 3/(-1) - (-1 + -1). Let a = -14/9 - -589/396. Which is smaller: s or a?
s
Let x = -6957 + -2352. Is x smaller than -9309?
False
Suppose 120 = 16*x - 11*x - 3*o, x + o - 24 = 0. Let p be 27 + (6 - 150/x). Which is greater: 28 or p?
28
Let b(l) = 33*l + 14. Let i be b(-1). Let h = 490 - 509. Are i and h equal?
True
Let a = -7 - -13. Let q = -30902/3 + 10306. Which is smaller: q or a?
q
Let b = 2.07 - -158.93. Let n = b + -161. Is n not equal to 9?
True
Let h be 3/99*-35 - -1. Let y = 64 + -62. Suppose 2 - 6 = 5*d - 4*n, -y*d - 3 = -3*n. Is h at most d?
True
Suppose 71*a + 8494 = 133*a. Let b be (-2 + -83)*(-56)/35. Which is greater: b or a?
a
Let f be ((-15)/12)/((-2)/8) - 3. Suppose w - 5 = -q - f*q, 3*w + 11 = 4*q. Let y be q/3*(-21)/161. Which is bigger: y or 1?
1
Let w(c) = -7*c - 12. Suppose 0 = 10*q - q - 36. Let z = q + -8. Let m be w(z). Are 4 and m unequal?
True
Let j be (-11926706)/(-3663) - (-5 - 1). Let g = 3262 - j. Is g bigger than -1?
True
Let p = 5.8 - 618.8. Let n = -648 - p. Which is smaller: -0.08 or n?
n
Let z = -7212 - -7225.7. Which is greater: z or -9?
z
Let l(r) = -7*r - 25 + 7*r - 3*r - 8. Let d be l(-13). Let c be ((-4)/d)/((-57)/9 + 7). Does -4/11 = c?
False
Let u be ((-400)/1050)/(20/35)*6/4. Let z = -14 - 47. Which is bigger: u or z?
u
Suppose w = 4*i - 104 + 373, -3*i - 4*w = 216. Let f = -53 - i. Let c be 10*(-5)/(f*4). Is -3 less than or equal to c?
True
Suppose -2*s + s = -27. Suppose 9 - s = -2*f. Suppose -3*n = -14*w + 70, -5*w - 6*n = -11*n + 30. Which is smaller: f or w?
w
Suppose 38*l = 36*l + 8. Suppose -5*j + 25 = 2*m - 14, -3*m + l*j = -70. Suppose -25 = 3*y - m. Are 1/4 and y nonequal?
True
Let j = -11.14 - 0.86. Let d = j - -12.038. Suppose -3*v = -0 - 3. Which is smaller: d or v?
d
Let a = 2 + 0. Let y(o) = -o**3 + 4*o**2 - 4*o. Let u be y(a). Suppose 0 = -9*d - u*d + 414. Is 46 > d?
False
Let r = -38 + 34. Let c be 448/273 - r/(-3). Let i = -18 + 18. Which is smaller: c or i?
i
Let y = 469 - 812. Let v = 343 + y. Do v and 18/5 have different values?
True
Let o = 327 - 333. Let g be o/(-115)*(-1 + 0). Which is greater: 0 or g?
0
Let x = 355/2 - 1767/10. Let w(f) = -f - 2. Let z be 4*(-1)/(1/1). Let g be w(z). Which is smaller: g or x?
x
Let s = -273 + 285. Let n be (256/(-30))/(2/(-3)). Which is smaller: s or n?
s
Let m = -603 + 91. Let r = m - -490. Do -0.7 and r have different values?
True
Let f be (-6)/2*4/9. Let i(l) = l**2 + 26 + 9 + 31 + 30*l - 12. Let r be i(-28). Which is bigger: f or r?
f
Let u = 9426970/1084263 + -43048428784690/442017883. Let y = u - -97382. Let l = 264154/25683 - y. Do l and 10 have different values?
True
Suppose 2*x + 717 = -89. Let f = x + 402. Which is smaller: 5/12 or f?
f
Let r = 0.15 - -19.85. Let w = 18.03998 + -0.03998. Let m = w - r. Is m smaller than -10?
False
Suppose -24 = 3*y + 18. Let f be (3/54)/((-8)/10960). Let s = 556/9 + f. Is y at least as big as s?
True
Let m = -40831 + 40832. Do -48/211 and m have the same value?
False
Let g be 4/(-34) - 4/34*834990/(-52). Which is smaller: g or 1886?
1886
Suppose 0 = 4*p - 0*p + 80. Let n be ((-36)/30)/((-3)/(1095/(-2))). Let z = n + 203. Is z at least as big as p?
True
Suppose 0 = -q + 5*q + 4*v + 20, 5*v = -4*q - 25. Let f = 5/704 - -17/64. Which is bigger: q or f?
f
Let n = 117 + -116. Let k(m) = -2*m + 7. Let g be (3*-5)/(-3) + -2. Let z be k(g). Is n equal to z?
True
Let u be ((-506)/3*2)/(20 + -11 - 11). Which is greater: 170 or u?
170
Let d be -2 + -1*7 - (-25 - -24). Let f = 4.6 - 4. Let n = f - -1.4. Do n and d have the same value?
False
Let k(l) = -l**2 - l - 2. Let g be k(0). Suppose 4*n = -n, 3*y = 4*n - 90. Let d be y/5 - g - -3. Which is greater: 5/42 or d?
5/42
Suppose 7*h - 15 = 2*h. Let x = 49.989 - -0.011. Let r = 50.02 - x. Is r != h?
True
Suppose 4*p + 4*k + 104 = 0, -4*p + 11*k - 122 = 9*k. Let j be 66/p + -3 + 13 + -8. Are -1 and j equal?
False
Suppose 0 = 7*o - 0*o. Suppose o = 4*g + j - 24 + 10, 2*g = -j + 6. Suppose 0 = -0*p - 2*p + 4. Which is smaller: g or p?
p
Let c = -182/18271 + -2454799/182710. Let y = c - -148/11. Which is bigger: 0 or y?
y
Let t(j) = -2*j**3 + 25*j**2 + 2*j - 17. Let r be t(12). Let w = r - 151. Which is smaller: w or -8/29?
-8/29
Let a be ((-3)/(-4))/((-305373)/422024). Are a 