 be (5 - (-324)/(-60))/(11918/5960 - 2). Which is smaller: 3577/3 or m?
m
Suppose -4*x + 3*y + 80 = 7*y, 2*x + y = 44. Let z be 135/(-12)*x/(-99). Let m = 2974 + -2972. Is m smaller than z?
True
Let m = 37793 + -38369. Which is greater: -591 or m?
m
Suppose 4*w = 5*b - 64, -2*w + 49 - 15 = 3*b. Let h = b - 19. Let m = 1168 - 4697/4. Is m < h?
False
Let u be (-6)/(-4)*9*388/(-54). Which is smaller: u or -78?
u
Suppose 5*a + 482 - 546 = 1921. Which is smaller: a or 395?
395
Suppose -t + f = -3*t + 12, -6 = -t - 3*f. Let x be (-1 + (-325)/(-105))/(t/7). Let l(g) = -g**2 + 2*g + 36. Let y be l(7). Is x bigger than y?
True
Suppose -376*z = -373*z - 4 + 22. Let g = 0.03 + 0.01. Let p = 0.36 + g. Do z and p have the same value?
False
Suppose 2*t + 3137 = 5*k, 4*k - 632 = 2*t + 2506. Is t < -1571?
False
Let l(w) = -w**2 - 14*w - 31. Let y be l(-3). Suppose -2 = -y*n, s - 2*s + 3*n + 71 = 0. Is s equal to -2/5?
False
Let a = -34443 - -34442. Which is bigger: -1877 or a?
a
Let b = -1.35 + -223.65. Let l = 226 + b. Is -306 >= l?
False
Let i = -40 - -23. Let p(z) = 3*z - 3. Let t be p(7). Let c be ((-17)/(-2))/(t/(-36)). Is c > i?
False
Let b = 184 + -182. Suppose 12*f = -b - 22. Does f = 10?
False
Suppose 0 = p - 6 - 0. Let s be 2191 - ((-33)/(-11) + 5). Suppose 0 = 6*y + s - 2177. Which is greater: p or y?
p
Let j = 154 - 77. Let v be (-17 + 16)*(-3 - 0). Suppose 3*a - v*y = 5*a - 154, 5*y = 0. Is j less than or equal to a?
True
Let z = 12649 + -12745. Which is smaller: z or -2/5?
z
Suppose -2*a = 5*o - 72, -4*a = -5*o + 16 + 50. Let g(z) = -7*z + 32. Let x be g(o). Which is smaller: x or -65?
x
Let f(u) = -u**2 + 4*u + 3. Let w be f(-2). Let k be -21 - -16 - 3*5*11. Let r = -175 - k. Is r <= w?
False
Let v = -54156160 + 4278432458/79. Let f = v + -1213. Is 1 <= f?
False
Let a be 1*4 - (4 - (-20 - 5)). Does -6/19 = a?
False
Let g(o) = -46*o**2 - 874*o - 1. Let b be g(-19). Is b less than 0.1985?
True
Let w(z) = 8*z + 26. Let l be w(-3). Let t be l*10/(-4) - (67 - 81). Does 9 = t?
True
Suppose 5*w + 25 = -3*g + 8*g, -2*w - 12 = -4*g. Let r be (3*w/(-42))/(2/14). Which is smaller: r or 12/17?
12/17
Let b(w) = w**2 - w - 4. Let u be b(3). Let h = -5.742 + -0.058. Let i = 0.8 + h. Do u and i have different values?
True
Let n(g) = 3*g**2 + 75*g + 325. Let z be n(-18). Let w be (79/6)/((-1)/4). Is w less than z?
False
Let o = 0.15 - -109.85. Let i = o + -91. Let w = -9 + i. Are w and 2 equal?
False
Suppose 27 = 4*c + 15, 4*r + 5*c = 23. Let k = 0.7237 - 0.0037. Is r > k?
True
Let a = 585.99236 - -0.00764. Which is smaller: a or 0?
0
Let m = -289/38 + 415757/54682. Is 1 less than m?
False
Let k = -10.8 - -10. Let s = -1.2673 - 1.7327. Which is greater: k or s?
k
Suppose -15 = 5*k, 11*t = 10*t - 4*k - 350. Let d = -338 - t. Which is smaller: 7/45 or d?
d
Suppose -17*r + 18*r + 2*f = -17, -4*f - 20 = 0. Let z(x) = 2*x**2 + x + 3. Let p be z(3). Let n be 6/(9/p*-2). Is n not equal to r?
True
Let d = -370 + 407. Suppose -36*v - 48 = -d*v. Which is smaller: v or 49?
v
Let q = -1.35 + -52.65. Suppose 20*n = -118 + 118. Which is smaller: q or n?
q
Let b be 371 + ((-15)/4 - 3/12). Suppose 368*t + 196 = b*t. Which is smaller: -197 or t?
-197
Suppose 0 = 4*i + 5*k - 9, -4*k - 33 = -4*i - k. Suppose -3*p + 70 - 79 = 0. Let u be (6/(-18))/(0 + p/54). Is i at least as big as u?
True
Let k(x) = 2*x**3 - 144*x**2 + 145*x - 213. Let u be k(71). Let l = 1004/207 - 132/23. Is u not equal to l?
True
Suppose -108*w - 94*w + 346 = -29*w. Let q = 392 - 258. Suppose -w*s + q = 134. Which is greater: s or -7/12?
s
Let c be (-9 - (-2370)/85) + 2/17. Suppose c*a = 17*a. Is 5/28 less than or equal to a?
False
Let b = 43 - 41. Suppose -c + b*i + 3 = 0, c + 0*i = -3*i + 13. Suppose c*l = -3*l + 80. Are -1/3 and l unequal?
True
Let u = -134 - -317. Let i = u - 192. Is i <= -10?
False
Let f be 0/((-2)/(1 - -1)). Let k be (-25698)/(-26)*(-3)/(-9). Let w = k - 329. Which is bigger: f or w?
w
Let n be 0/6 - 17*-5*(-5)/25. Which is greater: n or 131?
131
Let u be 40/(-23264)*(36/3)/(-600). Is u less than -1?
False
Let y = -863.9 + 864. Let n be (4/105)/(18/15). Which is bigger: y or n?
y
Suppose u + 3 = -3*r, 9 = -r - r - 3*u. Suppose l - 843 + 844 = r. Let d = 161/6 + -3095/114. Which is bigger: d or l?
d
Suppose -227 = -5*h + 5*v + 3, -3 = -3*v. Let x be ((-12)/24)/(291/(-288) - -1). Which is smaller: x or h?
h
Suppose -5*d = 5*i, d + 96 - 84 = 3*i. Is -158/105 >= d?
True
Let q(a) = 3*a**3 - 19*a**2 + 23*a - 87. Let b(l) = 2*l**3 - 17*l**2 + 22*l - 88. Let u(j) = -4*b(j) + 3*q(j). Let t be u(-13). Which is smaller: t or 3/193?
t
Suppose -38*s = 103174 - 26300. Is s at least as big as -2023?
True
Suppose 2*j - 2*q = j - 8, 4*j = q + 3. Suppose j*m = -3*m + 55. Suppose 0*i - 40 = -4*i. Do m and i have different values?
True
Let v = 89 + -89.03. Let h = 1595 - 1614. Is v at most as big as h?
False
Let j = 48 - 414. Let a = j + 378. Is -3 at least as big as a?
False
Suppose 22*m = -822 - 16206. Is m smaller than -3101/4?
False
Let y(z) = -z**3 + 15*z**2 + 47*z - 348. Let i be y(19). Is i >= -899?
True
Let w = -1745 - -4114. Let z = -2368 + w. Let n(j) = -23*j**2 - j + 1. Let b be n(1). Which is smaller: z or b?
b
Suppose 8*i + 5238 = -i. Let t be 170/i + (-5 + -1)/(-18). Is 1 greater than t?
True
Let m be (-125)/50*(-8)/5. Suppose m*o - 6 = 2*i, 2*i - 3*o = 4*i - 29. Suppose 3*j - 18 - 6 = 0. Which is greater: i or j?
j
Let f be (-4)/(-22) - 2394/(-22). Which is smaller: f or 102?
102
Let r(q) = -q**2 + 17*q + 2. Let f be r(17). Let j be f/5*(-13)/((-5148)/(-20)). Which is smaller: j or -0.2?
-0.2
Let o = -0.9 - 11.1. Let t = -20 - o. Which is smaller: t or 10?
t
Suppose -5*t + 17 = i, -i - 27 = -4*i - 3*t. Suppose i = 6*u - 5. Let x(o) = o**3 - o**2 - 3*o + 1. Let j be x(u). Is 1/32 equal to j?
False
Let p = 1873/2 + -10087/10. Which is smaller: p or -71?
p
Let p = 15.214 - 0.314. Let x = p + -14.7. Which is smaller: x or 0.36?
x
Let r be (-142)/213 - (1 - (-52)/(-6)). Suppose 53 + r = -4*q. Which is bigger: -17 or q?
q
Let k(u) = 34*u + 91. Let i be k(-17). Let o = -16069/33 - i. Which is bigger: 0 or o?
o
Let r = 356238/35 - 10179. Which is greater: r or 0?
0
Let q be -1*3/(-15)*285/(-171). Which is smaller: -13/850 or q?
q
Let y(r) = -r**2 + 11*r + 1. Let p be y(0). Which is smaller: 5/103 or p?
5/103
Let b = 4759 + -5155. Which is smaller: -1184/3 or b?
b
Let u = 594 + -595. Is 2/45 at most as big as u?
False
Let t(r) be the first derivative of 43*r**2/2 - 9*r - 7. Let x be t(-2). Let z be (x - 1/(-1))/(-8). Which is bigger: z or 11?
z
Let t = -630 - -35912/57. Let p(q) = -2*q**3 - 15*q**2 + 8*q + 34. Let v be p(-8). Suppose v*m = 39*m + 5. Is t <= m?
False
Suppose -200 = -6*p + p. Suppose 0 = 18*t - 345 - 375. Do t and p have different values?
False
Suppose 7*f = -2*s + 6*f + 32, -5*s - 3*f = -80. Let b be (s/(-24) + 4)*3. Is -2/7 >= b?
False
Let t = -0.03 - -3.33. Let p = -1 + t. Let r = -3.7 - p. Which is smaller: r or 0.2?
r
Suppose 0 = -12*k + 6*k + 17070. Is 2846 <= k?
False
Let i(f) = f**3 + 2*f**2 - f + 43. Let x be i(0). Suppose -24 = 44*c - x*c. Which is smaller: c or -25?
-25
Suppose -2*l - 6*l = -2*l + 68*l. Which is smaller: l or -2/17283?
-2/17283
Let t(h) = -2*h**3 + 5*h**2 - h - 1. Let p be t(2). Let a(y) = 2*y**3 - 4*y**2 + 2*y + 2. Let k be a(2). Let f be k/(-10) + (-392)/(-770). Is f greater than p?
False
Let k be (-1)/5*70/(-12). Suppose 2*x = -2*v + 110, -v - v + x = -122. Let s = v + -57. Which is smaller: k or s?
k
Let b(h) = -4*h + 23. Let s be b(7). Let f be 3/(-21) + 3675/(-686). Is s smaller than f?
False
Suppose 53630 = -33*b + 20927. Which is smaller: b or -990?
b
Let x be (-42840)/490 - 1*1*-2. Is -85 greater than x?
True
Let q = 477183 + -3332445/7. Which is smaller: q or 1119?
1119
Let v be (-8)/28 + (-128)/(-56). Let y(q) = q**3 - 8*q**2 + q - 6. Let r be y(8). Suppose f + 2*s + 5 = 0, r*f = s + 13 + v. Is 5 equal to f?
True
Let z be (-10426)/(-13070) + 1*((-912)/60)/19. Which is greater: z or 0?
0
Let b = -1637767/910 + 50632/35. Suppose 714 = -2*i + 2*u, 2*i - 4*u = -412 - 310. Let s = i - b. Which is bigger: s or 0?
s
Let o = 4829/8 - 112003/184. Is o greater than -5?
False
Suppose -11 = 13*p + 41. Let j be (-6)/(-10) - 0 - (p - 0). Which is bigger: j