ich is smaller: v or -68?
-68
Let l = -3657 - -3657.1. Is -4290 equal to l?
False
Let q = -1938.98 - -1923. Let n = -16.41 - -0.41. Let w = q - n. Which is smaller: w or 1/4?
w
Let b be (-5)/(-15)*(3 + 0/(-8)). Is -3/4562 less than b?
True
Let n be (-8)/(-48)*18*(2 + 2/6). Which is bigger: 86/15 or n?
n
Let p(r) = 12*r - 94. Let h be p(9). Suppose -18*j + 17*j = -4. Let w be (32/(-28))/j + 151/h. Is 11 less than or equal to w?
False
Let s = -957 - -1727. Let l = 767 - s. Which is smaller: l or -0.23?
l
Let l be ((-12)/15)/(67106/(-65)). Does 3 = l?
False
Let a = -432211/65205 - 1/13041. Which is smaller: a or -8?
-8
Let c = 178 - 186. Let d be ((-42)/(-56))/(357/c). Which is greater: d or 0?
0
Let s = 254 - 255. Let o be ((-30)/(-306))/(2/6). Let h = o + -28/153. Do s and h have the same value?
False
Let l be (1742/(-3752) - (-3)/4) + 8013/7. Which is greater: l or 1140?
l
Suppose 5*x + 4*v = 307 - 27, 4*x + 3*v - 225 = 0. Suppose 4*d = x - 64. Suppose 3*l - 40 = 4*g - 0*g, 44 = 4*l - 3*g. Which is smaller: d or l?
d
Let s = -32548 - -133221/4. Is s smaller than 756?
False
Let v = 2.7 + -2.89. Let h = 78.9916 - 0.0916. Let k = -79 + h. Which is smaller: v or k?
v
Suppose -2140*q + 87652 = 438*q. Let t be (424/(-18))/(4/(-6)). Is t less than q?
False
Suppose -331*j + 286*j - 45270 = 0. Which is smaller: 7 or j?
j
Suppose -5*x + 6*v + 884 = 4*v, 0 = -4*x + 2*v + 706. Let c = 180 - x. Which is bigger: c or 29/12?
29/12
Let r be -2 + 3 + 1 + 1. Suppose 2*k - 28 = 5*i, -r*i - 16 = -5*k + 16. Let v(c) = c**2 + 37*c + 233. Let q be v(-8). Which is greater: k or q?
k
Suppose -707*x + 565*x = -18318. Let q(n) = 5*n**2 + n - 1. Let z be q(5). Is x bigger than z?
False
Let l be 0/(3/(0 - -3)) + 19. Suppose -17*m - 180 = l*m. Let w = 4.1 - 0.1. Is m not equal to w?
True
Let g be (-5)/(18 + -48)*3/(9/10020). Which is smaller: g or 556?
556
Let f be (89/178)/(2/444). Suppose -98*n = -f*n + 325. Which is smaller: n or 0.9?
0.9
Let y be (3/2)/((-1)/(91 - (11 - 14))). Which is greater: -122 or y?
-122
Suppose 32*g - 23*g = -252. Let v be (76/1520)/(0 - (-2)/g). Which is smaller: v or -1/5?
v
Suppose 36*k - 1474 = -142. Suppose 0*w + 3*w - 820 = 4*u, 0 = 2*u + 2. Suppose k - w = -5*s. Which is smaller: s or 48?
s
Let t = -58 + 40. Let l be (-152)/t + (-28)/63. Let h be 8*1*(-12)/l. Which is greater: h or -0.3?
-0.3
Let r = -7/123 - -815/1353. Suppose 2*l = 6, 0*g + 2*l + 6 = 4*g. Suppose 3*h = 5*j + 5*h - 14, 0 = g*j + 5*h - 16. Which is bigger: r or j?
j
Let a = 3.24 - 113.24. Let l = a - -102. Is l smaller than 14?
True
Let m = -132.5 - -132.52. Let b = -13.6 - -2.6. Let o = b + 4. Which is smaller: o or m?
o
Let t be 21/6 + (-826)/236. Which is smaller: 2/1363 or t?
t
Let f = 257495 - 257453. Suppose -2*b = 4*p + 10, -2*p + 5*b = -p - 25. Which is greater: p or f?
f
Let y = -416 - -418. Let x = -51/2 - -481/18. Which is smaller: x or y?
x
Suppose 5*p = 5 + 15. Suppose 3*g = -4*i + 1254, -p*i = -3*g - i + 1233. Suppose 5*f + 66 = -y, -5*f - g = 5*y - f. Which is bigger: -85 or y?
-85
Suppose -40 = -0*c - 4*c + 4*v, -5*c = 2*v - 57. Let i(n) = 41*n - 80*n + 44*n - c. Let z be i(2). Is -4 >= z?
False
Let l be 2511192/115056 + -22 - (-1)/12*2. Which is smaller: 1 or l?
l
Suppose -218 = -13*h + 10*h - 4*v, -3*h + 212 = v. Which is smaller: 487/7 or h?
487/7
Let h = 160.62 - 159.62. Is -107.88 greater than h?
False
Let o be (4/(-10))/((-40)/(-50)). Let k be (-8 - (4 + -6)) + (-94)/(-18). Which is greater: k or o?
o
Let o be (-36)/122*(-9018)/(-162) + 2. Which is greater: -13 or o?
-13
Suppose 0 = -6*g - 12 - 150. Let c be 23 + g + (0 - (2 - 40)). Let d = c - 22. Is d at most 40/3?
True
Let u = 20743/725680 + -34/965. Is u equal to -1?
False
Let k = -11621 - -10438. Do -8290/7 and k have the same value?
False
Let y = 173 + -441. Let l = y + 289. Which is greater: l or -2?
l
Let p = -617 - -2417/4. Let n = -3201 - -3187. Do p and n have the same value?
False
Let q be -4 - (-9 + (2 - -1)). Suppose 3*f = -f - 3*s - 9, -9 = q*f + 3*s. Which is smaller: -0.44 or f?
-0.44
Let q = -61 - -53.4. Let t = 0.04894 - 8.04894. Let j = q - t. Which is bigger: 4/3 or j?
4/3
Let x = -245.979 + 248. Let z = -15 - -15.021. Let o = z - x. Do -1/9 and o have different values?
True
Let l be (1 + 2/(-4))*2. Suppose 4*o - y + l = -6*y, -5*o = 3*y - 15. Let v be o/(-726)*(0 + -2). Which is bigger: 1 or v?
1
Let x(l) = 35*l + 3051. Let w be x(-88). Which is smaller: -38 or w?
-38
Let g be ((-111766)/(-123))/(3/9). Is g less than 2726?
False
Suppose -29*h = 47760 + 32686. Which is greater: -2773 or h?
-2773
Let w = 4942/3 - 1648. Is 1734 not equal to w?
True
Suppose -2153 = 17*k - 28. Let q be (-73)/(-15)*-1 + k/(-25). Is 6 at most as big as q?
False
Suppose -9*u + 87 = -12*u. Let n = u + 57/2. Which is greater: n or 0.6?
0.6
Suppose 5 = u, 0 = 2*b - 5*u - 6 - 11. Suppose -4*j + b = -3. Let m be (4/(-8))/(3/j). Which is greater: m or -1/12?
-1/12
Let k(q) = -q - 1. Let s(u) = -u**3 - 6*u**2 - 9*u - 3. Let o be s(-4). Let x(h) = -7*h + 30. Let b(n) = o*x(n) - 2*k(n). Let g be b(-5). Does g = 57?
True
Suppose 87*v + 5555 + 1916 = 1120. Is -581/8 less than v?
False
Suppose -11 = 2*x + 1. Let o be (-2)/(-12) - (-1 - 4/x). Let m = 3.7 + -2.7. Which is bigger: m or o?
m
Let m(v) = -v**3 + 15*v**2 + 37*v - 49. Suppose -3*x + 55 = k, -2*x + 10 + 8 = -4*k. Let j be m(x). Which is bigger: j or 4?
4
Let x be 44844/(-14) - -12*((-5)/(-70))/(-1). Is x at least as big as -3204?
True
Suppose -3*i + b = 1, 4*b = 3*i - 20 + 33. Which is smaller: 15/742 or i?
15/742
Let o = -46 - -46. Suppose 5*n - 2*x + o*x - 68 = 0, -2*n = -5*x - 44. Suppose 7*p - n*p = 50. Is p <= -4?
True
Suppose 8134 = -8*t + 7550. Let b be (-4198)/(-22) + 12/66. Suppose 5*y + 169 = -b. Is t at least as big as y?
False
Suppose 3*a - 5 = 4. Suppose -5*v = a*f - 6*f + 23, -2*v = -2*f + 10. Let r be (5/56)/((-96)/384). Is r >= f?
False
Let j(b) = 2*b**2 + 11. Let w be j(-4). Let z = 43 - w. Suppose 0 = -z*q - q + 6. Is 4 greater than q?
False
Let k(b) = -8*b - 83. Let f be k(-10). Let m be (42/(-12) - -5) + f. Let u = -1 + -0.4. Is u != m?
True
Let h = -0.85 + -23.15. Let v = h + 47. Let j = 0.19 - 0.09. Does j = v?
False
Let r(g) = -9*g - 8. Let f(w) = 8*w + 9. Let j(b) = 4*f(b) + 3*r(b). Let d be j(9). Is d greater than 58?
False
Suppose -5*k - 16*q + 70 = -11*q, -5*k + 2*q = -35. Let z be -33 - 9*(-6)/k. Is z > -30?
True
Let h = 428.63 + -8.63. Which is bigger: 2/7 or h?
h
Let c be 1358/3234 + 1*16/(-28). Is 0 > c?
True
Let m be (-2)/1 + 20/13. Let i be (-5 - -7)*((-654)/(-4))/(-3). Let k = 109 + i. Which is smaller: k or m?
m
Let l = 743 - 729. Suppose -l*c - 26 = -306. Is c >= 56/3?
True
Let r = -19.6 + 19.35. Let d = 0.15 + r. Which is smaller: d or 48?
d
Let v = -3/37 + -583/111. Let k be 48/(-1728) - (-1430)/(-360). Is v greater than k?
False
Let f = -3227969/170 + 18988. Which is greater: f or -1?
f
Let f = 1916.47 + -10041.41. Let a = 8242 + f. Let s = a - 117. Is 2/9 equal to s?
False
Let x = 689 + 23. Let k = x - 714. Which is smaller: k or 14/5?
k
Suppose 4*z + 0*c - 2*c + 16 = 0, -5*z - 3*c = 9. Let b(k) = k**2 - 5*k - 5. Let r be b(-1). Let g be r*(4 + z)*0. Are 1/11 and g equal?
False
Suppose 0 = -61*u + 67*u - 2*c + 2244, -4*c - 387 = u. Suppose 5*d - 4*m = -1882, -d + 0*m - 386 = -4*m. Which is bigger: u or d?
d
Let v be (-3 + -14)/((-2)/28*1). Let d = v + -233. Let r = -5 - -11. Is r greater than d?
True
Let r = -699.579 + 1.579. Let m = r + 693. Is m greater than -27?
True
Suppose 0 = 4*l - 3*u + 1362, 4*l = 3*l - u - 344. Let k = -476 - l. Which is greater: k or 0?
0
Let b be -1 - (-1)/35*17. Suppose 2*z = 19*z - z + 16. Is z <= b?
True
Suppose 19 = 2*y - r, 4*r = 11 + 9. Let w = -10 + y. Let c be 50/(-7) - 284/(-1988). Is w at most c?
False
Let n be (-38)/(-185193)*-9 + 0. Is -1 smaller than n?
True
Let y(w) = -w**2 - 4*w - 3. Let j be y(-2). Let z = 10534/15807 - -4/15807. Is z less than j?
True
Suppose -3*c = 5*c - 40. Suppose -i = -4*i - c*r - 16, -3*r - 15 = 0. Suppose i*b + 23 = 2*z - 2*b, -z = -b - 4. Is z bigger than 7?
False
Let c be (1/(-2))/(((-1898)/3120)/73). Is 547/9 at least c?
True
Let y = 54.59 + -63.28. Is 2/11 not equal to y?
True
Let o = -308 + 330. Let j = 0.2 - -1.2. Let s = j - 1.6. Is o at l