uppose 4*m + 648 = 3*k, 3*k - 296 = m + 352. Let p = k + -205. Is 10 >= p?
False
Let s = -69 + 130. Let l = s - 61.1. Which is greater: -0.045 or l?
-0.045
Let i be ((-4)/64)/(546/(-180)). Which is bigger: i or 0?
i
Let r be ((-42)/8)/(2/16). Suppose 0 = -4*j - 5*j - 369. Let b = r - j. Is b at most -2?
False
Let o(p) = -410*p + 90. Let w be o(-2). Suppose -90*v - w = -76*v. Is v at most -255/4?
True
Let b = -0.252 + 0.315. Let v = b - -0.037. Let t = -1173/50 + 47/2. Which is smaller: t or v?
t
Suppose 0 = 4*a + 12, t = -3*a - 0 - 11. Let i be (3/(-5) + (-8)/20)*t. Let s be (i/5)/((-24)/120). Which is bigger: 0 or s?
0
Let j = 101 - 27. Let q = j + -74. Suppose q = -r + 4*r + 15. Which is greater: -19/3 or r?
r
Suppose -3*p - 2*l - 2907 = 0, 5*l + 1960 = 6*p - 8*p. Which is smaller: p or -0.1?
p
Let w = 473 + -466. Suppose -3107 = -w*y - 909. Is 314 bigger than y?
False
Let v = -34.01 + 34. Let i = v + 51.01. Let w = 58 - i. Which is bigger: w or 0.4?
w
Let r = -91 - -116. Let j = -29 + r. Let t be (2 - (1 - -1))/(8/j). Is 1/126 > t?
True
Let f = -310 + 309.831. Let m = f + -20.831. Which is smaller: m or -4/3?
m
Suppose 5*b + 6*b = 737. Let y(v) = 7*v + 10. Let j be -3 + (-1 - -10 - -2). Let t be y(j). Which is smaller: t or b?
t
Let a = 5236.1 - 5234. Let u = 0 - -3. Let r = 2 - u. Is r less than or equal to a?
True
Let r = 4.898 - 6.138. Which is smaller: 2/17 or r?
r
Suppose 0 = -2*v + 7*v + 10, -3*v = -2*d - 6638. Is -3322 at least d?
True
Let j = -106/119347 + -52710198331/1074123. Let y = 49023 + j. Let r = 15674/315 + y. Which is bigger: r or 0?
0
Let r be (3/9 - 0)/(17/(-7089)). Let j = r - -716/5. Is -1 bigger than j?
False
Let z(x) = -22*x + 710. Let f be z(31). Is f less than or equal to 45?
True
Let w be (-377960)/(-24662) + -10 - (-4)/(-38). Which is smaller: w or 4?
4
Let i = -252 + -104. Let q be -1*2/7*(-74748)/60. Let b = i + q. Is 1 <= b?
False
Suppose -48*i + 20*i = -84. Suppose -s - 3*z - 21 = 0, 5*z = -5*s + 2*z - 45. Let u be (1/s)/(i/(-27)). Which is greater: u or -2?
u
Let i = -24070 - -23901. Which is greater: i or -107?
-107
Let d = -18498 - -203304/11. Let a = -2106 - -2091. Which is greater: d or a?
a
Let d = -367 - -153. Suppose -34560 = 110*q + 50*q. Which is bigger: q or d?
d
Let d be ((-14)/(-6))/((-76)/(-6)). Let j = d + -297/1406. Let y(h) = -9*h**2 - 295*h - 2133. Let c be y(-22). Is c less than or equal to j?
False
Let m = 16 + -30. Let p be (12/14)/((-1)/m). Let q be (-8)/p*(-2 - 1*40). Is 28 <= q?
True
Suppose -3*h = 2*l + 94, 34*l = 5*h + 33*l + 174. Which is greater: -32 or h?
-32
Let c be 342/855 + 81433/5. Which is smaller: c or 16288?
c
Let p be (39/104)/((-36)/1104)*(6 - 4). Let l be 1/(2 - 18/8). Is l less than or equal to p?
False
Let n = -15.21 - 0.79. Let d = 2592.9 + -2594. Are d and n nonequal?
True
Let i = 16.044 + -17. Let r = -30 + 29.956. Let p = i + r. Is -2/7 smaller than p?
False
Let c = 5.455 - 9.355. Which is bigger: 6 or c?
6
Let t be (290/(-8))/(1/4). Let w = t - -2462/17. Let s be 0/(6 + 1*(-1)/1*5). Is w smaller than s?
True
Let s = 245 - 242. Let c be (-12)/(-4)*s - 9. Which is greater: c or -1/609?
c
Let w = 1.8 - -0.2. Suppose 6821 + 99 = 40*l. Which is greater: w or l?
l
Suppose 0 = -5*d + 5*r - 4780, -5*r = 7348*d - 7345*d + 2908. Is 2/5 >= d?
True
Let f be 87*(-3 - (14/(-6) - 1)). Let j = -246 + 242. Is f < j?
False
Let z be 2/8*614*(-8 + 18). Do 1533 and z have the same value?
False
Let d = -2.068 + 1.808. Which is smaller: -5 or d?
-5
Let o(c) = -16*c - 5. Let g be o(8). Let d(n) = -4*n**2 + 60*n + 485. Let l be d(-7). Which is smaller: l or g?
g
Let j(v) = -v**3 - 12*v**2 + 30*v + 31. Let k be j(-14). Suppose -100*l = -101*l + k. Is l at most as big as 27/8?
True
Let h = 981279013/75876 + -38798/3. Is -1 > h?
False
Suppose 25*h = 28*h - 528. Let g be (-16)/(-88) - (-122)/h. Are 0.2 and g equal?
False
Let v = 79.9 - -5.1. Let i = v - 50. Let o = i - 31. Is o > -0.2?
True
Let y be 4 - ((-2)/2 + 8/1). Let n be ((150/(-2))/y)/(-9). Is n at least -4?
True
Let b(c) = c**2 + 14*c + 17. Let m be b(-13). Suppose -2*k - 32 = 3*k - m*f, 3*f + 6 = 0. Is -57/7 at most as big as k?
True
Let p be ((-1023)/22*(-2)/15)/((-10)/50). Let m = -8 + -23. Is m greater than p?
False
Let x be 2/(-8) - 3/(72/(-78)). Let c be (-22)/33 - x/(27/(-42)). Suppose 0 = c*r - 93 + 1. Is r > 23?
False
Let b be -10 + 13958/(-112) + (6 - 0). Which is smaller: b or -129?
-129
Let x = -8479 + 8477. Which is greater: x or 2719?
2719
Let b be (0 + 1)/(97/(-99619)). Which is bigger: b or -1025?
-1025
Let s = 1890 - 2257. Are -1473/4 and s unequal?
True
Let s = 307682/29545 - 982/95. Is s <= 0.3?
True
Let t = -0.41 - 0.22. Let s = -24.37 + t. Let z = s - -18.1. Which is greater: z or 0.1?
0.1
Let o be -7 + (-11)/((-725032)/461320). Which is smaller: o or 0?
o
Suppose m + 2540 = 46*o - 41*o, 3*o + 2*m = 1524. Do o and 512 have the same value?
False
Suppose -39*y = -44*y + a + 496, -4*y - 2*a + 380 = 0. Which is smaller: y or 112?
y
Let c = -21015/2 + 735201/70. Are c and -5 unequal?
True
Let p = -232 - -235. Suppose -p*n + 69 = -m, n - 6*m + 3*m - 15 = 0. Which is smaller: n or 25?
n
Let v = -0.461 + -686.539. Let f = v - -574. Which is smaller: f or -0.1?
f
Let z be 292/(-5) + 18/45. Let n = 23 + z. Let f be ((-9)/63)/((-8)/14). Which is greater: n or f?
f
Let s = -1325699/6470 - 2/3235. Let b = -16503/70 - s. Let g = -4327/140 - b. Which is smaller: g or -0.1?
-0.1
Suppose -3*z = 5*x - 4320, 76*z + 4320 = 5*x + 72*z. Is x less than or equal to 0?
False
Let r(m) = m**3 + 6*m**2 - 5*m + 14. Let t be r(-7). Let q(p) = -p. Let z(u) = 6*u - 1. Let f(o) = 4*q(o) + z(o). Let j be f(t). Is j at least as big as -1/28?
False
Suppose f - u = -3260, -279*u + 10 = -277*u. Which is greater: f or -3256?
f
Let t(p) = -4*p**3 + 26*p**2 + 13*p - 36. Let j be t(7). Do -59 and j have different values?
True
Let r = 109 + -119. Let w = 26 - -14. Suppose -2*m + w = -6*m. Do m and r have the same value?
True
Let u = 7379 - 7385. Let q = -0.45 + 0.5. Let w = q - 2.05. Which is smaller: w or u?
u
Let k be (2/(-6))/((-1)/3). Let o(a) = -a**2 + a - 1. Let p be o(k). Let t be p/(-5)*(-75)/45. Is t not equal to 1?
True
Suppose 92 = 2*g - 182. Let m = g + -129. Let z = 0.17 - 0.17. Is m less than z?
False
Suppose -28 + 2 = 4*y + x, 2*x = 3*y + 14. Let r be (y*(-2)/(-4))/(-1). Suppose -r*c - 348 = q + q, -5*c + 2*q - 580 = 0. Is -116 less than c?
False
Suppose 5*b - 2*w = 3*w + 235, 0 = -5*b - 3*w + 283. Let m(n) = 53*n**3 - n**2. Let a be m(1). Which is smaller: b or a?
a
Let n(v) = 16*v**2 + 5*v - 32. Let a be n(-7). Let m = a - 679. Which is bigger: m or 40?
40
Let q = 1.201 - 486.201. Let g = q + 484.8. Is 30 greater than or equal to g?
True
Let s = -2.02 + 2.5. Let g = 0.8 - 1. Let w = g + s. Is -1 <= w?
True
Let v be -46741*(-28)/(-776) + 2/(-4). Let q = -1687 - v. Do 0 and q have the same value?
False
Let n = -6 - -7.76. Let f = 0.24 + n. Let s be (-6)/8*(-1)/(78/24). Does s = f?
False
Suppose 0 = -0*g - 4*g. Suppose g = 2*n - 2*s - 28, -n = 5*s - 30 + 10. Let o = 17 - n. Is 2 greater than o?
False
Let p = 124.7 + -118. Let c = -65.7 + p. Let o = 1.77 - 1.87. Which is greater: c or o?
o
Let r = -69.2 - 15.8. Let t = r - -83.72. Is -2/3 smaller than t?
False
Let a = -4804 + 4772. Is a not equal to -424/13?
True
Suppose -3*f - 2*d = -6*d - 40, 3*f = 2*d + 44. Let w(b) = b**3 + 20*b**2 - 12*b + 43. Let z be w(-20). Let r = z - 2549/9. Are f and r equal?
False
Let y = -16 - -72. Let t be (-84)/y*8/(-54). Is t not equal to 1?
True
Let h = 323/70 - -122/35. Which is bigger: 7 or h?
h
Let d(r) = 52*r - 60. Let l be d(9). Let a = l - 409. Is a <= -2/31?
True
Let u(t) = -3*t + 20. Let d be u(4). Suppose 0 = 2*c - d*c. Is c != -2/17?
True
Suppose -3*x = 4*w, 1 = -5*w + 3*x - 7*x. Suppose -w*r = -c - 1, 4*r + r - 9 = -2*c. Which is smaller: c or 30/13?
c
Let v = 6.936 - 603.936. Is v at most 3?
True
Suppose -737*b + 272*b - 2998 = 9557. Let h = -42 + 14. Is h less than or equal to b?
True
Let k(t) = t**3 - 11*t**2 + 10*t + 44. Let o be k(10). Let i = o + -40. Is i < -2?
False
Let f = 346 + -1369/4. Let w(m) = m**3 - 6*m**2 - 7*m + 4. Let s be w(7). Is f less than or equal to s?
True
Let z be ((-8024)/7)/(-1) - 212/742. Is 1146 smaller than z?
F