t i = 20 - 23. Let t = 8 + i. Suppose -t = -q - 6. Are q and 0 nonequal?
True
Let v be (665/10)/(-7)*-2. Let f be v*4/(-12) - -4 - -1. Let r(y) = y**3 - 5*y**2 - 2*y + 9. Let p be r(5). Is f not equal to p?
True
Let q be (-10)/6*(-5)/((-25)/(-315)). Let v = q + -106. Let a be (-6)/(-8) + v*(1 + 0). Which is greater: a or -1?
a
Let h(d) = 2*d**2 + 36*d - 487. Let w be h(9). Is -84/733 not equal to w?
True
Let m(n) = 66*n**3 - 18*n**2 - 32*n - 97. Let y be m(-3). Is y > -1939?
False
Suppose -104 = -4719*h + 4721*h. Let c(d) = -8*d**3 + 2*d**2 + d. Let t be c(2). Which is smaller: t or h?
t
Let j = -134 - 88. Let p be 63/22*(-740)/j. Which is bigger: 11 or p?
11
Let q = 7.3 - 5.3. Let i = -0.0295 - -3.3295. Which is greater: q or i?
i
Let p = -433.6 + 433.6. Is p less than 798?
True
Suppose 4*k - 3*k - 5*f - 8 = 0, 4*f = -k - 1. Let a(m) = -m + 21. Let z be a(13). Let b be 43/12 + (-2)/z. Which is bigger: k or b?
b
Let c = 12967 + -14933. Which is greater: -1968 or c?
c
Let s be 12/(-36) - 458/(-6). Suppose t - 113 = 2*w, 3*t - 2*w = 263 + s. Which is smaller: t or 1/2?
1/2
Let a = -19608 - -19586. Is -0.4 != a?
True
Let v = 2.325 + 0.015. Let b = v + -5.34. Which is bigger: b or -0.43?
-0.43
Let g = -636 - -817. Suppose -175*n = -g*n. Is -1/153 at least n?
False
Suppose -2 = z, -5*p = -4*p - z + 319. Which is smaller: p or -318?
p
Suppose 642*t = 661*t - 19. Which is smaller: -4/3723 or t?
-4/3723
Suppose 0 = n + 8 - 5. Let y be (-1738)/2370 + (-4)/15. Is y <= n?
False
Let v be (4 + (-10)/3)*(-4 + -2). Let t = 4525/8 + -566. Which is smaller: v or t?
v
Let t = -4124 + 3639. Which is greater: t or -3405/7?
t
Suppose -36426 = -31*o - 47*o. Is 468 != o?
True
Suppose -68*q + 15652 = 3653 - 46345. Which is smaller: q or 862?
q
Let o = -220.51 + 222.57. Which is greater: o or -1/3?
o
Let x(z) = 1 - 12*z - 4 + 15. Let c be x(1). Is c smaller than 1?
True
Suppose -1 - 4 = -5*k. Let g be (-4*3/488)/(14 + -11). Is g bigger than k?
False
Let v = 0.54 + -0.3. Let z = 0.2 - v. Let f be (-2)/(-5) + (-1)/(-10). Which is greater: f or z?
f
Let f = -7035 - -597976/85. Is f at least as big as -0.52?
True
Let w = -15385 + 15462. Which is smaller: w or 20?
20
Let z = 133 + -131. Suppose 0*i + 22 = z*i. Is 56/5 at most i?
False
Let y = 278.21 - 292.9. Let i = 14.09 + y. Let r be ((-3)/(-6))/(1/1). Are r and i equal?
False
Let z be 2220946/185081 - 12/1. Is z <= 0?
True
Let u be ((-6)/(-4))/(36/3872) + 20/(-60). Which is smaller: u or 158?
158
Let l be -8 + (3 - 2) + -1. Let o(i) = i**3 + 6*i**2 - 5*i - 3. Let z be o(-6). Suppose -4*t = -4*p + t - 49, z = -2*p + 3*t. Is p > l?
True
Suppose 0 = g - 1, -88*g = -4*x - 92*g + 8. Is x < 3/16760?
False
Let v = 3226 - 11266. Is -8040 at most v?
True
Let h be ((-21)/3 + 11)*(-1010)/(-4). Is 1009 greater than or equal to h?
False
Let n be 520487/(-65054) - 40/(-5). Which is smaller: n or -1?
-1
Let f = 22 + -109. Suppose 7167 = -100*u - 1633. Is f at most u?
False
Let a be 8/(-276)*-3*8/24. Let q(p) = -p**3 - 4*p**2 + 5*p + 1. Let z be q(-5). Let l = z - 1. Which is bigger: l or a?
a
Let q = 17441 + -7451. Let t be ((q/63)/5)/(8/42). Which is smaller: t or 168?
t
Let w = -8026222/1495 + 69890/13. Let n = -37/5 + w. Let c = -51/115 + n. Are c and 1.5 nonequal?
True
Let t = -49 + 67. Suppose -27*j = -33*j + t. Let q be (j/10)/((-5)/(-40)*-2). Is -2 < q?
True
Let a be (-6)/4*(-8 + 10). Let d be 9*a*175/15. Let u be (-60)/(-72)*(-12)/d. Is u < 1?
True
Let o = 1320 - 1319. Is -20 greater than or equal to o?
False
Let i = 1213.15067 - 0.15067. Which is bigger: i or 0?
i
Let t = -35104573311/2050846 + -12937525/2462. Let r = 22372 + t. Is r at least 0?
False
Let d be 25/(-10)*(-60)/50. Suppose 0 = 5*n + 5*g - 55, -5*n + 9 + 43 = 4*g. Is n <= d?
False
Suppose -x - 3*k - 177 + 549 = 0, x - k - 384 = 0. Are x and 3 nonequal?
True
Let l(y) = 47*y - 70. Let o be l(8). Let g be (12/(-5))/(o/45 - 3). Is g > -1?
True
Let t be ((-2)/(-10))/(28/175)*88/275. Which is smaller: t or -2670?
-2670
Suppose 4*c - 2*a + 98 = 0, -a = 4*c + 2950 - 2849. Is -1974/79 <= c?
False
Let t = 47.729 - 4.729. Is -2/5 at least as big as t?
False
Let p = 251915 + -2769031/11. Is p equal to 184?
False
Suppose -11*s + 16*s - 30 = 0. Suppose 2*i = 3*a + 19, 7 = -5*i + 4*a + 51. Is s < i?
True
Let m be (((-6)/(-13))/(4560/3705))/(38/8). Is -0.049 greater than m?
False
Let k be (-8 - 1748/(-133))/((-4)/(-42)). Is k smaller than 35?
False
Let l = 131.04 + -139.04. Which is smaller: -316/9 or l?
-316/9
Let c be (41/(0 + -1))/((-4)/108). Suppose -2*q - 5*k = -c, 0 = -4*q + 3*k + 1860 + 419. Let l = q + -1783/3. Which is smaller: -29 or l?
-29
Suppose 7*f + 83 = 2*i + 8*f, 5*f = -5. Suppose 4*u = -2*r + i, -4*u + 3*r + r = -12. Is 10 smaller than u?
False
Suppose -17*f - 31233 = -3*a - 20*f, a = -5*f + 10395. Which is greater: 31241/3 or a?
a
Let z be (-784)/(-3024)*(-18)/(-21). Is z at most as big as 7/120?
False
Let k = 6.788 - 19.461. Let h = k - 0.227. Let b = -12 - h. Do b and 2/3 have the same value?
False
Let g(t) = 46*t + 2530. Let v be g(-55). Which is bigger: v or 4906?
4906
Suppose 35067 = -36*k - 14685. Which is smaller: -1385 or k?
-1385
Suppose 4*g = -v + 788, -773 = -v - 2*g + 3*g. Let y = v - 776. Is y at most 12/91?
True
Suppose -241 = -15*t - 196. Is t bigger than 122/51?
True
Suppose 0 = 4*f + 20*v - 25*v + 6765, 2*v - 3382 = 2*f. Let s = -999 - f. Is 690 > s?
False
Suppose 56*a + 6532 = -15*a. Suppose -2*p + 4*p = 902. Suppose i - 2*q - 19 = -102, 5*i = q - p. Is i at most a?
False
Let h(r) = 2*r + 38. Let k be h(-18). Suppose -x = k*d + 45, 3*d + 0*d + 92 = -2*x. Let o = x + 48. Does -6/13 = o?
False
Let i(z) = 82*z + 85. Let s be i(-1). Which is bigger: 47/13 or s?
47/13
Suppose -5*d = -20, -t - 5*d + 24 = -0*t. Suppose -3*r = k - 1 - t, 0 = -2*r - 3*k + 8. Does r = 8/31?
False
Suppose -6*l + 345 + 2775 = 0. Let c be l/(-18) + -57 + 51. Is -34 less than c?
False
Let v be -5 + 25/(-5 + 10). Suppose v = -6*m - 12 - 12. Let r be (m/6)/(-3 + (-16)/(-3)). Is -6 smaller than r?
True
Let y(k) = k**3 + 12*k**2 - 5*k - 51. Let j be y(-12). Let h be (-598)/234 + 6/j + -1. Which is smaller: -2 or h?
h
Let h = -47 - -53. Suppose 3*m - h = -0. Suppose -m*n + 76 = 80. Is n > -2?
False
Let g be (5/((-40)/(-12)))/(72/53376). Does 12222/11 = g?
False
Let u = -186 - -192. Let x be u/10*(2/(-3))/1. Which is smaller: 1 or x?
x
Let w be 2950/(-30)*(-9 - 3). Is w less than or equal to 1184?
True
Let o(d) = 364*d**2 - 25*d - 52. Let g be o(-2). Is 1454 less than or equal to g?
True
Let a = -73 - -72. Let v be 2/169*15/(-10)*1. Which is greater: v or a?
v
Let j = 9049 + -8926. Is 46 greater than j?
False
Let m(a) = 65 + 49 + 159*a - 173*a. Let i be m(5). Is 1 smaller than i?
True
Let o = 3817265/39 + -97891. Are o and -12 unequal?
True
Let a be 4/14 - 68/14. Suppose -40 = 3*p + 23. Let b be (p + 18)/((-1)/8*-6). Which is smaller: a or b?
a
Suppose 0*i = -5*f + 4*i + 178, 0 = -5*f - 3*i + 164. Suppose f*o - 43*o = -54. Is o > 11?
False
Let b = -29163 + 29164. Is 18/517 less than or equal to b?
True
Suppose 5*h = 3*o - 55 - 372, 0 = -3*h - 6. Suppose 11*t + 260 - o = 0. Which is greater: -38 or t?
t
Let l be 346/28 + (-640)/(-256). Does l = -2/11?
False
Let q = 52 + -53.6. Let c = -1.35 - q. Suppose 0 = -4*v + 16, -j - 9 = -2*j - 2*v. Is j equal to c?
False
Let j be 5/10*(6 + (-8862)/1505). Do j and 1 have different values?
True
Suppose -3*q + w + 7 = 0, 2*q - 4*w = -w. Suppose y - 14 + 16 = -k, 2*y + 5 = -q*k. Which is bigger: 6/17 or k?
6/17
Let q = 0 + -0.1. Let o = 0.9 - q. Suppose -2*r + 3*z - 39 = -55, 5*z + 29 = r. Which is greater: o or r?
o
Suppose 66*m = 27881 + 29341. Is 863 greater than or equal to m?
False
Let q = 7742 + -7806. Do -1220/19 and q have the same value?
False
Let s = 61/201 + 2/67. Suppose -69*x + 86*x - 204 = 0. Let y be 18/22*(88/x - 7). Which is smaller: y or s?
y
Suppose 0 = -46*z + 21*z - 3475. Is 7/3 equal to z?
False
Let l = -18 + 27. Let k = -193 - -404. Let r = 211 - k. Which is smaller: l or r?
r
Let d = 17 + -21. Let l be d/(-150)*5/3. Let j(z) = z**3 + 14*z**2 - 31*z + 17. Let u be j(-16). Is l equal to u?
False
Let k be (-10*4/2)/(-16 - 10). Is -21 at least as big as k?
False
Let v be -3 - 34786*(-2)/23192. Let c = v + -1519071/2899