 + 7)*4/6. Do t and -3 have the same value?
False
Suppose 40*v + 862 = -778. Let z = -74 - -34. Does v = z?
False
Let h = 537 - 532. Let c be ((-4)/12)/((-12)/2 + h). Is c greater than or equal to 467?
False
Let k = 967312/475785 - 2163/1090. Let p be 160/(-144)*(-3)/485. Let f = p + k. Which is greater: 0.1 or f?
0.1
Let j be (-2)/(-4) - (-10674)/(-4). Let o be 12/(-20) + 5 + j/620. Is o <= 0?
False
Let g = -1216 - -2667/2. Let x = 115 - g. Let q = x + 109/42. Which is smaller: q or 0?
0
Let w be 86 + 0/5 - 3. Let n = w - 84. Which is greater: n or 0.2?
0.2
Let i = -32 + 33.5. Let d be (-46)/(-35) - 1 - 219/365. Which is bigger: i or d?
i
Suppose 173*h + 3003 = 82*h. Are -1 and h equal?
False
Let f be (254/(-3683) + 66/116)*0. Let g be (-2)/5 - 753/(-1770). Which is smaller: f or g?
f
Let l = -6521 + 1486799/228. Is l at most as big as -1?
False
Let s = 32 - 14. Let y be 22/s + (-2)/9. Let n be (-1 + -1 + 2)/(-1) + y. Is 2/5 bigger than n?
False
Suppose 14*b = 12*b - 72. Let u be 208/78*3/4. Suppose -u*k = -k + 4*i + 35, -35 = k + 3*i. Is b less than or equal to k?
True
Suppose -5*r = q - 11, 3 = 3*q + 2*r - 4. Let y be (30/(-12))/(q/78). Which is bigger: y or 0?
0
Let w = 499.9 - 496.9. Which is bigger: -253/6 or w?
w
Suppose 1715 = -0*p + 7*p. Let o = p + -247. Is -2 smaller than o?
False
Let a be (903/(-225) + 4)/(9/(-27)). Which is smaller: a or 39?
a
Let l = -300 + 8099/27. Let j = 1.094 + -1.194. Is l < j?
False
Let z(y) = -42*y**2 + 297*y - 2953. Let v be z(9). Are v and -3682 nonequal?
False
Let j = -3180 - -28627/9. Which is smaller: -0.015 or j?
-0.015
Let t be 138976/(-333594) + (-8)/(-18). Which is smaller: 1 or t?
t
Let i be (-2)/3 - 10345/5610. Let r be (-5)/3*-3 + (-3748)/748. Let z = r - i. Which is smaller: 4 or z?
z
Let u = 15.3305 - 0.3305. Which is bigger: 3.8 or u?
u
Suppose 18*v - 19*v = 54*v - 55. Is v greater than or equal to -344?
True
Let z be 3*1*(-12)/(-18). Suppose -5*v + 7 = 3*g, z*v - 8 = -0*v + 4*g. Let k be (-1 - (-3)/6)/v. Which is smaller: k or 1/3?
k
Let m be 65/(-78) - (-2)/(-12). Let i be m*(8/4 + 0)/2. Which is smaller: i or 2/67?
i
Suppose -3*o - 1 - 2 = 0. Let z = -1278287/146 - -17511/2. Are o and z equal?
False
Suppose -12 = 3*o - 0*o, 11 = -5*i - 4*o. Let d be (0 - 1)/(i/(-2)). Suppose -d = -5*n - 7. Which is smaller: 2 or n?
n
Let j be ((-138)/(-88) - 2) + (-2)/1. Let i = j + 24/11. Suppose -4*c = -2*y + 7 - 33, 2*y - 2*c + 18 = 0. Are y and i non-equal?
True
Let y be 2/30*1/(-100)*-15. Suppose -6 = -54*w + 60*w. Which is smaller: y or w?
w
Suppose -495 = -8*l + 7*l + 4*c, 4*l - 2008 = 2*c. Suppose -5*k - 3*g = -3*k - 501, 2*k = -g + l. Which is greater: k or 251?
k
Let g = 2545 - 2546. Which is smaller: -1/363 or g?
g
Let z(y) = y - 3. Let o be z(-2). Let p(n) = 2*n**2 + 8*n - 11. Let q be p(o). Which is smaller: q or 2/101?
q
Suppose 15 - 171 = 3*o. Let h be ((-108)/(-16) + -4)*o. Let b = h + 998/7. Which is smaller: b or -1/2?
-1/2
Let d = 1.1 - 0.1. Let z = -3808 - -3808.025. Which is greater: z or d?
d
Suppose -11*t = -9*t - 4*z - 114, 10*z - 128 = -2*t. Let s = -139 - -201. Is s less than t?
False
Let l = 0.6 + -1.22. Let c = l - -0.22. Let z = 0.2 + c. Which is smaller: 1 or z?
z
Let z = 101239/20625 - -1/1875. Is z at most as big as -2/5?
False
Let g(t) = -t**3 - 3*t**2 - 3. Let r be g(3). Suppose z - n = -14, 4*z + 24068 = 3*n + 24023. Is z greater than r?
True
Let i = -8581.2 + 8581. Is i less than 2428?
True
Let p = 360 + -359.761. Let t = -25.239 + p. Which is greater: -0.3 or t?
-0.3
Let o be (-2 - (-32)/14) + (-1 - (-34592)/48832). Is o smaller than -1?
False
Let o(v) = -3*v + 60. Let y be o(19). Suppose -3*f + 4*r - 48 = 69, y*f - r + 108 = 0. Which is greater: f or -168/5?
-168/5
Let k(l) = 7*l + 213*l**2 - 4*l - 212*l**2 + 19*l + 33. Let g be k(-9). Which is smaller: g or -83?
g
Suppose p = -465 - 1254. Let t be p/45*(-2 - (-9)/(-3)). Are 190 and t equal?
False
Let y = 710 + -3464. Is y at most -2754?
True
Suppose 56*m = 40*m - 18707 + 4947. Is -864 less than or equal to m?
True
Let o = 5901 + -5902. Which is greater: -6138 or o?
o
Let h(n) = -n**3 - 9*n**2 - 15*n - 3. Let x be h(-7). Suppose 5*o - 8 = -3, -2*z - 94 = x*o. Is -49 at least as big as z?
True
Let q = 6.687 + -3.427. Is -1/3 smaller than q?
True
Suppose -4*r + 11 = -5*r. Let j be 57/12 - ((-1)/4 + 0). Suppose 1 = -a + j*y, a - y - 13 = -22. Is r > a?
False
Let k = -3934 + 7871/2. Let w = -0.9 - 5.1. Is w != k?
True
Let s(w) = -3*w + 18. Let t be s(4). Let d be (t/(-8))/((-6)/32). Suppose 2*n = n + 6. Which is bigger: n or d?
n
Let b = -225 + 138. Suppose 5*z - 5*y - 20 + 450 = 0, -5*y = 2*z + 179. Is b bigger than z?
False
Let a be (((-34641)/(-6))/3)/((-26)/(-104)). Is 7698 greater than a?
False
Let k(z) = -z**3 - 13*z**2 + 9*z + 17. Let v be k(-14). Suppose -4*u = -b - 64, 5*u - v = 21*b - 18*b. Which is bigger: -1.8 or u?
u
Suppose 86*o = 88 - 2. Is -2/505 not equal to o?
True
Let i = 0.33 + -1.33. Let q(g) = 3*g - 2. Let u be q(2). Suppose k - 3*s + 13 = 0, -3*k + u*s - 2*s - 53 = 0. Is k bigger than i?
False
Let z be (-3 + 30)/3*(4 - -1). Suppose 30 + z = 3*x. Suppose -20*q + 10 = -x*q. Which is smaller: q or 3.5?
q
Suppose -5*s + l = 2129, -4*s + 3*l = -3*s + 437. Is -3814/9 at least s?
True
Let o = -22 + 147. Let m = o - -778. Is m at most 904?
True
Let j be (9216/(-46592))/((-30)/104). Suppose 31 = 3*m + 5*s, 7 - 26 = -2*m - 3*s. Which is greater: j or m?
m
Suppose 4164 = -4*i + 2*l, -2*i - 14*l = -11*l + 2106. Is i >= -1039?
False
Let m = -234300 - -543341708/2319. Which is bigger: m or -1?
m
Let a(j) = 28*j - 181. Let k be a(9). Let r = -353/5 + k. Which is smaller: r or -1?
-1
Suppose 0 = 2*x - 3*o - 26, 0 = x - 6*x + 3*o + 74. Let v be 1/(0 + 2/x) + 5. Is 104/9 bigger than v?
False
Suppose 64 = 309*z - 301*z. Is 115 <= z?
False
Let q = -0.2 - -0.16. Let i = -1048549/18 - -58390. Let j = i - 275/2. Is j greater than q?
False
Suppose 5*m - 35 = -2*y, 4*m - 6 + 1 = 3*y. Suppose 0 = -4*u + 3*d - 4, -m*u + 2*d + 0 - 5 = 0. Let g = 0.3 + -0.4. Is u < g?
True
Suppose 11*r - 1379 = 524. Let d = r - 170. Which is smaller: d or 40?
d
Suppose 9 = 3*v - 0*v. Let w be -492*(3 + (33/(-6) - -2)). Suppose w = -4*o - 5*q, 267 - 25 = -4*o - v*q. Is o <= -58?
True
Let i = -15937 - -15937.072. Which is greater: -32 or i?
i
Suppose -3*l = -2*l - 5. Let c be (((-18)/l)/(-9))/(8/30). Let z be ((-13)/((-1170)/20))/(38/(-6)). Do c and z have the same value?
False
Let v = 447.5 - 448.5. Is v > 37/258?
False
Let k(z) = z**2 + 57*z - 1826. Let r be k(-80). Let b = 1 + 11. Which is smaller: r or b?
b
Let c(z) = -3*z**3 + 17*z**2 - 8*z - 4. Let h be c(5). Suppose h*j = -5*f + 2*j - 21, 0 = -4*j - 16. Is f >= 2/73?
False
Let q = 439 + -269. Suppose 7*h - 2*h = -q. Is h at least -34?
True
Suppose -6*w + 5*t - 14 = -2*w, -1 = -w - t. Let h be ((-8)/20)/(w - 1/(-10)). Which is bigger: h or -9?
h
Let x = -2169331/10 - -216928. Let w(c) = -c - 11. Let o be w(-6). Are x and o unequal?
True
Let n(p) = p**3 + 20*p**2 + 153*p - 140. Let h be n(-17). Is -1875 < h?
True
Let f(c) be the third derivative of c**4/8 + 13*c**3/2 - 9*c**2. Let h be f(-13). Let d be 7 + -9 + (-28)/(-26). Which is smaller: d or h?
d
Let f be 20/(6 - 4) + -1. Suppose f*r = 6*r + 15. Let c be -1 + 9 + (-2 - 1). Is r != c?
False
Let c = -0.2036 + 38.5316. Let t = -0.172 - c. Let r = -39 - t. Which is greater: r or 2/5?
2/5
Let u be 7/(5 + -2 + -2). Let h(w) = -9*w**2 - 4*w + 10. Let g be h(u). Let t be (-48)/g*3 - (-6)/(-9). Is t at most 1?
True
Suppose 135 = 4*h - 137. Suppose -2*y - p + h = p, 2*y + 5*p - 53 = 0. Let f be (-4)/26 - 189/y. Are f and -7 nonequal?
True
Suppose -8043*r = -8013*r - 30. Which is bigger: 2/49063 or r?
r
Suppose 3*p + 4*v = 0, -4*p = -2*p - 2*v - 14. Suppose -6 = p*f - 14. Let n(s) = -s**3 - 2*s**2 - 2*s + 2. Let l be n(f). Which is smaller: l or 1/2?
l
Let y = -0.6112 + 0.4112. Are y and -7.1 non-equal?
True
Let w = 60 - 50. Suppose w*z = 6*z + 232. Suppose 4*n - z = -62. Is n at most 2/71?
True
Suppose 3*b + 3*s + 947 - 29 = 0, -5*b - s = 1538. Let j = b + 175. Is j less than or equal to -132?
True
Suppose -1082 = p + 4*v, 0*p - 3*v = p + 1088. Are p and -1105 equal?
False
Let d = 116 + -77. Let b = 184.84 + -145.8. Let g = b - d. Which is b