Let w = 0.1 - 0.3. Which is bigger: w or d?
w
Let b be 1314/85*(-2)/(-6). Let d = b + -40/17. Let c = 0.08 - 0.18. Which is greater: d or c?
d
Let c be 2/4*1150 + -1. Let s be 12/c*((-32)/4 - -15). Are s and 0 non-equal?
True
Let v be (6 - 9) + 33/8. Let r be (32/4)/2*(-9)/(-12). Suppose -y = 2*u - r, 5*y + 0*y = 15. Is u smaller than v?
True
Let m be (-212)/(-18) - 2*(-7)/63. Suppose -n = c - 29, 5*c - 10*n = -m*n + 139. Which is smaller: c or 180/7?
180/7
Let r(k) = -3*k**3 + 15*k**2 + 4*k + 10. Let c be r(5). Let f be (-162)/(-5)*c/9. Is f bigger than 108?
False
Let y = 0.229 - 0.32. Let q = 2.909 - y. Is q greater than or equal to -9/2?
True
Suppose 3*m = -4*z + 1175, 2*z = -15*m + 12*m + 1165. Suppose m = 13*y + 320. Let s be (6/10)/((-3)/(-4)). Is y greater than or equal to s?
True
Suppose -6*b + 7*b - 2*f = -6, 1 = -b + f. Suppose 0 = v - 3*y - 49, -b*v - 2*y = 3*y - 213. Let s = 107 + -54. Which is bigger: v or s?
s
Let d = -67.7 - -67.041. Let u = -26.341 + d. Is u at least as big as 5?
False
Suppose -6*t - 7353 = 3*t. Let r = t - -831. Suppose 24 = -5*v + 4*b, 4*v + 4*b - 1 = -13. Are v and r unequal?
True
Let t(g) = 4*g**3 + 10*g**2 - 9*g + 7. Let m be t(-5). Let c = -199 - m. Are c and 1/45 equal?
False
Suppose 2*k - 48 = -q, -3*k + 69 = -q + 7. Let i(z) = -z + 30. Let o be i(k). Suppose -6*s - 98 = o*s. Which is smaller: s or -22/3?
-22/3
Let u(q) = 13*q**2 - 102*q - 125. Let t(o) = 4*o**2 - 34*o - 41. Let j(v) = 7*t(v) - 2*u(v). Let f be j(18). Which is smaller: 1/49 or f?
f
Let o = 0.483 + -0.151. Let y = 6.668 + o. Is -14 at most as big as y?
True
Let b = 7977 - 4884. Which is greater: b or 3095?
3095
Let w = -19.959 + 19.8. Let g = 80.159 + w. Are -1 and g unequal?
True
Suppose 15*m + 8 = 19*m. Suppose 3*f + 29 = -2*n, 7*f - m*f - 91 = 3*n. Is n != -24?
True
Let u = -262 - -267. Suppose -720 - 2900 = u*s. Which is smaller: -723 or s?
s
Let f be (-3)/12*-12*-2 - 42/(-3). Which is bigger: f or -13/12?
f
Let j(h) = 53*h - 5. Let v be j(1). Suppose v*r = 51*r + 3. Which is smaller: 5/14 or r?
r
Let t(j) = j**3 + j**2 - j + 5. Let l be t(4). Let u be l/92 + (-15)/20. Are -3 and u unequal?
True
Suppose 5*a = 4*v - 70095, 0 = -a + 2*v + 5457 - 19476. Is -14019 < a?
False
Suppose 0 = -11*y + 74 + 47. Let j be (0 + 0 - -1)*3. Suppose -34 = -j*k + y. Are k and 15 nonequal?
False
Let k = -1.92 + 23.32. Let q = 34 - k. Let z = 12.52 - q. Is 1/4 greater than or equal to z?
True
Let h be (-732)/(-120) - 6 - 42/340. Which is bigger: h or 61?
61
Suppose -35*a = -50*a + 15693 - 2253. Which is smaller: a or 895?
895
Let z be -4 + 5 + (-2)/2. Let p = 487753/15 + -32516. Do p and z have the same value?
False
Let s be (-3)/(5/((-100)/(-4116))). Which is smaller: -1 or s?
-1
Let w = 422 + -294. Let a = w + -126.8. Let p = -2 + 1.9. Which is smaller: p or a?
p
Let t(i) = -i**3 - 6*i**2 + i + 14. Let o be t(-6). Suppose -4*s = -3*z - o, s + 5 = -2*z + z. Let l = -22/87 + 1115/4524. Is s at least l?
False
Let r = -544 - -539.4. Let o = 3.6 + r. Which is greater: -53/5 or o?
o
Suppose -1726*a = -1569*a - 3140. Let h be (-409)/(-20) + 2/(-8). Is a less than h?
True
Suppose 2*y + 6 = y, 0 = -5*x + 2*y + 7. Which is bigger: 1/17397 or x?
1/17397
Let g = 37275/8 + -701329/152. Is g smaller than 46?
True
Suppose 0 = 5*u + 5, -5*g - 3*u + 2 - 5 = 0. Suppose -v + 3 = 0, 8*w - 5*v - 636 + 819 = 0. Which is smaller: g or w?
w
Let n = -4439.9 + 4440. Is 1280 less than n?
False
Let b(l) = 2*l**3 + 24*l**2 + 4*l - 44. Let z be b(7). Are z and 1844 equal?
False
Let g = 16 + -24. Suppose -2136*c = -2163*c - 243. Is c smaller than g?
True
Suppose -3*h + 2*h + 20 = 0. Suppose -3*p - p = -4*n + 48, -n = p - 2. Suppose -z - 120 = -n*z. Is h greater than or equal to z?
True
Let i = 640217591/38400 + -50017/3. Which is greater: 0 or i?
0
Suppose 8306 = 2*n + 4*z - 4686, n - 4*z = 6484. Let i be n/(-112) - (-10)/(-35). Let j = -57 - i. Is 8 less than j?
False
Let m be 122/12 - (-2 + (-13)/(-6)). Let l be 2/4 + (-885)/m. Let h = l - -18. Which is greater: h or 1/4?
1/4
Suppose -3*z = 2*z + 250. Let v = -7643 - -7690. Let y = z + v. Is 0.4 at most as big as y?
False
Let d be 184/414 - 526/9. Is -416/7 less than d?
True
Let w = 815 - 724. Let f be (w/(-78))/((-4)/(-24)). Let c = -22 + 12. Is c greater than f?
False
Let u = 7936 - 7854. Do 77 and u have the same value?
False
Suppose 3*i - 70 = 2*f + 156, f - 3*i + 113 = 0. Let q = f + 107. Let o be (q/4)/((-1)/(-2) - 2). Is o != 0.18?
True
Let z be (3 + (-34)/8)*806 + 19 + -18. Which is bigger: -1006 or z?
-1006
Suppose -8*t + 5621 = -11835. Let v = t + -211656/97. Is v greater than or equal to -1?
True
Suppose 85*x - 6929 = -5*x + 901. Which is smaller: -5 or x?
-5
Let j = -944.007 + 944. Which is greater: 29 or j?
29
Suppose -132 - 69 = 3*a. Let k(z) = 5*z**2 - 143*z - 3. Let u be k(29). Let t = u + a. Is -12 smaller than t?
False
Let m = 59 - 62. Let c be (-56)/1533*m/4. Let i = c - 272/4599. Is i at least as big as -1?
True
Suppose 3*o = -k - 2, -28*k + 6 = -4*o - 26*k. Are o and -47/57 non-equal?
True
Let k be (-2)/4*4/378. Suppose -4*g = 5*b + 630 - 639, 3*b - 2*g - 1 = 0. Is b != k?
True
Let d be (5609 - 5599) + (-240)/14 + -1. Let g(p) = -p**3 - 3*p**2 + 3*p + 2. Let l be g(-3). Is d >= l?
False
Suppose 5*u - o = 249, -o + 162 = 3*u + 19. Suppose d = 5*k + u, 4*k + 2*d = -0*d - 28. Let b be ((-70)/77)/(3/(1*k)). Which is bigger: b or 3?
3
Suppose 429*y - 1350 = 519*y. Does -544/37 = y?
False
Suppose -4*b = -11*b + 14. Suppose -1 = -3*u + b*x - x, 2*u = 2*x - 6. Suppose -r - u*r = 18. Is 5 less than r?
False
Let l = -5476.1488 - -5476. Is l less than or equal to 1/4?
True
Let y = -6936 - -6936. Let z be (-449)/(-1085) + 6/(-15). Which is bigger: y or z?
z
Let u be (-16)/40*(-2768)/(-52). Let v = u - -68/5. Which is smaller: v or -9?
-9
Let n = -284.0653 - -0.2653. Let q = n + 286. Let s = 2 - 4. Is s equal to q?
False
Suppose z = 5*x - 257, -185 - 69 = z - 2*x. Let v be z/702 + ((-2)/6 - -1). Suppose -4 + 0 = -4*h. Which is greater: h or v?
h
Let u be -4 - (1 + (0 - 1)). Let n = u + 2. Let l = 3/272 - 147/272. Which is bigger: l or n?
l
Let q = 197 + -322. Let d be q/10*(-28)/(-35). Is -16 greater than or equal to d?
False
Let d = -16834/37 - -455. Let n = -1491 - -616. Let c = -875.1 - n. Are d and c non-equal?
True
Let u = -240019/294 - -4903/6. Is 0 bigger than u?
False
Let p(n) = -n**3 - 9*n**2 - 2*n + 4. Let w be p(-9). Let s = -1814 + 1833. Are w and s nonequal?
True
Suppose -58 + 562 = -7*t. Let n be -1*4*-62*9/t. Let z = -33 - -3. Is n smaller than z?
True
Suppose 261 = 30*w - 25*w + 2*g, -5*w + 249 = -2*g. Is 4 at least as big as w?
False
Let z = 10.8 + -1.8. Let c = 17.2179 + 19.7821. Is c at least as big as z?
True
Suppose 0 = -4*l - 5*z - 43, -43 = l - 4*z - 6. Suppose -2*o = 2*o. Suppose -7*k + 3*k = 2*a + 20, o = 5*a - 5*k + 95. Do a and l have the same value?
False
Let n = 55 + -51. Suppose 1 = -4*v - c + n, -3*c = 15. Suppose 7 = 9*f - v. Is 14/15 less than f?
True
Let a(w) = 14*w - 287. Let n be a(21). Let c(p) = -17*p + 117. Let l be c(n). Is l greater than or equal to -34/27?
False
Suppose -4*u = -3*o - 106, -u - 2*o = -6*u + 136. Let g be (-40)/520 - u/(-26). Let r be (-4)/(-10) - (-28)/(-95). Is g > r?
True
Let q be (320/1200)/((-16)/24). Let f = -249 - -366. Do q and f have the same value?
False
Let b be (-1225)/(-1960) - (-5)/(-8). Which is smaller: b or 4747?
b
Suppose 42 = -4*k + 32 + 26. Is 488 at most k?
False
Let o = 3810 + -3367. Is o > -5?
True
Suppose 27515 = 12*p - 7*p. Suppose -9*w + p = -8294. Let q = w + -13775/9. Which is greater: 0.1 or q?
q
Let s = -3704 - -748. Which is greater: s or -2957?
s
Let s(r) = -38*r + 15. Let v be s(3). Suppose -a + 2*a = -2*m - 205, -5*m = 5*a + 525. Which is smaller: m or v?
m
Suppose -15 = 5*u, 555*a - 554*a = 4*u + 12. Which is greater: a or 7/149?
7/149
Let d = -135 + 148. Let g(j) = 4*j**2 - 53*j + 12. Let i be g(d). Which is greater: -1/341 or i?
-1/341
Let j = 427 - 1294/3. Let d(i) be the first derivative of -i**3/3 - 39*i**2/2 - 79*i - 47. Let r be d(-37). Is r smaller than j?
True
Let y = -28 - -40. Suppose -3*m = -5*m + 2*n + 26, m = -5*n + 7. Is y bigger than m?
False
Let v be (-168)/(-28) - -3*116/(-48). Is v <= 0?
True
Let z(v) be the 