/13. Let h be (-60)/(-8)*-2*2/(-5). Which is bigger: d or h?
h
Suppose -2*l = 5*z - 5687, 4*z = -2*l - 2281 + 6827. Is z less than 1156?
True
Let z(r) = -15*r + 137. Let p be z(9). Suppose p*c + q = -2, 3*c + 4*q + 8 = -c. Do c and -1/207 have the same value?
False
Let i = -5 - -4. Let t = -147.2 + -12.8. Let d = 168 + t. Which is greater: d or i?
d
Suppose 0 = -62*s + 99*s + 37. Is -1/85 < s?
False
Suppose -7*s + 37 = 5*n, 0 = -8*n + 7*n - 4*s - 3. Which is greater: 153 or n?
153
Let q = 4 + -3. Let x = -705 - -708. Let r be (x*(-1)/q)/((-30)/310). Which is smaller: 32 or r?
r
Let c = 1010.2 - 1003. Which is smaller: -11 or c?
-11
Let w(k) = 3*k + 12. Let y be w(-4). Suppose y*j - 2*j = 0. Suppose j*x - 9 = 3*x. Is x > -5?
True
Let h = 916585163/265016 - 542314/157. Let z = h - -1/844. Are z and 5 nonequal?
True
Let a be ((-1)/2)/((-18)/(-6408)). Let c = a + 177. Which is bigger: -1/88 or c?
-1/88
Let n = -654 - -656. Suppose -n*z - o = -6*o - 32, 4*z - 64 = 3*o. Are z and 29 non-equal?
True
Let w = 13984/3 - 4662. Let p = 29.3 + -28. Let a = p + -2.9. Is a > w?
False
Let w be 6/9 - 53/93. Suppose -20*r + 8*r = -668 + 656. Are w and r equal?
False
Let z = -890.23 + 520.36. Let o = z + 370. Which is bigger: o or -1/3?
o
Let b(y) = -11*y + 9. Let w be b(-3). Let r = w + -28. Suppose 4*i + r = -3*i. Is i at most as big as 2?
True
Suppose 12*h = -28*h - 13*h. Let z = -225.0058 + 0.0058. Is h < z?
False
Let z be 36/12*(1 + -2). Let c be ((3 + 0)*-89)/z. Which is greater: c or 88?
c
Let n = -9.4 - -11. Let g = n + 3.3. Let b = g + -4.9. Which is smaller: -0.1 or b?
-0.1
Let p = -1 + 1. Suppose p*r + 5*c + 98 = 2*r, -4*r + 4*c + 208 = 0. Let d(z) = 9*z + 54. Let y be d(0). Is y at most r?
True
Let k(b) = 6*b - 2. Let g be k(-1). Let v be (-10 - g)*300/8. Let y be (15/v)/((-2)/(-6)). Do 0 and y have the same value?
False
Let q = -222.41 + 4.61. Let o = -113.9 - q. Let y = -104 + o. Is y at least 16?
False
Suppose 0 = 3*u - 2*j - j - 805275, -5*u + 1342131 = -2*j. Let n = 113544554/423 - u. Let x = -3/47 + n. Which is smaller: x or -0.2?
x
Let x = -213 - -217. Let h(i) = i**3 - i**2 + 10*i - 25. Let a be h(x). Is a >= 66?
False
Let j(x) = -122*x. Let h be j(2). Let r = h - -1957/8. Suppose 72*l - 76*l + 4 = -2*m, 0 = 4*m + 3*l - 14. Are m and r equal?
False
Suppose -2*i = -4*x + 1294, 6*x - 4*x = -4*i + 622. Let r be x/(-1188) + 2/8. Which is greater: r or 3?
3
Let t = -1601 - -1887. Are -1 and t equal?
False
Suppose m - 3*y + 593 = -3*m, -3*y + 739 = -5*m. Does 1.7 = m?
False
Let f = 45/2866 + -81619/4468094. Which is greater: 0 or f?
0
Let u(l) = -4*l + 112. Let w be u(22). Let b = 3674/153 - w. Let k be 0/(1/(2/4)). Which is bigger: b or k?
b
Let m be 6/21 + (-8)/28. Suppose -k = -q + 22, -4*q + 0*k - 2*k + 70 = m. Suppose -2*v - 2 = -r, q = -5*v - 3*r + 3. Do v and -4 have different values?
True
Let o be 0*(1 - (-6 + 6)). Let t be ((-2 - 6/(-4))*o)/(-3). Is 2/27 not equal to t?
True
Let j be (-6)/3 + (-4823)/(-442) + -9. Suppose 0 = 4*k - 8, -5*p + 2*k - 23 = -2*k. Let n be 5/p - 4/(-6). Which is bigger: j or n?
j
Let h = 1.632 + 75.368. Which is smaller: -6 or h?
-6
Suppose -y + 491 = 486. Suppose -u = -y*m - 1, 4*m = -u + m + 1. Which is greater: u or -5/23?
u
Let o = -7065 - -6969. Which is smaller: o or -90?
o
Let w = -75456 - -108732102/1441. Which is bigger: w or 1?
1
Suppose -2*r + 2*c + 213 + 127 = 0, -870 = -5*r + c. Are r and 127 nonequal?
True
Let c = 116.282 + 15.218. Is c bigger than 1?
True
Let v = 16 + -23. Let n be 138/v + 6/(-21). Let o be ((-72)/28)/((-2)/(-14)). Is o at least n?
True
Suppose -5*a = 3*m + 34, -178*m + 176*m = 3*a + 21. Let i(s) be the third derivative of -s**5/10 + s**3/6 - s**2. Let f be i(1). Is f at least as big as a?
True
Suppose d = -2*i + 7, d - 1 = -0*d - 5*i. Suppose -6*v - 245 + d = 0. Is -39 != v?
False
Let p be 12 - 20*8*6/192. Is 101/18 not equal to p?
True
Suppose 3 = -z - 2*z. Suppose -27*y = 17*y + 415360. Let w be ((-120)/y)/(3/(-2)). Which is bigger: z or w?
w
Let l(t) = -2*t + 1 + 2*t**2 + 5*t**2 + 0*t + 7*t + t**3. Let b be l(-6). Suppose -b*s + 10*s + 6 = 0. Is -3 equal to s?
False
Suppose -52*d - 2208 = 86*d. Which is smaller: d or -269/16?
-269/16
Suppose 13*t = -3*v + 16*t + 438, -2*t + 12 = 0. Which is greater: 135 or v?
v
Suppose 20*z - 4 = 16*z. Let i be (74763/17544)/9 + 0. Let y = -1/344 + i. Is y equal to z?
False
Let l = -23036 - -161248/7. Which is bigger: -1087 or l?
l
Suppose -555 = 7*i - 37. Let q = -74 - i. Let o(v) = -v**3 + 3*v**2 - 4*v + 3. Let s be o(2). Which is bigger: s or q?
q
Let m = 17520.09 + -17520. Which is smaller: m or 0.195?
m
Let q = -56.132 - -0.132. Let v = q + 89. Which is bigger: v or 3?
v
Let v = 26 - -8. Let j = v + -45. Let s = -11.1 - j. Which is smaller: 2/7 or s?
s
Let d = 922 + -920.9409. Let p = 0.0591 - d. Which is bigger: p or -1/394?
-1/394
Suppose 0 = -62*s + 105*s - 3311. Is s smaller than 235/3?
True
Let z = -10.7 + 5.6. Let k = 5.2 + z. Do 28 and k have different values?
True
Suppose 253*a = 256*a + d - 710, 0 = 4*d + 16. Do a and 230 have the same value?
False
Let g = 2567.4 + -2578.4. Which is smaller: -253 or g?
-253
Let v be (-5 + 1)*(6 + -5). Let s be (2 - 81/42)*(0 - v). Let a = 1/21 + s. Is a smaller than 6/7?
True
Let t(r) = 6*r - 336. Let q be t(56). Suppose q = w - 5*v - 20, -5*w + v = -4 - 0. Which is greater: 11 or w?
11
Let m = 1651 + -2322. Are -2/5 and m unequal?
True
Let z be (-22 - (-1504)/68) + (-1046)/(-2669). Is z less than or equal to 2?
True
Let b(r) = -5*r - 21. Let a(x) = x - 1. Let j(q) = -q - 7. Let c(f) = 5*a(f) - j(f). Let m be c(-1). Let v be b(m). Is -2/25 bigger than v?
True
Let c(l) = -4*l**2 - 63*l - 246. Let n be c(-9). Is n equal to 7.9?
False
Suppose 16*i + 4*z = 17*i + 516, 3*i - z + 1482 = 0. Which is smaller: -503 or i?
-503
Let v = 3128 - 109488/35. Let x be 22/18 + 2/(-9). Which is greater: x or v?
x
Let d = 631.1 + -539. Let s = d - 92. Is s equal to 299?
False
Let d(f) = 19322*f**2 + 115921*f - 4. Let c be d(-6). Suppose 5*x - x = 248. Is x > c?
False
Let v(a) = 0*a**2 - a**2 + 16*a - a - 14. Let s = -4064 + 4080. Let h be v(s). Is -3 at most h?
False
Let y = -492 - 409. Let t = 903.014 + y. Let i = 0.014 - t. Which is greater: i or 3?
3
Let s = 25689612 + -54205083199/2110. Let u = s - -9/10. Suppose 4*r + 14*w = 17*w + 4, -r + 5*w + 1 = 0. Which is smaller: r or u?
u
Let m = -46 - -49. Suppose m*u + 2*a + 107 = 4*u, 4*u = -2*a + 398. Is 101 > u?
False
Let q = -2453 - -2443. Is q greater than or equal to 4/45?
False
Suppose 0*y = -52*y + y - 124695. Is y at least as big as -2445?
True
Let z be ((-380)/12)/(-5)*3. Suppose 0 = -n - 15 + z. Let u(w) = -2*w**2 + 9*w - 4. Let t be u(n). Is t less than 10?
True
Suppose 29*f - 2559 = -761. Does 79 = f?
False
Let y(n) = -797*n + 3187. Let c be y(4). Which is smaller: 15/2152 or c?
c
Let p be -262 - -248 - (6 + 0 + -1). Let r = 7/22 + -1971/110. Which is bigger: r or p?
r
Suppose -116*a + 175 - 489 = 266. Are a and -105 nonequal?
True
Suppose 5*k - 1206 = -3*l, -3*k = -5*l + 6*l - 722. Let o = -68 + k. Is o at least 172?
True
Let v = -922.134 + 924. Is 0.01 != v?
True
Let b = 299 + -302. Let i be b*(-5 + (-642)/(-126)). Suppose -4*c = 1 + 3. Which is smaller: i or c?
c
Let j = -13.984 + 14.084. Is -2031 < j?
True
Let a(r) = 95*r + 4922. Let t be a(-52). Does -693/38 = t?
False
Suppose 3591 + 2624 = -5*z. Which is greater: z or -1242?
-1242
Let g(q) = 26*q - 123. Let o be g(5). Let l(t) = -t**2 + 12*t + 5. Let k be l(12). Is k < o?
True
Let f = 523019/146942484 + 1/104884. Which is smaller: f or 0?
0
Let i = -7 + -130. Let h = i - -65. Let w = 69 + h. Does 5 = w?
False
Let x(h) = h - 7. Let n be x(7). Let v = -5143398 - -293181673/57. Let b = 421/3 - v. Which is greater: n or b?
b
Let w be (12/(-48))/((-6 - -5)*-1). Which is greater: w or 2196?
2196
Suppose -m = -0*m - 15. Let b(d) = -d**2 + d - 1. Let o(q) = 4*q**2 + q - 12. Let v(f) = -3*b(f) - o(f). Let u be v(0). Is u bigger than m?
False
Let w be -2*((-24710608)/(-8288) - (1 - 3)). Let j = w + 5967. Is 1 != j?
True
Let k = -83 + 118.1. Let y = -35.47 + k. Is y > 0?
False
Let k be (120/35)/((-1791)/(-126) - 14). Which is smaller: 43/3 or k?
43/3
Suppose -118*z = 6 - 5 - 1. Is z equal to 1/2069?
False
