 Is 0 greater than v?
True
Let t = 61.9 - 55. Let q = -6.6 + t. Which is smaller: 2.4 or q?
q
Let c be -2 + 18/(-12) + (-57)/(-2). Let q = c - 21. Suppose b - 4 = -3*j - b, 2*b - q = 5*j. Is j smaller than 3?
True
Let x = -8221/366 + 133/6. Which is smaller: 0 or x?
x
Suppose 3*a - 726 = 5*b, -3*a - 209 - 73 = 2*b. Suppose 30 = -21*h - 1055 - 1918. Is h greater than b?
True
Let p = -229.9 - -16.9. Is p smaller than 2?
True
Suppose 4*u + 3*n = 114, -2*n - 51 = -2*u - 1. Suppose -3*c = -4*o - 79, -c = -6*c + o + 126. Which is greater: u or c?
u
Let c = -14808 - -133270/9. Is 7 < c?
False
Let w be 4 + 5/15*-3. Suppose -w*i = -i - 336. Let z be (-8)/(-14) + (-68)/i. Is 6 < z?
False
Let w be (-34*(-5)/(-70))/((-1)/45). Let p = 109 - w. Is p equal to -0.7?
False
Let m(i) = -i**3 + 7*i**2 - 6*i - 1. Let q be m(6). Let o be (-1500)/(-6640) - (-5)/4*(-36)/180. Do q and o have the same value?
False
Let i be (1/3)/(126/945)*4/(-10). Let t = -2/2705 - 45947/51395. Which is greater: t or i?
t
Suppose 26 + 22 = -3*c. Let a be ((-21)/28)/(4/c). Suppose 5*q - 9 = -a*w, q = -4*w + 8 + 4. Which is smaller: -3/68 or q?
-3/68
Let k(z) = 4*z**2 - 107*z - 17. Let x(g) = 3*g**2 + 28*g + 35. Let c be x(-9). Let f be k(c). Are 1/2 and f unequal?
True
Let k(i) = -i**3 - 2*i**2 + 5*i + 4. Let x be k(4). Let s be -66 + ((-11)/4 - 5/20). Let v = s - x. Which is smaller: 4 or v?
v
Suppose 286*u - 291*u = 25, 2*a + 4*u - 984 = 0. Which is greater: a or 1003/2?
a
Let h(u) = -6*u**3 + 4*u**2 + 15*u - 16. Let w be h(-9). Suppose -13811 + w = 16*x. Which is smaller: -580 or x?
-580
Suppose 15*v - 13*v = -2*p + 10, 2*v = -4*p + 8. Is p not equal to 2/19269?
True
Suppose -2*s - 32 = -0*s. Let h = 401 + -405. Let l be (3 + h)*(-37 - -3)/(-2). Which is smaller: l or s?
l
Suppose -200*i + 197*i - 9 = 3*a, 6 = -2*i. Is a equal to -1/9624?
False
Suppose 0 = -2*a - 3*o + 107, 0 = 3*a - 0*o + 5*o - 162. Suppose a = 2*d + 87. Are d and -18 non-equal?
True
Let b = 544606/17915 + 2/3583. Which is smaller: 30 or b?
30
Suppose -60*z + 10 = -58*z. Let l(m) = -23*m + 95. Let a(r) = 11*r - 48. Let q(c) = z*a(c) + 3*l(c). Let p be q(4). Which is bigger: -10 or p?
-10
Let y(o) = 5*o**2 - 192*o + 77. Let b be y(38). Is -2/3703 > b?
False
Let y = 1296 + -813. Let b = y - 483. Is b less than 1/34?
True
Let g be 2*((-7785)/(-4032) - (-12)/28) - 5. Which is greater: 0 or g?
0
Suppose 2*h + 6 + 12 = 0. Suppose 0 = -10*k + 17*k - 28. Suppose k*w - 72 = 12*w. Do w and h have the same value?
True
Let y = 1.22 + 2.78. Let m = y - 7.8. Which is bigger: m or 2/7?
2/7
Let j = 399 + -401.78. Let f = j + 2.48. Is f at least as big as -1/52?
False
Let u(t) = -3*t + 5. Let s be u(1). Suppose -14 - 3 = -s*g + 3*w, w - 1 = -g. Suppose -i - 16 = 5*f, g*i + 0*f = -f - 7. Are i and 1/94 non-equal?
True
Let x = -7387907 - -125559958/17. Let i = -2028 - x. Suppose 3*p = -12, 0 = -4*w + w + 3*p + 6. Is w >= i?
False
Suppose 3*o - 6*o = -21. Suppose 3*u - 2 = o. Suppose -c - 10 = -u*c, -4*c = -3*a - 11. Is 4 at least a?
True
Let o(x) = 2*x**3 - 4*x**2 - 2*x + 5. Let y be o(2). Let h = y + -7/5. Which is bigger: 2/65 or h?
2/65
Let g be ((-6)/(-1 + 3))/(216/(-144)). Let d be (6 - 0 - 5)/(g/(-8)). Which is smaller: d or -25/8?
d
Let s be ((-24)/(-20))/((-3)/15). Let m = 35.04 + -37.04. Which is bigger: m or s?
m
Suppose 629*b - 689*b = 243540. Are b and -4059 equal?
True
Suppose 9 = 3*w + 3*k, 0 = 65*k - 70*k + 15. Which is greater: w or 2/3201?
2/3201
Let u = -2/2745 + -189391/19215. Let y = 163 - 108. Suppose -2*j - 3*r - 10 = 0, -2*r = -5*j - y - 8. Which is greater: u or j?
u
Let h(w) = 4197*w**2 - 443*w - 446. Let y be h(-1). Which is bigger: y or 4195?
4195
Let l(k) = -k**3 - 49*k**2 - 46*k + 124. Let z be l(-48). Let v = z - -318. Is v != 346?
False
Suppose -22377 = 357*u - 600. Let l be (-2)/(-1) - 192/3. Is l less than or equal to u?
True
Let t(c) = c**3 + 51*c**2 + 141*c - 89. Let a be t(-49). Do a and -2196 have the same value?
True
Let y = -45/209 - -61/1254. Is y at least -39/14?
True
Let u = -43 - -58.6. Let y = -25.6 + u. Is 0 at least y?
True
Suppose s = 8*s - 637. Let d = -88 + s. Let r be 2/d + (-301)/(-21) + -1. Is 15 at least r?
True
Let i(f) = f**3 - 46*f**2 + 87*f + 43. Let p be i(44). Which is greater: 3/27425 or p?
3/27425
Let b = -4418 - -4410. Is -5.4 less than or equal to b?
False
Let v = 2944 - 2939. Which is bigger: v or 12?
12
Let s be -7 - (-6 + 0/1). Let w = -17 + 24. Let f be w/(-42) - (-1)/3. Is f greater than s?
True
Let v = -609.839 + 3.839. Is -0.3 smaller than v?
False
Let o = -515 - -497. Let c be 6/o + (-4)/(-3). Which is smaller: 2/2387 or c?
2/2387
Let k = 90.31 + -90. Let y = 0.03 + k. Let q = 0.24 - y. Are -0.04 and q nonequal?
True
Suppose -4*t + 77 = -131. Let k = 56 - t. Suppose -5*l - 4*s + 93 - 30 = 0, -l - k*s = -19. Is l at most as big as 10?
False
Let q = -246915 - -246911. Let w = 0.19 + -19.19. Is w at least as big as q?
False
Suppose -4440 = -400*k + 1160. Suppose -d + 4*d - 22 = -2*m, 3*m + 4*d - 31 = 0. Suppose 3*s = -m + 44. Which is smaller: s or k?
s
Let m = 2.014 + -23.014. Which is bigger: m or -2/69?
-2/69
Suppose 13*k - 209 = 2*k. Let q = k + -19. Suppose p + 17 = -t, q = -4*t - 2*p - 0*p - 68. Which is greater: t or -18?
t
Let q(a) = -9*a**2 + 99*a - 391. Let o be q(4). Let f be 6/4 - (-1116)/(-8). Do o and f have different values?
True
Let h(p) = -p**3 + 7*p**2 + 17*p + 1. Let b be h(-5). Let v be (12/(-225))/(-8 + 1737/b). Which is smaller: v or -1?
v
Let g = -27 + 29.6. Let f = -332.4 + 336. Let a = g - f. Which is bigger: -18 or a?
a
Let b be (6 + -10)*195/(-6). Let u be (b - 131)*(1 + 16/(-6)). Is -3 at most u?
True
Let c(u) = 3*u**2 + u. Let a be c(-1). Suppose -2*y - 2*g = 5 - 3, -a*y = 4*g + 2. Let x be 20/112*(-352)/80. Is x at least as big as y?
True
Let d be (-25 - -27)*14/4. Suppose -d*l = -8*l - 2. Let n(f) = f**3 + 6*f**2 + 3*f + 3. Let r be n(l). Is 0 >= r?
False
Let z = -200 - -284. Let m be 5256/z + (-9)/(-21). Which is greater: m or 64?
64
Let s(b) = b + 6. Let z be s(-5). Let u = 617330 + -617233. Which is bigger: z or u?
u
Suppose g = -285*a + 287*a + 459, 456 = -2*a + 2*g. Which is smaller: a or -230?
a
Let p = -102.3 - -104. Let o = 394 - 388. Is p at most o?
True
Let x = 833/11 + -76. Let h = 59977 - 59978. Is x bigger than h?
True
Suppose c + y = 11, -c - 2*y = 2*y - 14. Suppose g - 4*l + 5 = 0, g - 5*l + c = -0*g. Suppose 5*n - g = -5. Is -1 equal to n?
False
Let p = 2580 - 4411. Is -1831 >= p?
True
Let b = -468 + 2024. Let v = -48242/31 + b. Which is smaller: v or 0?
v
Let m(z) = -z**3 + 18*z**2 - 24*z + 33. Let r be m(16). Suppose r = 2*j + 243. Is j smaller than -42?
False
Let s = -1488 + 1490. Which is greater: s or -0.396?
s
Let m = 0.04925 - 0.18685. Is m at most -2?
False
Let r be 2*4*21*2/4. Let f be (-22)/105 - 3*(-4)/r. Let g = -14 + 14. Is f at most g?
True
Suppose 822 - 12810 = -163*w - 161*w. Let l be 1/((-4)/(-141)) + 1. Is w less than l?
False
Let o = 43.855 - 43.9. Let u = o + -0.055. Which is smaller: -628 or u?
-628
Let k = 207/14 + -29/2. Let y = 7520.07 + -7413. Let r = -107 + y. Do r and k have different values?
True
Let c = -7327 + 7330. Are -215 and c non-equal?
True
Let z = 43 + -199. Suppose 0 = -3*n - 0*o - o - 466, -4*n + 2*o = 628. Is z at least as big as n?
True
Let z = -2550927/146 + 17472. Which is bigger: 1 or z?
1
Suppose 36*p - 46*p - 100 = 0. Let l(k) = -2*k**3 - 21*k**2 - 16*k - 22. Let a be l(p). Are a and 31 non-equal?
True
Suppose 38 = 21*t - 59*t. Is t greater than -23/136?
False
Let s = 19970 - 39230. Let i be 4/(-6)*s/480. Is 27 at most i?
False
Let d be (-7 + 9)*(3991/6)/13. Which is greater: d or 103?
103
Let o = 29967297/6026 + -4973. Which is bigger: o or 1?
1
Let l = -336 - -343. Let z be (0 - -6 - l)*-53. Which is smaller: -2/15 or z?
-2/15
Suppose 35 - 8 = -9*r. Let u be 9 - (r - (-1 - 2)). Is u at least as big as -6?
True
Let z be 35/231*(-8)/((-120)/(-291)). Which is greater: z or -3?
z
Let n = -84 - -72. Let w be -1 - 3/(-6)*14. Let v be w/n*(1 - 1). Is -1/3 at least v?
False
Let h be 73 - -4*3/(-12). Suppose -3*f = -8*u + 4*u + 143, 0 = 2*u + 4*f - 88. Let a = u - h. Which is smaller: a or -1/4?
a
Let a be -12 - (-9 - 10/(-2)). Let l be 9/((-135)/(-204)) - a/20. Let m be (-26)/(