
Let d be (4/6)/((-12)/(-54)). Suppose -3*u = -3*c + 18, -d*u = -2*u. Suppose 0 = 4*m + 15 + 1, -2*p + c = -2*m. Is p equal to -1?
True
Suppose 15 = 5*l, y + 3*l + 87847 = 5*y. Let d be y/342 + (-6)/81*3. Which is smaller: d or 66?
d
Let s be ((-24)/(-5)*3/(-12))/((-157148)/170). Which is smaller: 1 or s?
s
Suppose -4*k = -5*n + 731 - 215, 2*k = -n + 92. Let f(w) = -4 + n*w**3 - 4*w**2 - 2 - 11*w - 200*w**3 + 101*w**3. Let r be f(5). Is -34 smaller than r?
False
Suppose 4*j = -34 + 2. Let h = 93 - 107. Let q be (h/3)/((-16)/(-24)). Which is bigger: q or j?
q
Let h be 68/(-14)*(-4340)/155. Are h and 123 non-equal?
True
Let p = 5231 - 5134. Is p >= 17?
True
Let l(m) = 16*m - 106. Let z be l(7). Which is smaller: z or 151/22?
z
Let v be (-91)/(-13) - (-2 - -7). Suppose -7*f + 20 = -3*d - v*f, -2*f = -8. Which is smaller: -3/38 or d?
-3/38
Let l = -7606.542 - -7613. Is l less than -1?
False
Let o = 7969 - 8222. Which is smaller: o or 0?
o
Let s = 13717 - 13711. Which is bigger: 19.9 or s?
19.9
Suppose -24*v + 58*v + 102 = 0. Which is smaller: v or 455?
v
Suppose t - 430 = 5*b + 6*t, t + 329 = -4*b. Let r = 54 - 55. Which is greater: b or r?
r
Suppose 4*d = 4*u + 140, 4*d = -3*u - 2*u + 95. Suppose -2*j + 108 = 4*g, -4*g + 300 = 5*j + d. Let o be (j*(-2)/(-8))/12. Which is smaller: 1 or o?
1
Let m = -2572 - -12872/5. Is -33 less than m?
True
Let q be 298/14 + (-9)/(9/2). Let u = q - 803/42. Suppose 3*p = p - 2. Do p and u have different values?
True
Let d = -19484 + 19485. Let z = -2.904 + 3. Is z greater than or equal to d?
False
Let g = 22385 - 4432277/198. Which is smaller: -1 or g?
-1
Let b = 24057 + -24033. Which is smaller: b or 635/27?
635/27
Let n be ((-142)/(-5))/((-64)/160). Is n at least as big as -110?
True
Let i be -4 - (-17)/4 - 35/(-4). Let o(k) = 8*k - 13. Let v(n) = 9*n - 12. Let r(j) = 7*o(j) - 6*v(j). Let f be r(i). Which is smaller: f or 4/11?
f
Let l(i) = -11*i**2 + 8*i + 3. Let h be l(-4). Which is smaller: -2254/11 or h?
h
Let n = 4.89121 - -0.09879. Do n and 10 have the same value?
False
Let q = 666 - 128534/193. Suppose -3*a - 10 = -x, -3*a + 1 - 6 = 4*x. Is q less than x?
True
Let v(i) = i**2 + 14*i + 13. Let o be v(-6). Let r = -3 - o. Let a = r - 38. Which is smaller: a or -3?
a
Let v(l) = 551*l**2 - 71*l - 22. Let d be v(3). Which is bigger: d or 4726?
4726
Suppose -2*o = -o + 27. Let u = 3446 - 1326707/385. Let k = u - 20411/770. Is o equal to k?
False
Let f(c) = 4*c - 7. Let v be f(3). Suppose v*j + 2*i - 8 = 10, -j = -4*i + 14. Suppose 0 = 3*y + j*y, 4*w = 5*y - 112. Is w smaller than -2/5?
True
Let m be -2*(-1)/(-3804)*2614/(-78). Let s = m + -1/1902. Let r = 12 - 12. Which is smaller: r or s?
r
Suppose -9*x + 35 = -1. Suppose -6*y + 144 = 2*g - 3*y, -216 = -3*g + x*y. Is 72 greater than g?
False
Let o be (60/(-25) + 2)/(1/5). Let n be 1 - (2 + o + -3). Suppose 0*v + n*v + 128 = 0. Do v and -31 have the same value?
False
Let o be (-308)/165 - 12/(-10). Are o and 1311 equal?
False
Let t = 9506062/5 - 1913092. Let p = -11824 - t. Let i = p - 11681/210. Is 0 equal to i?
False
Let z(j) = 2*j - 22. Let a be z(9). Let s(d) = 2*d**3 + 8*d**2 - 2*d - 2. Let c be s(a). Let u = -6 - -10. Which is smaller: c or u?
u
Let h = 0.0671 - -0.0134. Let z = h + 0.0195. Which is bigger: z or -68?
z
Let a be 160/7488*(105/125 - 1). Is a at least as big as 0?
False
Let o(s) = -173*s + 26 + 206*s + 83. Let n be o(-4). Are n and -25 unequal?
True
Let h = -895808/781 - -1147. Is 2/5 smaller than h?
False
Let d be 280/(-49) + (-4)/14. Let v be 4/(-3)*d/(-28). Suppose -45*u = -20*u. Which is bigger: v or u?
u
Suppose -71 = -14*l + 85*l. Let y = -1 - 0. Let n be l/26*(y + -3). Does n = 1?
False
Suppose 321*m - 396*m = 75. Which is smaller: -5/2006 or m?
m
Let h = -19991 + 25132. Is h < -0.2?
False
Let x be 2700/(-84)*2/((-24)/(-4)). Let p = -128108 - -8968303/70. Let l = p + x. Is l less than or equal to 1?
True
Let m = 939.8 - 939.792. Is 3/4 < m?
False
Suppose -30*o - 120 = -26*o. Let d = -34 - o. Let q be (d*25/10)/(-3). Which is smaller: 2 or q?
2
Let w be (-156)/(-91598)*(3 - (-20)/(-6)). Which is bigger: 1 or w?
1
Let r be (118/(-8) + -1)/((-10)/(-40)). Let a be (-15)/(-175)*10/r. Which is bigger: a or 1?
1
Let g(l) = -2*l**3 - 3*l - 3. Let o be g(-2). Suppose -87*c + 75*c = 192. Let p = o + c. Which is greater: p or 6?
6
Let b = -619 + 619. Which is smaller: 0.05727 or b?
b
Suppose 34*m - 6 = 35*m. Which is smaller: m or 59?
m
Suppose 0 = 214*x - 203*x - 10175. Is x smaller than 1?
False
Let g(c) = -2*c**3 + 7*c**2 - 2*c + 1. Let o be g(5). Let m = -323 - -326. Let a be 2/m - 2*(-22)/o. Is a at least as big as -1?
True
Let k be 2/12*(-8)/(-14). Suppose -17*g + 4*g = 6149. Let o be (2/8)/(g/44 + 11). Is o less than k?
False
Suppose 90*q = 97*q. Suppose 36*j - 38*j - 82 = q. Is -42 less than j?
True
Suppose 137 = -2*x - 367. Let b be 3/((-1350)/64) + (-56)/x. Let m(n) = -n**2 - 6*n + 8. Let k be m(-7). Which is smaller: k or b?
b
Suppose 663*w - 705*w = -4956. Which is smaller: 9 or w?
9
Let l = -497 + 529. Suppose -22*p - 150 = -l*p. Are 1/23 and p nonequal?
True
Let n = -17357 + 17357.2. Which is greater: 3841 or n?
3841
Let z be (-6)/13 + (-15088)/(-299). Suppose -11*a = -16 - z. Is -31 >= a?
False
Let k be (-13)/(-3) + (-3)/(-27)*-3. Suppose -k = -7*i + 6*i. Suppose 3*b - 10 - 5 = -i*v, 0 = -v + 3. Which is smaller: -80 or b?
-80
Suppose -2*q - 16 = 40. Suppose -5*z + 143 = 4*b, -3*z + 56 = -z + 2*b. Suppose z - 1 = -v. Which is smaller: v or q?
v
Let u = 90.05 + -102. Let c = u + -0.05. Let w = 11 + c. Which is smaller: w or -2/9?
w
Let q = -126 + 394. Let i = q + -234. Suppose 5*r - 1 = 4*r. Which is bigger: i or r?
i
Suppose 3*g + 2*t - 5*t + 6 = 0, -4*t = 16. Let l be (-430)/(-3525) - 3/(135/g). Which is greater: l or -1?
l
Let u = -1643 + 2777. Which is smaller: u or 1133?
1133
Let i = 2.7 + -41.7. Let p = -40.3 - i. Let a = 1.14 + p. Which is greater: 2/3 or a?
2/3
Let o = 7106 + -7100. Is o at most as big as 107?
True
Let m be 6/(-120)*4 - 687/(-2985). Are 1 and m non-equal?
True
Let l(p) = -p**2 + 5*p - 7. Let b = -66 - -68. Let o be l(b). Let w be (-9)/6 - o/2. Are -3/8 and w unequal?
True
Let t = 596 - 242. Let g = -353 + t. Which is smaller: g or -0.12?
-0.12
Let s(v) = 2*v**3 + 15*v**2 - 59*v - 63. Let d be s(-12). Which is greater: d or -1303/2?
d
Let q(d) = 2*d + 16. Let l be q(-6). Suppose 13 = l*f + 1. Suppose f*g - 1 = -34. Which is smaller: g or -14?
-14
Let f = -11 + 72. Let r(g) = g**3 - 57*g**2 + 179*g + 9. Let b be r(3). Is b at least f?
False
Suppose -4*k + 3*k - 1 = l, 4*l + 3*k + 4 = 0. Let j = -1569 - -258887/165. Is l <= j?
True
Let h(q) = -q**3 - 9*q**2 + q + 8. Let i be h(-9). Let b = -1072573154/1136361 + 361062/383. Let p = -26/23 - b. Which is smaller: p or i?
i
Let q be 112950/1125*10/(-4). Which is smaller: -252 or q?
-252
Suppose 3*f = -4*u + 204, -3*u - 228 = -3*f + u. Suppose 15*m - f = 6*m. Let a be -3*26/(-10) - m/10. Which is greater: a or 3?
a
Suppose 0*m = 2*m - 14. Let f = 11 - m. Let b be (3 - 148/84)*18/f. Is b at most as big as 7?
True
Let l = -106 + -123. Let h = 219.2 + l. Which is smaller: -0.2 or h?
h
Let a(k) = k**2 + 17*k + 29. Let h be a(-15). Let s be 4/(-1 - h/3). Let m(u) = u**3 + 7*u**2 + 9*u + 14. Let p be m(s). Is p bigger than 1?
False
Let m = -1.16 + -11.84. Let b = -11 - m. Which is smaller: b or -2?
-2
Let q = -1112 + 590. Is q at least -522?
True
Let i = 42 - 37. Suppose 3*u = w + 414, -5*u - i*w + 690 = -0*u. Let g be u/(-24) + 1/(-4). Is -6 < g?
False
Let y = -30729 - -27588. Is -3142 <= y?
True
Let g(n) = 3*n**2 + 22*n - 18. Let k be g(-8). Let l be 1*(k + 1) - (-2 + 0). Let s be ((-31)/(-93))/(l/(-3)). Which is smaller: s or -14/15?
s
Let z be -3*(-26)/18*-3. Let x = 1 - z. Suppose l - 98 = -6*l. Is x greater than or equal to l?
True
Suppose 4*d + 270*f + 203 = 273*f, 5*f = d + 72. Which is bigger: -503/11 or d?
-503/11
Let h = -195 - -192.95. Let y = -69.05 - h. Are y and 0.1 equal?
False
Suppose 0 = -17*n - 7448 - 2871. Suppose 3024 = -5*m - 4*k, -1810 = 3*m + 2*k + 6. Is m smaller than n?
True
Let m(w) = -w**3 - 10*w**2 + 44*w + 233. Let z be m(-13). Is 168 less than z?
False
Suppose -4*s - 32 = 4*y, -3*s = -8*y + 3*y - 32. Let v be (14/(-49))/2 - (-6)/y. Is -