. Let i be d(5). Suppose -3*r + 840 = r + 5*w, 3*r + 4*w = 629. Do r and i have the same value?
True
Let d be 10 - (-12)/(1 - 3). Let w be 1/((216/126)/(d/(-238))). Is w > 0?
False
Let h = 855 - 744.8. Let j = h - 108. Which is greater: j or 6?
6
Suppose -40*k + q = -38*k + 319, 5*k = 5*q - 805. Which is smaller: 0.28 or k?
k
Suppose n = 2*d + 5, 0*n + 4*n - 20 = -3*d. Let q be -9 - 72195/(-6870) - (-2 + 28/8). Is q greater than or equal to d?
True
Let r(m) = 12*m + 6. Let d = 9 + -5. Let n be r(d). Let z(g) = 5*g - 40. Let h be z(19). Which is bigger: n or h?
h
Suppose -4*y = -7 + 3. Let n = 232/5 + -17819/385. Is y at least n?
True
Let m be 0/(-1) + 4 + 0. Let w be (-1 - m*-2) + 0. Let k be (-302)/(-44) - 4/11. Is w at most k?
False
Suppose 5*n + 4*r - 49703 = 0, 3*r - 15969 = -3*n + 13851. Do 9943 and n have the same value?
True
Let t = 282 + -101. Is t bigger than 1?
True
Let b(o) = -5*o**2 + 43*o - 23. Let u be b(7). Suppose -23*c = -u*c - 70. Which is greater: -33 or c?
c
Let p be 515/30 - (-21)/28. Which is bigger: p or 18?
18
Suppose x = -4*v - 287, 0 = 3*v + 6*x - x + 228. Let t = v - -499/7. Do -2/23 and t have the same value?
False
Let z = -13066/9 - -1455. Suppose 0 = -13*i - 151 + 190. Which is smaller: i or z?
i
Let q = 1.27113 + -0.07113. Which is bigger: 19 or q?
19
Let d = 1610 - 1610. Let v be (2/(-474))/(2/4). Which is bigger: v or d?
d
Let i(d) = -d**3 - d**2 + 6*d + 1. Let m be i(-3). Let y = m + 2. Suppose y*g + 124 = -g. Is -1/3 greater than or equal to g?
True
Let g = 2996 - 2996. Is 578 at most g?
False
Let h(r) = -r**2 + 9*r + 59. Let f be h(15). Let w(l) = 10*l + 219. Let j be w(f). Is j equal to 0?
False
Let p = 2387 + -2356.97. Let s = -32.1 + p. Let b = s - -2.2. Do -1 and b have different values?
True
Let v = -1812 - -30810/17. Which is smaller: v or -33?
-33
Let u(o) = 74*o - 155. Let f be u(9). Let q = -3567/7 + f. Let v(g) = g**3 + 3*g**2 - g - 3. Let b be v(-3). Is b at most as big as q?
True
Let i = -14644 - -13687. Are -957 and i unequal?
False
Let q(j) = -j**2 - j**2 - 7 - 10*j + 0*j**2. Let y be q(-4). Let h be 0*((1 + y)/2 - 2). Is h bigger than -27?
True
Let u = 538 + -537.372. Let n = 0.628 - u. Does n = -600?
False
Suppose -5*q + 609 = -4*r, -2*q + q - 4*r = -117. Let c = 22242 + -22119. Is q smaller than c?
True
Let j = -6995/20358 + -45/377. Which is smaller: 0 or j?
j
Suppose 3*h + 1260 = -1683. Let n be (-8)/(-20) + h/(-385). Let g = 20/7 - n. Which is bigger: g or 1?
1
Let n = -0.32 + 3.32. Let p = 2.484 + -0.144. Let d = p + -2.4. Which is smaller: d or n?
d
Let c be (-12)/4 - (0 + -5). Suppose -3*x - 11 = -c. Let m be -25 - 18/(x + 9). Which is bigger: -29 or m?
m
Let k = 32 + -84. Let y = -32 - k. Let m = -22.1 + y. Are m and 0.1 non-equal?
True
Let l(j) = -5*j**3 + 5*j**2 - 4*j - 1. Let w be l(2). Let p(c) = 18*c + 7. Let q be p(-2). Is q smaller than w?
False
Let t(p) = -64*p + 896. Let b be t(-25). Which is greater: b or 2497?
2497
Let j(m) = -139*m - 1622. Let v be j(-14). Is 325 smaller than v?
False
Let j = -113 + 22. Suppose -141*b - 649*b - 70310 = 0. Are j and b equal?
False
Suppose 0 = -3*j + 8 - 5. Let n be (-7 - j) + (-1 - 0). Let m be (-2 - 1) + (-6 - n). Which is smaller: -1/59 or m?
-1/59
Let m(z) = 7 + 0*z**2 - 4*z**2 - 7*z + 6*z**2. Let f be (-10 - 2)*2/((-6)/1). Let n be m(f). Is 13 at least as big as n?
True
Let j = -133 - -273. Is j >= -8?
True
Suppose -793 = -4*a + 55. Suppose -16*h - a = -19*h - 5*y, 3*y = 3*h - 180. Is h greater than or equal to 64?
True
Let l(w) = 17*w + 5*w - 10*w + 22*w - 1. Let s be l(1). Suppose -3*m - s = -0*m + 3*y, 2*m + 21 = -y. Which is greater: -1 or m?
-1
Let m be (-2 - -8196) + (61 - 50). Which is smaller: m or 8204?
8204
Let c(t) be the first derivative of -5*t**2/2 - 104*t - 21. Let f be c(0). Let j = -3537/34 - f. Which is greater: 2/5 or j?
2/5
Let m = 377.977 + -381. Let q = -0.023 - m. Let n = 37.3 - 37. Which is greater: q or n?
q
Let c = 5534/3 - 1852. Let d = 7 - 14. Which is smaller: d or c?
c
Let d be 22/55 + 16/10. Suppose 3*j = -h + 12, -4*j + 21 = -j - d*h. Suppose -3 = -j*n + 2*f - 0*f, 4*n + f - 5 = 0. Is n less than or equal to 2/259?
False
Let x = 295 + -591. Let d = 298.5 + x. Is d < -2?
False
Suppose 19*h - 57 = 95. Suppose -h*z = -1 - 7. Let w = 340/6441 - 2/113. Is w not equal to z?
True
Let l = 0.16 - -16.84. Let r = 18 - l. Let s = 1553/638 - 49/22. Which is smaller: r or s?
s
Let s be 66/330*1675/(-7). Is s at most as big as -49?
False
Let q = -1/16567 + -314588/3064895. Which is bigger: q or 0?
0
Suppose 40*s = 25*s + 11247 - 1242. Is 669 smaller than s?
False
Let z = -64401 - -1223278/19. Let p = z + 18. Let s = -6 - -5. Is p smaller than s?
False
Let k = -60.785 + 60. Let o = k + 0.895. Let z = -5 - -2. Which is smaller: z or o?
z
Suppose 176*d = 169*d. Let c be d/1 + -37 + 38. Which is bigger: c or -1/92?
c
Let w = -2094 + 2106.541. Let y = 0.459 + w. Are 0.06 and y equal?
False
Suppose 16*x + 978 = 2*y + 20*x, 4*x = -5*y + 2397. Which is greater: 453 or y?
y
Suppose -w + 0*w = r - 461, 0 = 4*r - 2*w - 1832. Let l be (r/(-225) - -2)*-65. Is 9 < l?
False
Let r be ((-18)/14 + (-3627)/3255)*4685/(-2). Is r less than 5624?
True
Let i = 246 - 246. Suppose 5*g + 3*m - 6 = i, 0 = 2*g + 5*m + 27 - 18. Is g <= 12?
True
Let l be (-14412)/15 + (3 - 51/15). Let q = l + 4443/5. Let d = -73 - q. Is -2/61 != d?
True
Suppose 7*h + 806 = 2745. Suppose -4*b + 239 + h = 0. Let l be 13 - 15 - b*2/(-128). Which is smaller: l or 0?
0
Suppose p - 5*d = -4*p + 40, 3*p - 4*d - 20 = 0. Suppose 833 = p*h - 943. Which is smaller: h or 149?
h
Let f = -1.744 - -288.044. Let s = f + -282. Which is bigger: s or -0.5?
s
Let x = 0.01424 - -0.98576. Which is smaller: x or 44/27?
x
Let f(k) = 4*k + 16. Let m be f(-4). Let v(o) = -9*o + 1. Let b be v(m). Which is smaller: b or 46?
b
Let o be (30456/(-1188))/((-1)/22). Are 568 and o equal?
False
Let s be 30/28 + (-3)/6. Let m = 44.04 - 43.84. Is s at least m?
True
Let a = -24 + 267. Let f = 82865/341 - a. Which is smaller: 0 or f?
0
Let h = 8813 - 8998075/1021. Which is bigger: 6 or h?
6
Suppose 4*g - 5*w = 130, -3*g + 7*g = -2*w + 116. Let i be 75*(g/(-9))/10. Which is greater: i or -24?
-24
Suppose -44*v + 45*v = -116. Let j = v - -102. Are j and -13 equal?
False
Let h be 10 + (-7)/((-105)/(-150)). Which is smaller: h or 1/431?
h
Let f be (-2217)/54*75/1870. Let m = 69/44 + f. Which is bigger: m or 1?
1
Suppose -3*q - 44 = -699*z + 694*z, 3*z - 36 = 3*q. Which is smaller: -341/39 or q?
-341/39
Let s be (-3)/(-2)*16/6. Let p(y) = 7*y**2 + 4*y - 5. Let t be p(1). Suppose -t*f = -s*f. Is 24/17 greater than f?
True
Let k be 15 - (10 + 2) - 4. Is -1/1255 greater than or equal to k?
True
Suppose 3*v = -5*k + 26397, -7*v - 834*k + 835*k = -61555. Which is bigger: v or 8792?
v
Let k(j) = 7*j**2 + 33*j - 224. Let u be k(-9). Which is smaller: -4/9 or u?
-4/9
Let t = -91 + 130. Let l = t - 73. Let w = l - -33. Are w and 4/21 equal?
False
Let z be 135/(-180)*(7 - (-267)/(-39)). Let m(v) = v - 6. Let n be m(5). Which is smaller: n or z?
n
Suppose -78 = k - 86. Let c = 0 - -11. Which is smaller: c or k?
k
Let o = 2358 - 2199.1. Let n = -159 + o. Is 1 greater than n?
True
Let q = -12.8 + -4.2. Let f = 23.1 - -14.8. Let m = 38 - f. Which is smaller: m or q?
q
Let f = 0.44 - 0.435. Let o = -3.295 - f. Let i = o + 3.27. Is i at least 0.3?
False
Let g(r) = -16*r + 1. Let q be g(-1). Let c(p) = -122*p + 1474. Let t be c(12). Which is greater: t or q?
q
Suppose 473 = 4*k - 4*q - 67, k - 141 = 3*q. Let s = -282 + 151. Let o = k + s. Is -3/22 > o?
False
Suppose 21 - 9 = 4*h. Suppose -h = 48*u - 49*u. Let r be (u + -6)*44/6. Are -22 and r equal?
True
Let d(w) be the third derivative of 19*w**4/24 - 187*w**3/6 + 155*w**2. Let t be d(10). Let p be (-3)/4*(-26)/6. Is t at least p?
False
Let s(l) = -4*l**2 + 35*l - 231. Let f be s(9). Which is smaller: f or -226?
f
Suppose 413 - 58 = -9*u - 131. Are u and -54 non-equal?
False
Let v(b) = -b**3 + 3*b**2 + 56*b + 9. Let s be v(10). Let q = s + 633/5. Is 0.1 at least q?
True
Suppose 0 = -12*o - 0 - 96. Let t = 7.164 - -0.136. Let p = t + -7. Is o greater than or equal to p?
False
Suppose -12*m + 196 = 28. Suppose v + 0*o + 2*o + 12 = 0, 0 = 3*v - 4*o - m. Let h be v/2 - (-3