s smaller: b or -7?
-7
Let l = -32 + 37. Suppose -4*x - 3*v = -25, -l*x - v - 4*v + 35 = 0. Suppose 0 = x*u + 13 + 19. Are u and -12 unequal?
True
Let d(y) = y**2 - 6*y + 5. Let v be d(6). Let p be (-1644)/(-4085) - (v + 92/(-20)). Which is smaller: -1 or p?
-1
Suppose -3*x - 220 = -c, 34*c = 30*c + 4*x + 936. Is c at most as big as 232?
False
Let g(r) = -2*r**3 - 15*r**2 - 17*r - 114. Let p be g(-8). Which is smaller: p or -18?
-18
Let r = 22 + -16. Suppose 4*s + 0*s = -5*a + 26, -a + 2*s - r = 0. Let g be (a/7 + (-10)/35)/3. Is -24 <= g?
True
Let m = -180 + 318. Let g = 138.035 - m. Is g >= -2/5?
True
Let w = 1 - -11. Suppose -152*i = -202*i + 600. Is w at most i?
True
Let m be ((-27)/(-132))/((-88)/(-17952)). Is 43 less than or equal to m?
False
Let l(u) = -u**3 - 9*u**2 + 10*u - 29. Let o be l(-10). Let r be o - -6*((-15)/3)/15. Let q(j) = 5*j - 5. Let v be q(-5). Which is smaller: v or r?
r
Let n be 19/(-10)*-2*4/56. Let x = -15787/910 + n. Which is smaller: -16 or x?
x
Let z = 0.52 - 0.594. Let r = 0.24639 - 0.24639. Which is greater: z or r?
r
Suppose -y - z = -862, -21*z - 2551 = -3*y - 17*z. Is y bigger than 855?
True
Let h = 0.53 + -448.53. Let w = h + 448.293. Let q = w + 0.007. Are q and -4 equal?
False
Let f = 26109 - 26109. Let z be (-2)/(-14)*52/6. Is z smaller than f?
False
Let g = 0.184 - 0.384. Let c = 2.05 - 2. Let w = c + 0.15. Which is smaller: w or g?
g
Let z be 8/(-12) - 47/(-30) - (-93)/930. Which is smaller: z or -7/396?
-7/396
Let t be (-40)/140 + (-9)/(-168)*8886. Which is bigger: 477 or t?
477
Let h = -6169/370 + 167/10. Is h > -10/9?
True
Suppose u + 20 + 812 = 2*x, -u = -4. Let j = x - 417. Is j >= -1?
True
Suppose 61 = 2*k - 9. Let d be 3/21 - 447/(-7). Let u = d - 29. Is k less than u?
False
Let y = -132.5 - -136.5. Let h = -37/21 - -7/3. Which is smaller: y or h?
h
Let d = -67621 + 67943.81. Let q = d - 323. Which is bigger: 2/3 or q?
2/3
Let k be ((-20)/(-16))/((-1)/(-4)). Suppose n - 18 = -2*f - n, k*f - 33 = -2*n. Suppose 0 = -f*u + 8 - 3. Is u equal to -1/6?
False
Let j = 0.585 + -0.585. Which is smaller: -1/732 or j?
-1/732
Let h(x) = -274*x - 3115. Let u be h(-11). Suppose 2*k - 106 = f, 2*k - 391 = 4*f + 5*k. Which is greater: f or u?
f
Let k be (-22909)/(-36) - (-510)/(-459). Which is smaller: 0.2 or k?
0.2
Let t(u) = 4*u**2 + 8*u + 21. Let l be t(-5). Suppose -5*z - 69 = l. Let k = z + 30. Is 4/19 at least as big as k?
True
Let i(l) = 2*l**2 + 9*l. Let n be i(-7). Let p = n + -29. Suppose 6 = -4*w - p. Is -1 at least as big as w?
True
Let o be 8043/(-20)*1062/(-1239). Which is smaller: o or 344?
344
Suppose 0 = -3*m + 78 + 3. Suppose 153 + 1121 + 260 = 59*t. Is t > m?
False
Let q = 2598.8 - 2600. Which is smaller: q or 0?
q
Let w be (274/(-3) - (-10)/(-15))*1/(-4). Which is smaller: 189/8 or w?
w
Let a(n) = n**2 - 14*n - 1. Let r be a(8). Let j = 3/31 + 41/217. Which is bigger: r or j?
j
Let k(t) = 40*t - 446. Let r be k(9). Is r less than -85?
True
Let q = 11104 - 11370. Is q > 3?
False
Suppose 2*h + 68 = -4*q, 5*h - 1006*q + 1005*q + 104 = 0. Suppose -5 = 4*z + 15. Does h = z?
False
Let h(g) = -2*g**3 + 26*g**2 - 44*g + 2. Let b be h(11). Are 1718/5 and b equal?
False
Let g = -5.57 - -6.1. Let o = g - 8.53. Let s = 27 + o. Is 0 at most as big as s?
True
Suppose 39*x = 36*x - 12. Let n = -42.008 - -0.008. Is n greater than x?
False
Let v be 3 + (2 + -2 - 0). Let g = 3 - v. Let l = 35557/9 - 3952. Which is smaller: l or g?
l
Let z be ((-1)/30*10)/((-2)/3)*-2. Which is bigger: z or 5/72?
5/72
Suppose -2*t = 2*z - 588, 3*t - 4 = z - 314. Let m = -298 + z. Which is smaller: m or -1/30?
-1/30
Let h be (7 + -3)*18/8. Suppose s + 2*w - h = 0, 5*w + 0 - 20 = 0. Let x be ((-2)/(-101))/((3/3)/s). Is x bigger than -1?
True
Let d(o) = -2*o**2 - 40*o - 25. Let g be d(-19). Let c be (-4 + g/(-3))/(11/(-3)). Which is greater: c or 1?
c
Let v = -19 + 19.4. Let i(r) = r**3 - 2*r**2 - 3*r + 3. Let a be i(3). Suppose -a*c + 92 = 137. Is v not equal to c?
True
Let l(a) = -2*a**3 - 24*a**2 - a - 10. Let r be l(-12). Let s be (2 - 3)*6 + r. Let h(n) = -2*n**2 + 12*n + 8. Let f be h(7). Is f at least as big as s?
False
Let r = 0.8488 - 0.6488. Is r at least as big as -282?
True
Let z = -1184 - -370589/313. Are z and 0 non-equal?
True
Let b = -444287/35 - -61826/5. Is -328 >= b?
True
Let l be -11*(-4)/4092*-1. Let i(s) = 3*s**2 + 10*s - 4*s**2 - 7*s + 5. Let w be i(4). Is w <= l?
False
Let p(k) = -k**3 + 355*k**2 - 4408*k - 12995. Let l be p(342). Let z be -1*2 + 50/33. Let c = 2/11 - z. Is l at most as big as c?
False
Suppose 0*j - 4*j = -s - 204, 0 = 3*s - 5*j + 640. Let d be (-1)/20*s/88. Which is bigger: d or -3?
d
Let o = 479/2 - 2537/10. Let k(c) = c**3 - 10*c**2 - 9*c - 36. Let p be k(11). Which is smaller: p or o?
o
Let l be (-6)/4 + 976/32. Suppose 0 = 2*f - 4*j - 6, 2*f = -3*f + 3*j + l. Suppose 18 + 59 = f*c. Which is bigger: c or 13?
13
Let s = -2/113915 - 100700854/341745. Is s at most -294?
True
Suppose 0*b - b + 6 = 4*q, 2*q - 6 = -b. Let f be (-231)/(-22) + b/4. Let k(p) = p**2 + 3*p + 5. Let h be k(-5). Which is bigger: h or f?
h
Let r be -1 - (19/(-76) + 9754701/(-13071100)). Let p = 2/6575 - r. Are p and 0 non-equal?
True
Suppose 36*x - 4896 = -22864 - 9644. Is x not equal to -765?
True
Let z be 21/42 - (-464)/(-946). Is z > 1?
False
Let g = 57 - 227/4. Let o = -858 - -860. Is o at least as big as g?
True
Let x be (-48)/84 - (-1208)/7. Which is smaller: 170 or x?
170
Let y be 1/(-30)*(-1592)/(-988)*2. Let d be 2 - 1/(813/321 - 2). Let s = y + d. Is 1 greater than or equal to s?
True
Let v = -11/928 + 236783/12064. Which is smaller: v or 21?
v
Let b be -33 - 55/315*-7. Suppose -4*t + 5*g - 112 = 0, 0*t - 5*t - 149 = -4*g. Are b and t unequal?
True
Let r = 6 - 6. Let f = -36 - 72. Let u = f - -108. Is r != u?
False
Suppose 5*r = 15, 3*r = -4*b - 786 - 229. Is -261 greater than b?
False
Let g = 0.01968 - 3120.01968. Is g at most as big as 0.1?
True
Let h = 2641 - 1226. Let j = 7048/5 - h. Is j at most -5?
True
Let v be ((-12)/4)/(1/(-6)). Let y be (-34)/(-4)*v/9. Let i be y/(-15) - (-17)/51. Which is greater: i or 1?
1
Suppose 0 = 2*q + 4*u - 238, 2*q - 5*u - 235 - 3 = 0. Suppose q*t = 121*t + 94. Is -49 < t?
True
Let w = 6854450/199 + -34445. Is 0 >= w?
True
Let h = 20 - 19.91. Let x = 0.31 + h. Let y = 328 + -327.5. Are y and x equal?
False
Let k = -994 - -994. Let y(o) = -60*o + 155. Let f(u) = 5*u - 13. Let a(m) = 25*f(m) + 2*y(m). Let r be a(9). Is k at least r?
False
Let l = -760 + 811.3. Let v = 357.6 + -306.6. Let d = l - v. Is d < -8?
False
Let d = -242.2882 - -240.7. Which is bigger: -1/3 or d?
-1/3
Suppose -27255*g + 27246*g + 16191 = 0. Is 1799 greater than g?
False
Let s = 832.36 + -439.34. Let a = 393 - s. Is 0.27 != a?
True
Let k = 377 - 262. Let i = -62386 + 62500. Which is smaller: i or k?
i
Let g(y) = -y**3 - 3*y**2 - 2*y + 3886. Let k be g(0). Let h = -35090/9 + k. Which is greater: h or -14?
h
Let n be -3*6/6 + 146778/(-238). Is -621 smaller than n?
True
Let d = 1.54 - 0.93. Let h = 0.685 - d. Let n = h + -0.275. Is 1/15 at most n?
False
Let o be 0/((-45)/(-15) - 10). Do o and 1/885 have different values?
True
Let n = 4855 + -111648/23. Which is greater: -2/5 or n?
n
Let l(y) = y**3 + 8*y**2 - 23*y - 19. Let t be l(-8). Suppose 3*z - 4*z - t = 0. Is z less than -165?
False
Let n(k) = -k**3 - 4*k**2 + 7. Let u be n(-4). Suppose u*c = 2*c. Suppose 1 = -y + 5*s, -5*y + 4*y + 3*s - 1 = c. Are y and -1/4 non-equal?
True
Let w be 896/152 - 2/(-19). Let c = -8 + w. Let u(j) = 3*j**2 + 19*j + 1. Let v be u(-6). Is v at least as big as c?
False
Suppose 0 = 3*w - 3*b - 565 - 140, 4*w + b = 975. Which is bigger: 251 or w?
251
Let k = 2342 - 1548. Is 796 at least k?
True
Suppose o = 5*j - 16, -107*o + 102*o = 3*j - 4. Is o equal to -2/3927?
False
Suppose -5*a = -2*a - 3, -2*o + 4*a = 48. Let v be (2/238)/(11/o). Let x = v + 248/595. Which is smaller: x or 0.05?
0.05
Let d = -776.3 + 719.3. Are 131 and d equal?
False
Let f = -4100.4829 - -0.4829. Which is bigger: 2/3 or f?
2/3
Let r = -31.69 + 31.79. Which is smaller: r or 3/236?
3/236
Let o be ((-63)/42)/((-246)/(-45)). Let q = o + 1/41. Do 1.21 and q have different values?
True
Let m = 24 - 14. Let f be (16/(-10))/((-261)/255 - -1). Let k = 79 -