4). Are 24/385 and b non-equal?
True
Suppose -t - 5*w = -25, 2*t + 2*t + w = 5. Let r be (5 - t/(-8)) + 27/(-6). Let b = -1.41 + -0.29. Is b greater than r?
False
Let p = -0.5 + 47.9. Let l = -87.8 + p. Let u = -38 - l. Do u and -1 have the same value?
False
Let f be (-1)/3*3 - 10/2. Let j be (f/(-21))/2 + (-788)/28. Is -26 greater than j?
True
Let x be -2 - ((-1)/(-2))/((-15)/66). Let p = 20.9 + -21.77. Let o = 0.33 - p. Which is bigger: o or x?
o
Let n = 48 + -83.3. Let g = 35 + n. Let i = 8.277 - 0.277. Which is smaller: i or g?
g
Let l = 39442 - 39446. Let i(a) = 72*a - 2. Let b be i(-3). Let y = b - -1520/7. Is y != l?
True
Let y = 13345828543/12935 - 1031761. Let m be (1544/398)/4 + -1. Let g = y - m. Which is bigger: -1 or g?
g
Let s = 6.65031 - -0.14969. Is s greater than -1/27?
True
Let u(a) = -a**2 + 12*a - 24. Let r be u(7). Suppose -x + r = 11. Suppose -3*y + i = 47, x = -y - 2*y + 2*i - 43. Does y = -16?
False
Suppose -3*h - 6*h + h - h = 0. Is h bigger than 2/8383?
False
Let c be ((-312)/(-30) - 10)/((-4)/5). Which is smaller: c or -999?
-999
Let o(g) = -6*g**2 - 369*g - 1401. Let a be o(-4). Let q = -987 - -5789/6. Is a bigger than q?
True
Let a = 9 - 6. Suppose -k = a*n + 55, -3*k + 87 = -5*n - 7*k. Let v = 1644 - 1661. Is n <= v?
True
Let l = -2699293249/64225 + 1050671/25. Let j = -1/367 - l. Is j <= 2?
True
Let b = 22/805 - -717/3220. Are b and -5/479 unequal?
True
Let b = 13 + 0. Suppose -b*c = -5*c + 16. Let l be (3 + -4)/(1 + c). Is l greater than or equal to -3/29?
True
Let j = 65 + -65.015. Let t = j - -0.015. Let b be 2*3/(-18) + (-29)/(-78). Which is greater: t or b?
b
Let m = -0.4 - -0.43. Suppose -13 + 52 = -13*s. Let l be (s/(-4))/(6/32). Which is smaller: l or m?
m
Suppose -2*m = 2*v - 4, 4*v + 2*m + 22 - 24 = 0. Which is greater: 28/1087 or v?
28/1087
Let h = 1098.5 + -1098.3. Which is greater: 2079 or h?
2079
Let z be -3 + (11 - 126529/14001)/(4/6). Which is greater: 1 or z?
1
Let u = 3.32 + 485.68. Let n = 488.8 - u. Are -23/3 and n nonequal?
True
Suppose 0 = -j + 4*w + 5, -2*w - 6 = -4*j - 0. Let a = 6376/7 + -293485/322. Let g = a + 2/23. Which is smaller: g or j?
g
Suppose -2*j + 4 = 0, -5*k + 271 + 96 = j. Let w = k - 145. Is -72 >= w?
True
Let f = 108 + -224. Let u be 1/3 + f/6. Let a be (-8)/(-32) - 425/20. Is u < a?
False
Let v be 2/(-4 + 87/21). Suppose 5*u = -5, -6*p + 94 = -p - 4*u. Suppose 5*k = p + 47. Is v >= k?
True
Suppose -35*n + 360 = -23*n. Suppose 28*r - 3*i = n*r + 17, 3*i + 30 = -3*r. Is r > 2?
False
Let u = 2941 + -2553.4. Which is greater: u or 0.1?
u
Let w(x) = -x**2 - 15*x + 42. Let f be w(-17). Let a be f/((-24)/(-351)) + 4. Let i = a + -122. Do -19/9 and i have the same value?
False
Let g be ((-25)/3)/(-5)*3. Let u be 76/(-12) + (-2)/(-6). Let k be (7/(-27))/((5/u)/g). Is k greater than or equal to 1?
True
Let i(w) = -3*w - 42. Let j(m) = -4*m - 41. Let v(d) = -3*i(d) + 4*j(d). Let a be v(-6). Suppose -5*h + 9*h = a. Is 9/4 smaller than h?
False
Let v = 5/15757 + -15772/47271. Suppose 2*q - 213 - 121 = 0. Which is bigger: q or v?
q
Suppose 4*u = 12, -h = -5*h + 5*u + 5. Suppose -h*r + 105 = -0*r. Suppose 0 = -3*f + 4*o + 85, -4*o - r = -2*f + 41. Do 23 and f have the same value?
True
Let j(c) = 5*c**2 - 32*c - 245. Let w be j(-10). Is 573 less than or equal to w?
True
Let q be ((-152791)/(-5659) - 18) + (-18)/2. Which is smaller: 0 or q?
q
Let f = 933.4 - 201.4. Which is bigger: -2/7 or f?
f
Let k = -8 + 15. Let g(b) = b**3 - 8*b**2 + 4*b + 4. Let p be g(k). Are 0 and p unequal?
True
Let n(j) = 361*j - 9021. Let g be n(25). Let x(r) = 2*r - 2. Let m be x(3). Is m equal to g?
True
Let k(o) = o**3 - 10*o**2 + o - 8. Let g be k(10). Let s(b) = -5*b**3 + 10*b**2 + 3*b**g - b + 6*b**3 - 18. Let n be s(-13). Which is greater: -6 or n?
n
Let c = -78/1373 - -3906419/4119. Which is smaller: 949 or c?
c
Let k = 824.4 + -824.6. Which is smaller: k or -70?
-70
Let r = -200 - -200. Suppose r = -5*x - 36 + 36. Are -12/19 and x non-equal?
True
Let c be ((-4)/10)/((144/60)/(-6)). Which is smaller: c or 1/474?
1/474
Suppose 5*p = -5*z, -p - 6*z = -2*z + 9. Suppose -4*w = -4*b + 1304, 0 = -p*w + 2*w - 3. Which is smaller: 324 or b?
b
Let u = 4 + 7. Let s be (-2)/u - 7/22. Let h = -31528 + 31527. Is h != s?
True
Let m(h) = -58*h + 1. Let q be m(2). Which is greater: q or -118?
q
Let t = 6 + -4. Let f = -6239 - -6241. Does f = t?
True
Let m be (0 - 42/2628)/(8*3/504). Which is bigger: m or -1?
m
Let f = 487 + -428. Suppose 0 = -h - 3*j + 36 + 12, 0 = -3*h - 3*j + 162. Which is smaller: f or h?
h
Let g = 0.02 - 1.55. Let n = 0.03 + g. Let s be (-253)/(-828)*-4 - (-1)/(9/2). Which is smaller: s or n?
n
Let o = -19.12 + 19. Let g = o - -0.02. Let z = -863 - -865.8. Are z and g non-equal?
True
Suppose -30*p - 16281 = -981. Let m = p + 279. Which is smaller: m or -691/3?
m
Let j(m) = -2*m + 1. Let b be j(1). Let k(a) = 130*a - 5. Let t be k(-10). Let s be t/(-175) + -8 + (-1)/(-2). Are b and s equal?
False
Let y = -132.07 - -131.97. Which is smaller: y or 2/5601?
y
Let n = -5304 - -5318. Is 14 < n?
False
Let t = 1395 - 1302. Are 109 and t non-equal?
True
Suppose t - 4 = -3*t, 3*b + 5*t = -214. Let j = -145 - b. Let h = -74 - j. Which is bigger: -16/15 or h?
-16/15
Let s be (45/30*(-4)/21)/((-152)/(-133)). Do 5083 and s have the same value?
False
Let v(o) = -2*o**3 - o**2 + 1. Let m be v(-1). Let d = -2396 - -2405. Suppose m*w - w - 4*r + 17 = 0, 2*r = w + d. Is 1/31 > w?
True
Suppose 5*l - 2*h + 1152 = -1718, 2*l - 2*h + 1148 = 0. Is -6330/11 at least l?
False
Suppose 78*p = 52704 - 16902. Is p <= 459?
True
Suppose -63 = -2*v - 59. Let d be v/((-6)/18 - 17/(-57)). Are d and -57 equal?
True
Let t = 0.4768 + -237.3768. Let l = -237 - t. Is -1/10 not equal to l?
False
Suppose 2*p - 15 = 3*a, a + 13 = 2*p + 4. Let h(r) = -5*r**2 - 13*r + 5. Let b be h(a). Which is smaller: b or 7/88?
b
Let q = 303/595 + -24/35. Let y be (15/5)/6*0. Which is smaller: q or y?
q
Let u = 0.5 + -0.4. Let a = 67 - -5. Let v = a - 57. Which is bigger: v or u?
v
Let l be (3 + -10)/(-35)*7/17. Let m = l - -7969/255. Is m equal to 32?
False
Let p = -0.3 + 0. Suppose -2446*h - 576 = -2478*h. Is p > h?
False
Let y = 26 + -23. Let l = y + -34. Let i = l + 13. Is -16 <= i?
False
Let w = -1496 - -1651. Is 135 greater than or equal to w?
False
Let c be 85/(-15)*3 - -18. Let o be (-7)/(-2)*4/2. Suppose 0 = -o*q + 6*q - c. Do 2/21 and q have the same value?
False
Let w be (-2 - -4) + 342/81*(-12)/25. Let v be 14/(-7) - (-2)/2. Is v greater than or equal to w?
False
Let n be (42/35)/(9/15 + 18/(-25)). Is n bigger than -483/43?
True
Let r = 0.146 + 0.444. Let l = r - 0.51. Let k = l + -1.48. Which is greater: k or 2/7?
2/7
Let h = 40611 - 40611. Let k = 279564/113 + -2474. Which is smaller: k or h?
h
Let b(x) be the second derivative of -x**3/6 + 3*x**2/2 + 7*x - 9. Let a be b(4). Do a and -181 have the same value?
False
Let j(q) = -2*q**2 + 59*q + 588. Let x be j(-10). Are -0.07 and x non-equal?
True
Let l be -2 + (3 + -27)*(-9)/6. Let f be (-4)/(-12) + l/60. Which is smaller: 0 or f?
0
Let s = 128 - 121. Let n be (-6 + s)*2 - (8 + -1). Which is smaller: -6 or n?
-6
Let q(w) = 29*w + 30. Let r be q(21). Which is smaller: r or 643?
r
Let f be 2/(-14) - (-10)/70. Suppose -g - 10 = 2*v, 2*v + 38 = -0*g - 3*g. Is f <= g?
False
Suppose 31*j - 5610 + 1177 = 0. Let k = 145 - j. Which is smaller: 13/5 or k?
k
Suppose 227 + 322 = -3*r. Let d = 233 + r. Let b be (-394)/(-8) - 6/24. Which is greater: b or d?
d
Suppose 387*b + 52*b = 12731. Let p(x) = 31*x. Let t be p(3). Suppose 52 = 5*g - t. Is g != b?
False
Let i be (-91)/105 + 1 + (-217690)/(-825). Which is smaller: 255 or i?
255
Let c be 4*(-619500)/784 + (-2)/7. Is -3164 greater than or equal to c?
False
Let w(i) = 5*i - 22. Let n be w(-18). Let z be 44/(-105) - (n/(-60))/(-14). Is -116 less than or equal to z?
True
Suppose 13*v = 48 - 22. Suppose -2*r + s = 0, -5*r + 0*s + v*s = 1. Let w(g) = g**3 - 9*g**2 - 9*g + 13. Let x be w(10). Which is smaller: r or x?
r
Let s(n) = -1. Let u(g) = -3*g + 5. Let f(j) = 5*s(j) - u(j). Let k be f(3). Let d(l) = -33*l**3 - l**2. Let y be d(k). Is y >= 32?
True
Let j be 23 + 25/(-5 - 0). Suppose 2*t + j = -u, -2*u = -3*t + 2*u - 38. Does t = -15?
False
Suppose 2*j